Author:
Steen Maarten,Derrick John,Boiten Eerke,Bowman Howard
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
2. G. Booch. Object oriented design with applications. Benjamin/Cummings, 1991.
3. E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In Protocol Specification, Testing and Verification VI, pages 349–360. IFIP, 1987.
4. Lect Notes Comput Sci;R. Cleaveland,1990
5. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. View-points: a framework for integrating multiple perspectives in system development. International Journal on Software Engineering and Knowledge Engineering, Spe-cial issue on Trends and Research Directions in Software Engineering Environ-ments, 2(1):31–58, March 1992.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Composition of Structured Process Specifications;Electronic Notes in Theoretical Computer Science;2003-04
2. Comparison of Data and Process Refinement;Formal Methods and Software Engineering;2003
3. Consistency of Partial Process Specifications;Algebraic Methodology and Software Technology;1998
4. Ready Simulation for Concurrency: It’s Logical!;Automata, Languages and Programming