Skip to main content
SpringerLink
Log in

Modelling processes with constraints

  • Conference paper
  • First Online:
Software Process Technology (EWSPT 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 772))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Bandinelli and A. Fuggetta. Computational reflection in software process modelling: the SLANG approach. In Proceedings of ICSE 15, 1993.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Alain Colmerauer. An introduction to Prolog-III. Communications of the ACM, 33(7):69–90, July 1990.

    Article  Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Peter Henderson. Object-Oriented Specification and Design with C++. International Series in Software Engineering. McGraw-Hill, 1993.

    Google Scholar 

  7. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1985.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Robin Milner. Elements of interaction. Communications of the ACM, 36(1):78–89, January 1993.

    Google Scholar 

  10. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronics and Computer Science, University of Southampton, SO9 5NH, Southampton

    R. Mark Greenwood

Authors
  1. R. Mark Greenwood
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Brian C. Warboys

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation