A requirements patterns-driven approach to specify systems and check properties

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

Volumn 2648, Issue , 2003, Pages 18-33

  Konrad, Sascha ^a   Campbell, Laura A ^a   Cheng, Betty H C ^a   Deng, Min ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL METHODS; GRAPHIC METHODS; MODEL CHECKING; SEMANTICS; SPECIFICATIONS; SPIN FLUCTUATIONS;

AUTOMOTIVE SYSTEMS; BEHAVIORAL DIAGRAMS; FORMAL SEMANTICS; HIGH-LEVEL DESIGN; INVARIANT PROPERTIES; LANGUAGE SPECIFICATION; MODEL REQUIREMENTS; UML DIAGRAMS;

EMBEDDED SYSTEMS;

EID: 35248863940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44829-2_2     Document Type: Article

References (22)

1. Ramesh Bharadwaj and Constance L. Heitmeyer. Model checking complete requirements specifications using abstraction. Automated Software Engineering: An International Journal, 6(1):37-68, January 1999.
2. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addision-Wesley, 1999.
3. Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, and R. E. K. Stirewalt. Automatically detecting and visualizing errors in UML diagrams. Requirements Engineering Journal, 7(4):264-287, 2002.
4. Betty H. C. Cheng, Laura A. Campbell, Min Deng, and R. E. K. Stirewalt. Enabling validation of UML formalizations. Technical Report MSU-CSE-02-25, Department of Computer Science, Mich State Univ, E Lansing, MI, September 2002.
5. Bruce Powell Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison-Wesley, 1999.
6. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Property specification patterns for finite-state verification. In Proceedings 2nd Workshop on Formal Methods in Software Engineering, pages 7-16, Clearwater Beach, FL, March 1998.
7. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
8. Wai Ming Ho, Jean-Marc Jezequel, Alain Le Guennec, and Francois Pennaneac'h. UMLAUT: an extendible UML transformation framework. In Proc. of IEEE International Conference on Automated Software Engineering, Cocoa Beach, FL, October 1999.
9. Gerald J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
10. Honeywell. URL: www.htc.honeywell.com/dome.
11. I-logix. Rhapsody. URL: www.ilogix.com.
12. Sascha Konrad, Laura A. Campbell, and Betty H. C. Cheng. Adding formal specifications to requirements patterns. In Proceedings of the Requirements for High Assurance Systems Workshop (RHAS02) as part of the IEEE Joint International Conference on Requirements Engineering (REOS), Essen, Germany, September 2002.
13. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, and Min Deng. A requirements pattern-driven approach to specify systems and check properties. Technical Report MSU-CSE-02-28, Computer Science and Engineering, Mich State Univ, E Lansing, MI, December 2002.
14. Sascha Konrad and Betty H. C. Cheng. Requirements patterns for embedded systems. In Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE02), Essen, Germany, September 2002.
15. William E. McUmber and Betty H. C. Cheng. A general framework for formalizing UML with formal languages. In Proceedings of IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada, May 2001.
16. William E. McUmber and Betty H. C. Cheng. UML-based analysis of embedded systems using a mapping to VHDL. In Proceedings of IEEE High Assurance Software Engineering (HASE99), Washington, DC, November 1999.
17. William Eugene McUmber. A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development PhD thesis, Michigan State University, August 2000.
18. Jorg Niere and Albert Zundorf. Using FUJABA for the development of production control systems. In Applications of Graph Transformations with Industrial Relevance AGTIVE, pages 181-191. Springer Verlag, 1999. Volume 1779, Lecture Notes in Computer Science.
19. Rational. Rational Rose. URL: www.rational.com.
20. Ian Sommerville. Software Engineering. Addison-Wesley, 1992.
21. Telelogic. ObjectGEODE. URL: www.telelogic.com.
22. ∼cse470/F2000/cheng/Projects/F00-Cheng/filter /Description/air-filter.html.