Modelling processes using a stepwise refinement technique-Reference-Cited by-同舟云学术

Modelling processes using a stepwise refinement technique

Published:1994 Issue: Volume: Page:40-58
ISSN:0302-9743
Container-title:Software Process Technology
language:
Short-container-title:

Author:

Sa Jin,Warboys Brian C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57739-4_7.pdf

Reference25 articles.

1. ISS400 Technical Introduction. Technical Report 53423/001, Internationl Computer Limited, June 1993.

2. V. Ambriola and Carlo Montangero. Oikos at the Age of Three. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.

3. S. Bandinelli, A. Fuggetta, and S. Grigolli. Sprocess Modelling In-the-Large with SLANG. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.

4. H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proceedings of the 16th A.C.M. Symposium on Theory of Computing, 1984.

5. R.F. Bruynoghe, J.M. Parker, and J.S. Rowles. PSS: A system for Process Enactment. In Proceedings of the first International Conference on the Software Process, Manufacturing Complex Systems. IEEE Computer Society Press, 1991.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The CAP framework for business process modelling;Information and Software Technology;1998-11

2. Stepwise specification of interactive processes in COO;Software Process Technology;1995

3. Applying a concurrent formal framework to process modelling;Lecture Notes in Computer Science;1994