A unifying framework for correct program construction

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

Volumn 1422, Issue , 1998, Pages 122-150

  Dierks, Henning ^a   Schenke, Michael ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

INCREMENTAL CONSTRUCTION; PROGRAM CONSTRUCTION; REAL TIME; SPECIAL OPERATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84957535158     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054288     Document Type: Conference Paper

References (7)

1. J. Bowen, C.A.R. Hoare, H. Langmaack, E.-R. Olderog, and A.P. Ravn. ProCoS II: A ProCoS II Project Final Report, chapter 7, pages 76-99. Number 59 in Bulletin of the EATCS. European Association for Theoretical Computer Science, June 1996.
2. H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, ARTS’97, volume 1231 of Lecture Notes in Computer Science, pages 111-125, Mallorca, Spain, May 1997. Springer-Verlag.
3. H. Dierks. Synthesising Controllers from Real-Time Specifications. In Tenth International Symposium on System Synthesis, pages 126-133. IEEE CS Press, September 1997.
4. B. Krieg-Brückner, J. Peleska, E.-R. Olderog, et al. UniForM — Universal Formal Methods Workbench. In Statusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, 1996.
5. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985.
6. Zhou Chaochen. Duration Calculi: An overview. In D. Bjørner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of Lecture Notes in Computer Science, pages 256-266. Springer-Verlag, 1993.
7. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269-276, 1991.