User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Beckert, Bernhard; Cha, Suhyun; Ulbrich, Mattias; Vogel-Heuser, Birgit; Weigl, Alexander 
Title:
Generalised Test Tables – a Practical Specification Language for Reactive Systems 
Pages contribution:
129-144 
Abstract:
In industrial practice today, correctness of software is rarely verified using formal techniques. One reason is the lack of specification languages for this application area that are both comprehensible and sufficiently expressive. We present the concepts and logical foundations of generalised test tables – a specification language for reactive systems accessible for practitioners. Generalised test tables extend the concept of test tables, which are already frequently used in quality managemen...    »
 
Book / Congress title:
13th International Conference on integrated (iFM 2017) 
Date of congress:
2017-09-18 
Publisher:
Springer, Berlin, Germany 
Year:
2017 
Year / month:
2017-09 
Covered by:
Scopus; Web of Science 
Reviewed:
ja