Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems
暂无分享,去创建一个
[1] Robert A. Nelson,et al. Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.
[2] Jonathan Billington,et al. Protocol analysis using numerical Petri nets , 1985, Applications and Theory in Petri Nets.
[3] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.
[4] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[5] Pamela Zave,et al. The operational versus the conventional approach to software development , 1984, CACM.
[6] Marco Ajmone Marsan,et al. A Petri net simulation model of HDLC , 1989, Fourth IEEE Region 10 International Conference TENCON.
[7] 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.
[8] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[9] Valdis Berzins,et al. Analysis and Design in MSG.84: Formalizing Functional Specifications , 1985, IEEE Transactions on Software Engineering.
[10] Giorgio Bruno,et al. Petri Net-Based Object-Oriented Modeling of Distributed Systems , 1986, OOPSLA.
[11] Elaine Kant,et al. Programming expert systems in OPS5 , 1985 .
[12] Thomas E. Cheatham,et al. Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.
[13] Giorgio Bruno,et al. PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems , 1989, ESEC.
[14] Giorgio Bruno,et al. Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.
[15] Grady Booch,et al. Software engineering with Ada , 1983 .
[16] Marc Courvoisier,et al. Control of Flexible Production Systems and Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[17] Pamela Zave,et al. An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.
[18] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[19] Gul A. Agha,et al. Concurrent object-oriented programming , 1993, CACM.
[20] Giorgio Bruno,et al. Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.