Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Design Tools and Techniques (D.2.2) > State Diagrams (D.2.2...)  
  1-10 of 16 Reviews about "State Diagrams (D.2.2...)": Date Reviewed
  Automated comparison of state-based software models in terms of their language and structure
Walkinshaw N., Bogdanov K.  ACM Transactions on Software Engineering and Methodology 22(2): 1-37, 2013. Type: Article, Reviews: (2 of 2)

State machine models provide an effective way to compare different versions of a software system, or different systems to solve the same problem. They facilitate software development, testing, and maintenance....

Jul 3 2013
  Automated comparison of state-based software models in terms of their language and structure
Walkinshaw N., Bogdanov K.  ACM Transactions on Software Engineering and Methodology 22(2): 1-37, 2013. Type: Article, Reviews: (1 of 2)

Using computer-aided software engineering (CASE) tools to compare different views of similar models offers software developers the ability to evaluate models both qualitatively and quantitatively. Related applications include model-checking, testi...

Jun 24 2013
  Automated transition from use cases to UML state machines to support state-based testing
Yue T., Ali S., Briand L.  ECMFA 2011 (Proceedings of the 7th European Conference on Modelling Foundations and Applications, Birmingham, UK,  Jun 6-9, 2011) 115-131, 2011. Type: Proceedings

Model-based testing has grown in popularity and the ability to automatically generate and trace models from use cases could provide significant benefits. The aToucan system, built at the Simula Research Laboratory, delivers such automation, though...

Nov 19 2012
  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 well-stru...

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 (9780471727835)

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 t...

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 (9780471265146)

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 edit...

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 in...

Aug 18 2004
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2022 ThinkLoud, Inc.
Terms of Use
| Privacy Policy