IPTES: A concurrent engineering approach for real-time software development
暂无分享,去创建一个
[1] Ray Thackeray,et al. Applying Quality Function Deployment for Software Product Development , 1990 .
[2] R. Blumofe,et al. Executing real-time structured analysis specifications , 1988, SOEN.
[3] Ian Thomas. The Software Process As A Goal-directed Activity , 1989, [1989] Proceedings of the 5th International Software Process Workshop.
[4] Richard P. Gabriel. Draft report on requirements for a common prototyping system , 1989, SIGP.
[5] Alejandro Alonso,et al. Distributed execution of specifications , 2005, Real-Time Systems.
[6] William W. Agresti,et al. New Paradigms for Software Development , 1986 .
[7] Barry W. Boehm,et al. Software Risk Management , 1989, ESEC.
[8] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .
[9] Walter Royce,et al. TRW's Ada Process Model for incremental development of large software systems , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.
[10] Petri Pulli,et al. Graphical animation as a form of prototyping real-time software systems , 1993, Real-Time Systems.
[11] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[12] W BoehmBarry. A Spiral Model of Software Development and Enhancement , 1988 .
[13] M Blumberg. Sample Tailoring of 2167A DIDS for Software-First Life Cycle , 1990 .
[14] Barry W. Boehm,et al. A spiral model of software development and enhancement , 1986, Computer.
[15] Mauro Pezzè,et al. Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.
[16] Mikio Aoyama. Distributed concurrent development of software systems: an object-oriented process model , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.
[17] Luqi. Rapid prototyping for large Ada software system design , 1986 .
[18] Hassan Gomaa. A software design method for distributed real-time applications , 1989, J. Syst. Softw..
[19] Mikio Aoyama,et al. Concurrent Development of Software Systems A New Development Paradigm , 1987 .
[20] Michael Andersen,et al. An executable subset of VDM-SL in an SA/RT framework , 2005, Real-Time Systems.
[21] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[22] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[23] Z. Kulpa. Review of "Smalltalk-80: The Language and its Implementation by A. Goldberg, and D. Robson", Addison-Wesley Publ., Co., 1983, 0-201-11371-6 , 1985, COMG.
[24] Alejandro Alonso,et al. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping , 2005, Real-Time Systems.
[25] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[26] Carlo Ghezzi,et al. High-Level Timed Petri Nets as a kernel for executable specifications , 1993, Real-Time Systems.
[27] R. E. Childs,et al. A graphical tool for the prototyping of real-time systems , 1990, SOEN.
[28] Petri Pulli,et al. IPTES - Incremental Prototyping Technology for Embedded real-time Systems , 1992, Microprocess. Microprogramming.
[29] B. Boehm. Software risk management: principles and practices , 1991, IEEE Software.
[30] Bill Curtis. Models of iteration in software development , 1986, ISPW.
[31] G. L. Coleman,et al. Experience in modeling a concurrent software system using STATEMATE , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.
[32] Yoji Akao,et al. Quality Function Deployment : Integrating Customer Requirements into Product Design , 1990 .