Graphical design of reactive systems

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

Volumn 1393, Issue , 1998, Pages 182-197

  Sekerinski, Emil ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; B METHOD; CONVEYOR SYSTEMS; EXECUTABLE CODES; GRAPHICAL DESIGNS; REACTIVE SYSTEM; STATECHARTS;

ARTIFICIAL INTELLIGENCE;

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

References (14)

1. J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
2. J.-R. Abrial. Extending B without changing it. In H. Habrias, editor, First B Conference, pages 169-170, Nantes, France, 1996. Institut de Recherche en Informatique de Nantes.
3. R. J. R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, IFIP Working Conference on Programming Concepts, Methods, Calculi, pages 107-126, San Miniato, Italy, 1994. North-Holland.
4. M. von der Beck. A comparison of statechart variants. In H. Langmaack, W.-P. deRoever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, pages 128-148. Springer Verlag, 1994.
5. M. Butler and M. Walden. Distributed system development in B. In H. Habrias, editor, First B Conference, pages 155-168, Nantes, France, 1996. Institut de Recherche en Informatique de Nantes.
6. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
7. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42,1996.
8. D. Harel and A. Naamad. The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(5):293-333, 1996.
9. K. Lano, H. Haughton, and P. Wheeler. Integrating formal and structured methods in object oriented system development. In S. J. Goldsack and S. J. H. Kent, editors, Formal Methods and Object Technology. Springer-Verlag, 1996.
10. C. Petersohn. Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration, and Real-Time Extension. Doctoral thesis, Christian-Albrecht Universität, 1997.
11. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, 1991.
12. F. G. Shi, J. A. McDermid, and J. M. Armstrong. An introduction to ZedCharts and its application. Research Report YCS-96-272, University of York, Department of Computer Science, 1996.
13. M. Walden and K. Sere. Refining action systems within B-Tool. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science 1051, pages 85-104. Springer-Verlag, 1996.
14. M. Weber. Combining statecharts and Z for the design of safety-critical control systems. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefits and Advances in Formal Methods, Lecture Notes in Computer Science 1051, pages 307-326. Springer Verlag, 1996.