| |
Browse All Reviews > Software (D) > Software Engineering (D.2) > Design Tools and Techniques (D.2.2) > State Diagrams (D.2.2...)
|
|
 |
|
|
| |
|
|
| |
1-10 of 13
Reviews about "State Diagrams (D.2.2...)":
|
Date Reviewed |
| |
Investigating the role of use cases in the construction of class diagrams
Anda B., Sjøberg D. Empirical Software Engineering 10(3): 285-309, 2005. Type: Article
Good software architecture is a mandatory prerequisite for a successful software project. How effective is the widely used use case analysis in helping establishing a solid software architecture and especially constructing a complete and...
|
Jul 30 2007 |
| |
Verification and validation for quality of UML 2.0 models
Unhelkar B., Wiley-Interscience, New York, NY, 2005. 312 pp. Type: Book
The back cover of this book provides a compact and precise description of the topics it handles, and its main contribution, characterizing the work as a “practical checklist approach to enhancing the quality of software models created with...
|
Nov 23 2005 |
| |
 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 |
| |
Flowgraph models for multistate time-to-event data (Wiley Series in Probability and Statistics)
Huzurbazar A., Wiley-Interscience, 2004.Type: Book
The Wiley Series in Probability and Statistics publishes substantive books, covering the theory and applications of the field. Time-to-event analysis is also known as survival analysis. Examples of an event could simply be a response, failure, or ...
|
Jun 2 2005 |
| |
A framework for modeling and implementing visual notations with applications to software engineering
Costagliola G., Deufemia V., Polese G. ACM Transactions on Software Engineering and Methodology 13(4): 431-487, 2004. Type: Article
Most software development methodologies use diagrams, and users and software engineers look at those diagrams to communicate aspects of the proposed system. Building diagrams with just a general-purpose graphical editor is hard, and having an...
|
Mar 3 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 viewed as a ...
|
Feb 2 2005 |
| |
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Uchitel S., Kramer J., Magee J. ACM Transactions on Software Engineering and Methodology 13(1): 37-85, 2004. Type: Article
Scenario-based specifications have a wide acceptance in industry as approximations of intended behavior. Their use is mainly informal, with no precise semantics associated with the scenario description. On the other hand, industry has been slow...
|
Aug 18 2004 |
| |
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 semantics...
|
Jul 9 2004 |
| |
Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly
Lee J., Chun S., Kang S. Journal of Systems Architecture: the EUROMICRO Journal 48(1-3): 17-35, 2002. Type: Article
Although the title of this paper may appear to be more than enough of an explanation of its contents, some aspects of the paper deserve a special mention....
|
Apr 21 2003 |
| |
Type-syntax and token-syntax in diagrammatic systems
Howse J., Molina F., Taylor J., Shin S. Formal Ontology in Information Systems (Proceedings of the international conference, Ogunquit, Maine, USA, 174-185, 2001. Type: Proceedings
The authors argue that two syntactic levels should be distinguished in diagrammatic systems: type-syntax and token-syntax. Type-syntax defines the abstract representation of a diagram, while token-syntax refers to the concrete representation....
|
Jan 2 2003 |
| |
|
|
| |
|
|
