Author:
Orejas Fernando,Pino Elvira
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. IFIP State-of-the-art Reports,1999
2. Bidoit, M., Cengarle, M.V., Hennicker, R.: ch. 11: Proof Systems for Structured Specification and Their Refinement. In: [1] (1999)
3. Lecture Notes in Computer Science;B. Braatz,2004
4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
5. Cerioli, M., Meseguer, J.: I borrow your logic? Theoretical Computer Science 173, 311–347 (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantical Integration of Object-Oriented Viewpoint Specification Techniques;Integration of Software Specification Techniques for Applications in Engineering;2004
2. On Model Integration and Integration Modelling;Integration of Software Specification Techniques for Applications in Engineering;2004
3. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results;Integration of Software Specification Techniques for Applications in Engineering;2004