Compilation of Z specifications into C for automatic test result evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 967, Issue , 1995, Pages 167-180

  Mikk, Erich ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; ITERATIVE METHODS; PROGRAM COMPILERS;

LOGICAL CONNECTIVES; REQUIREMENTS SPECIFICATIONS; RESULT EVALUATION; TERM REWRITING TECHNIQUES; TRUTH TABLES; Z SPECIFICATIONS;

C (PROGRAMMING LANGUAGE);

EID: 21844494124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60271-2_119     Document Type: Conference Paper

References (10)

1. D. Carrington and E Stocks. A tale of two paradigms: Formal methods and software testing. Workshops in Computing, pages 51-68. Springer-Verlag, 1994.
2. John Dawes. The VDM-SL Reference Guide, Pitman Publishing, 1st edition, 1991.
3. Hans-Martin Htrcher. Improving Software Tests using Z Specifications. In Z User Workshop, Lecture Notes in Computer Science. Z User Group, Springer-Verlag, 1995.
4. Hans-Martin Htrcher and Uwe Schmidt. Programming with VDM Domains. In D. BjCrner, H. Langmaack, and C.A.R. Hoare, editors, VDM'90 - VDM and Z, number 428 in Lecture Notes in Computer Science, pages 122-134. VDM Europe, Springer Verlag, April 1990.
5. Erich Mikk. Automatic Compilation of Z Specifications into C for Automatic Test Result Evaluation. Master's thesis, Christian Albrecht Universitáit Kiel, December 1993.
6. Helmut A. Partsch. Specification and Transformation of Programs. Springer, 1990.
7. Jan Peleska. Formal specification test procedures for the ELPRO LET tramway crossing system. Technical report 9505, JP Consulting, Kiel, Germany, 1995.
8. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, January 1988.
9. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
10. J. M. Spivey and B. A. Sufrin. Type inference in Z. volume 428 of Lecture Notes in Computer Science, pages 426-438. VDM-Europe, Springer-Verlag, 1990.