A System Specification Model and Method

This chapter describes a system-level specification model and its associate method which is part of the MCSE methodology. The specification step of the system development life cycle is useful to formally express what the system must do. The resulting specification document includes functional and non-functional specifications.

[1]  Andy Wellings,et al.  Embedded Real-Time Systems: a Specification and Design Methodology , 1994 .

[2]  Bernhard Thomé,et al.  Systems engineering: principles and practice of computer-based systems engineering , 1993 .

[3]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[4]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[5]  T. H. Tse,et al.  An Examination of Requirements Specification Languages , 1991, Comput. J..

[6]  Chris F. Kemerer,et al.  Object-oriented and conventional analysis and design methodologies , 1992, Computer.

[7]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[8]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[9]  B. Dasarathy,et al.  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.

[10]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[11]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[12]  Ian C. Pyle,et al.  Real-Time Systems: Investigating Industrial Practice , 1993 .

[13]  Russ Abbott,et al.  Software requirements and specifications: A survey of needs and languages , 1981, J. Syst. Softw..

[14]  Ulrich Furbach,et al.  Formal specification methods for reactive systems , 1993, J. Syst. Softw..

[15]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[16]  Alan M. Davis,et al.  A comparison of techniques for the specification of external system behavior , 1988, CACM.

[17]  Jeffrey O. Grady.  System requirements analysis , 1993 .

[18]  Jean Paul Calvez,et al.  A CoDesign case study with the MCSE methodology , 1996, Des. Autom. Embed. Syst..

[19]  Wayne Haythorn.  What is Object-Oriented Design? , 1994, J. Object Oriented Program..

[20]  Wayne Wolf,et al.  Hardware-software co-design of embedded systems , 1994, Proc. IEEE.

[21]  Russ Abbott.  An Integrated Approach to Software Development , 1986 .

[22]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[23]  Frank Vahid,et al.  System specification with the SpecCharts language , 1992, IEEE Design & Test of Computers.

[24]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[25]  K.J. Hughes,et al.  Taxonomy for requirements analysis , 1994, Proceedings of IEEE International Conference on Requirements Engineering.