OBSERV-object-oriented based specification, execution and rapid validation system
暂无分享,去创建一个
[1] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[2] Douglas T. Ross,et al. Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.
[3] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[4] James M. Neighbors,et al. The Draco Approach to Constructing Software from Reusable Components , 1984, IEEE Transactions on Software Engineering.
[5] David Garlan,et al. Melding Software Systems from Reusable Building Blocks , 1987, IEEE Software.
[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] Stephanie White,et al. Embedded Computer System Requirements Workshop , 1985, Computer.
[8] David Garlan,et al. MELDing data flow and object-oriented programming , 1987, OOPSLA 1987.
[9] Pamela Zave,et al. An overview of the PAISLey project-1984 , 1984, ACM SIGSOFT Softw. Eng. Notes.
[10] Ellis Horowitz,et al. An Expansive View of Reusable Software , 1984, IEEE Transactions on Software Engineering.
[11] Pamela Zave,et al. Executable requirements for embedded systems , 1981, ICSE '81.
[12] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.
[13] Ernest A. Hershey,et al. PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.
[14] Thomas E. Bell,et al. An Extendable Approach to Computer-Aided Software Requirements Engineering , 1976, IEEE Transactions on Software Engineering.
[15] Yoshihiro Matsumoto,et al. Some Experiences in Promoting Reusable Software: Presentation in Higher Abstract Levels , 1984, IEEE Transactions on Software Engineering.
[16] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .
[17] Peter Freeman,et al. Classifying Software for Reusability , 1987, IEEE Software.
[18] Kathryn L. Heninger. Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.
[19] Russ Abbott. Program design by informal English descriptions , 1983, CACM.