Preview
Unable to display preview. Download preview PDF.
References
S. Bandinelli and A. Fuggetta. Computational reflection in software process modelling: the SLANG approach. In Proceedings of ICSE 15, 1993.
R.F. Bruynooghe, R.M. Greenwood, I. Robertson, J. Sa, R.A. Snowdon, and B.C. Warboys. Towards a total process modelling system: A case study using ISPW-6. book chapter — in publication.
Alain Colmerauer. An introduction to Prolog-III. Communications of the ACM, 33(7):69–90, July 1990.
J.C. Derniame. EWSPT'92 report. In Proc of the Second International Conference on the Software Process, pages 160–164, Berlin, Germany, February 1993. IEEE Computer Society Press.
M. Dowson. Software process themes and issues. In Proc of the Second International Conference on the Software Process, pages 54–62, Berlin, Germany, February 1993. IEEE Computer Society Press.
Peter Henderson. Object-Oriented Specification and Design with C++. International Series in Software Engineering. McGraw-Hill, 1993.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1985.
Karen E. Huff and Gail E. Kaiser. Change in the software process — session summary. In Proc of the Seventh International Software Process Workshop, pages 10–13, Yountville, California, October 1991. IEEE Computer Society Press.
Robin Milner. Elements of interaction. Communications of the ACM, 36(1):78–89, January 1993.
R.A. Snowdon. An example of process change. In J.C. Derniame, editor, Software Process Technology: Second European Workshop, EWSPT'92, pages 178–195, Trondheim, Norway, September 1992. Springer-Verlag. Lecture Notes in Computer Science 635.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Greenwood, R.M. (1994). Modelling processes with constraints. In: Warboys, B.C. (eds) Software Process Technology. EWSPT 1994. Lecture Notes in Computer Science, vol 772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57739-4_22
Download citation
DOI: https://doi.org/10.1007/3-540-57739-4_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57739-3
Online ISBN: 978-3-540-48326-7
eBook Packages: Springer Book Archive