Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach

The Protob methodology integrates several innovative features which have a strong impact on the software life cycle.

[1]  Giorgio Bruno,et al.  Petri Net-Based Object-Oriented Modeling of Distributed Systems , 1986, OOPSLA.

[2]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[3]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

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

[5]  R. J. Muller,et al.  An object-oriented structured design method for code generation , 1989, SOEN.

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

[7]  Chris Gane,et al.  Structured Systems Analysis: Tools and Techniques , 1977 .

[8]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[9]  George S. Fishman,et al.  Solution of Large Networks by Matrix Methods , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[10]  James E. Rumbaugh.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA 1987.

[11]  Samuel T. Chanson,et al.  Distributed, object-based programming systems , 1991, CSUR.

[12]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[13]  Robert N. Charette,et al.  A Unified Methodology for Developing Systems , 1987 .

[14]  G. Bruno,et al.  A methodology and environment for the object oriented analysis and design of real time systems , 1990, Proceedings. EUROMICRO '90 Workshop on Real Time.

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[17]  C. M. Woodside,et al.  Software CAD: A Revolutionary Approach , 1989, IEEE Trans. Software Eng..

[18]  R. Blumofe,et al.  Executing real-time structured analysis specifications , 1988, SOEN.

[19]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[20]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

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

[22]  Giorgio Bruno,et al.  Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems , 1991, Comput. Lang..

[23]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[24]  R. J. A. Buhr,et al.  System design with Ada , 1984 .

[25]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

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

[27]  Giorgio Bruno,et al.  An Environment for Object- oriented Conceptual Programming Based on PROT Nets , 1987, European Workshop on Applications and Theory of Petri Nets.

[28]  Wolfgang Reisig,et al.  Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.

[29]  G. Bruno,et al.  An environment for operational software engineering in Ada , 1989, TRI-Ada '89.

[30]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[31]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[32]  Grady Booch,et al.  Software engineering with Ada , 1983 .