ViennaDoc: An animatable and testable specification documentation tool

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  • Tomohiro Oda, Software Research Associates, Inc.
  • ,
  • Keijiro Araki, Kumamoto National College of Technology
  • ,
  • Yasuhiro Yamamoto, Future University Hakodate
  • ,
  • Kumiyo Nakakoji, Software Research Associates, Inc., Future University Hakodate
  • ,
  • Hiroshi Sako, Designer’s Den
  • ,
  • Han Myung Chang, Nanzan University
  • ,
  • Peter Gorm Larsen

An obstacle to applying formal specification techniques to industrial projects is that stakeholders with little engineering background may experience difficulty comprehending the specification. Forming a common understanding of a specification is indeed essential in software development because a specification is consulted by many kinds of stakeholders, including those who do not necessarily have an engineering background. This paper introduces ViennaDoc, a specification documentation tool that interleaves animation of a formal specification into informal texts written using natural language. ViennaDoc helps readers to understand the behaviour of the specified system by providing opportunities to verify their understanding by executing the specification in the context of the informal explanation. ViennaDoc also helps maintainers of the specification by enabling unit testing that asserts equality between values embedded in the informal specification and formal expressions.

TitelFormal Methods. FM 2019 International Workshops
RedaktørerEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Antal sider14
ISBN (trykt)9783030549961
ISBN (Elektronisk)978-3-030-54997-8
StatusUdgivet - 2020
Begivenhed3rd World Congress on Formal Methods, FM 2019 - Porto, Portugal
Varighed: 7 okt. 201911 okt. 2019


Konference3rd World Congress on Formal Methods, FM 2019
SerietitelLecture Notes in Computer Science

Se relationer på Aarhus Universitet Citationsformater

ID: 195878405