|
Browse All Reviews > Software (D) > Software Engineering (D.2) > Design Tools and Techniques (D.2.2) > State Diagrams (D.2.2...)
|
|
|
|
|
|
|
|
|
1-3 of 3
Reviews about "State Diagrams (D.2.2...)":
|
Date Reviewed |
|
Live and let die: LSC based verification of UML models Damm W., Westphal B. Science of Computer Programming 55(1-3): 117-159, 2005. Type: Article
The decades old problem of formally securing safety critical systems is addressed in this paper. These are concurrent systems that interact with critical physical environments....
|
Oct 24 2005 |
|
Linking architectural and component system views by abstract state machines Börger E. In Languages for system specification. Norwell, MA: Kluwer Academic Publishers, 2004. Type: Book Chapter
This paper is chapter 16 in the book Languages for system specification [1]. The paper is a discussion of the concepts and applications of abstract state machines (ASMs), for use in software design and verification. ASMs may be ...
|
Feb 2 2005 |
|
Modular refinement of hierarchic reactive machines Alur R., Grosu R. ACM Transactions on Programming Languages and Systems 26(2): 339-369, 2004. Type: Article
The theoretical foundation presented in this paper significantly enables the application of formal methods in software engineering. The paper mentions avionics software as an example of a reactive system that motivates research on the ...
|
Jul 9 2004 |
|
|
|
|
|