Tool Supported Specification and Simulation of Distributed Systems
暂无分享,去创建一个
Bernhard Schätz | Andreas Rausch | Franz Huber | Marc Sihling | Sascha Molterer | Oscar Slotosch | B. Schätz | A. Rausch | O. Slotosch | M. Sihling | S. Molterer | F. Huber
[1] Bernhard Schätz,et al. Consistent Graphical Specification of Distributed Systems , 1997, FME.
[2] Bernhard Schätz,et al. Rapid Prototyping with AutoFocus , 1997, FBT.
[3] Manfred Broy,et al. The Design of Distributed Systems - An Introduction to FOCUS-revised version , 1992 .
[4] Manfred Broy,et al. KORSO: Methods, Languages, and Tools for the Construction of Correct Software , 1995, Lecture Notes in Computer Science.
[5] Bernhard Schätz,et al. Traffic lights-an AutoFocus case study , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.
[6] Manfred Broy,et al. Graphical Development of Consistent System Specifications , 1996, FME.
[7] Manfred Broy,et al. State Transition Diagrams , 1996 .
[8] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[9] Amnon Naamad,et al. Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.