Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. 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.
2. S. Bandinelli, A. Fuggetta, and S. Grigolli. Process Modelling In-the-Large with SLANG. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.
3. 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.
4. X.J. Chen and C. Montangero. Compositional Refinement in Multiple Blackboard Systems. In ESOP'92 European Symposium on Programming, February.
5. R. Conradi et al. Design, Use and Implementation of SPELL, a Language for Software Process Modeling and Evolution. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献