|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Basili, V. R., and A. J. Turner. "iterative Enhancement: A Practical Technique for Software Development". IEEE Trunsactions on Software Engineering SE-I, 4 (December 1975).
|
 |
2
|
|
| |
3
|
Feiler, Peter H., and Gail E. Kaiser. Granularity Issues in a Knowledge-Based Programming Environment. Tech. Memo CMU/SEI-86-TM- 11, Software Engineering Institute; Carnegie Mellon University, September 1986.
|
| |
4
|
Feiler, Peter H., and Roger Smeaton. Managing Development of Very Large Systems: Implications for Integrated Environment Architectures. Tech. Rept. CMU/SEI-88-TR- 11, Software Engineering Institute; Carnegie Mellon University, May 1988.
|
| |
5
|
Fourth International Software Process Workshop: Representing and Enacting the Software Process, May 1 l- 13, 1988. Held at Motetonhampstead, Devon, UK.
|
| |
6
|
Hansen, Gregory A., and Marc I. Kellner. Software Process Modeling: The Triad Approach. Proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences, October 19-21, 1988.
|
| |
7
|
|
 |
8
|
|
| |
9
|
D. Harel , H. Lachover , A. Naamad , A. Pnueli , M. Politi , R. Sherman , a. Shtul-Trauring, Statemate: a working environment for the development of complex reactive systems, Proceedings of the 10th international conference on Software engineering, p.396-406, April 11-15, 1988, Singapore
|
 |
10
|
|
| |
11
|
|
 |
12
|
|
| |
13
|
Kellner, Marc I., and Gregory A. Hansen. Software Pmcess Modeling. Tech. Rept. CMU/SEI-88-TR-9, Software Engineering Institute; Carnegie Mellon University, May 1988.
|
| |
14
|
Kellner, Marc I., and Gregory A. Hansen. Software Pmcess Modeling: A Case Study. Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, Vol. 11 -Software Track, IEEE, 1989, pp. 175-188.
|
| |
15
|
|
| |
16
|
|
 |
17
|
|
| |
18
|
Phillips, Richard W. State Change Architecture: A Protocol for Executable Process Models. Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, Vol. II - Software Track, IEEE, 1989, pp. 154-164.
|
| |
19
|
Rombach, H. Dieter, and Leo Mark. Software Process & Product Specifications: A Basis for Generating Customized Software Engineering Information Bases. Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, Vol. II - Sofnvare Track, IEEE, 1989, pp. 165-174.
|
| |
20
|
Royce, Winston W. Managing the Development of Large Software Systems: Concepts and Techniques. Proceedings of IEEE WESCON, IEEE, August 1970, pp. l-9.
|
| |
21
|
|
| |
22
|
|
 |
23
|
|
CITED BY 21
|
|
|
|
|
David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: a working environment for the development of complex reactive systems, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
|
|
|
|
|
|
Dirk Höltje , Nazim H. Madhavji , Tilmann Bruckhaus , WonKook Hong, Eliciting formal models of software engineering processes, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.28, October 31-November 03, 1994, Toronto, Ontario, Canada
|
|
|
Rudolf K. Keller , Richard Lajoie , Nazim H. Madhavji , Tilmann F. Bruckhaus , Kamel Toubache , Won-Kook Hong , Khaled El Emam, A comprehensive process model for studying software process papers, Proceedings of the 15th international conference on Software Engineering, p.78-88, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
|
|
|
Peter Heimann , Gregor Joeris , Carl-Arndt Krapp , Bernhard Westfechtel, DYNAMITE: dynamic task nets for software process management, Proceedings of the 18th international conference on Software engineering, p.331-341, March 25-29, 1996, Berlin, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G. T. Heineman , J. E. Botsford , G. Caldiera , G. E. Kaiser , M. I. Kellner , N. H. Madhavji, Emerging technologies that support a software process life cycle, IBM Systems Journal, v.33 n.3, p.501-529, July 1994
|
|