Step by step to histories

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

Volumn 1816, Issue , 2000, Pages 11-25

  Breitling, Max ^a   Philipps, Jan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

BASED SPECIFICATION; COMMUNICATION HISTORY; GLOBAL PROPERTIES; INPUT AND OUTPUTS; OPERATIONAL DESCRIPTION; REACTIVE SYSTEM; SYSTEM COMPONENTS; TEMPORAL LOGIC PROPERTIES;

SOFTWARE ENGINEERING;

EID: 84974693380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_4     Document Type: Conference Paper

References (13)

1. N. Bjørner, A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H. B. Sipma, and T. E. Uribe. STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems. In CAV’96. Lecture Notes in Computer Science 1102, pages 415-418, 1996.
2. M. Breitling and J. Philipps. Black Box Views of State Machines. Technical Report TUM-I9916, Institut für Informatik, Technische Universität München, 1999.
3. J. D. Brock and W. B. Ackermann. Scenarios: A model of nondeterministic computation. In J. Diaz and I.Ramos, editors, Lecture Notes in Computer Science 107, pages 225-259, 1981.
4. I. A. Browne, Z. Manna, and H. B. Sipma. Generalized temporal Verification diagrams. In Lecture Notes in Computer Science 1026, pages 484-498, 1995.
5. M. Broy. Functional specification of time sensitive communicating systems. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Models, Formalism, Correctness. Lecture Notes in Computer Science 430, pages 153-179. Springer, 1990.
6. M. Broy. From states to histories. In Engineering Theories of Software Construction. NATO Science Series F, Marktoberdorf Summer School, 2000. To be published.
7. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus|Revised Version. Technical Report TUM-I9202-2, Institut für Informatik, Technische Universität München, 1993.
8. M. Broy, F. Huber, B. Paech, B. Rumpe, and K. Spies. Software and system modeling based on a unified formal semantics. In M. Broy and B. Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Work-shop RTSE’97. Lecture Notes in Computer Science 1526. Springer, 1998.
9. F. Huber, B. Schätz, A. Schmidt, and K. Spies. Autofocus-a tool for distributed systems specification. In Proceedings FTRTFT’96 - Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science 1135, 1996.
10. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages, 6(3):872-923, May 1994.
11. Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609-678, 1993.
12. L. C. Paulson. Logic and Computation. Cambridge University Press, 1987.
13. L. C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science 828. Springer, 1994.