Analysing UML Use Cases as Contracts-Reference-Cited by-同舟云学术

Analysing UML Use Cases as Contracts

Published:1999 Issue: Volume: Page:518-533
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Back Ralph-Johan,Petre Luigia,Paltor Iván Porres

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46852-8_37

Reference22 articles.

1. Mathematical Centre Tracts;R. J. R. Back,1980

2. R. J. R. Back and J. von Wright. Contracts, Games and Refinement. In C. Palamidessi and J. Parrow (eds), 4th Workshop on Expressiveness in Concurrency. Electronic Notes of Theoretical Computer Science, Elsevier, 1997.

3. R. J. R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag, 1998.

4. R. J. R. Back, L. Petre and I. Porres. Formalising UML Use Cases in the Refinement Calculus. TUCS Technical Report, No. 279. Turku Centre for Computer Science, 1999.

5. G. Booch, J. Rumbaugh and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

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

1. ASM-based formal design of an adaptivity component for a Cloud system;Formal Aspects of Computing;2016-07

2. Web-based remote monitoring and fault diagnosis system;The International Journal of Advanced Manufacturing Technology;2005-06-01

3. A Predicative Semantic Model for Integrating UML Models;Theoretical Aspects of Computing - ICTAC 2004;2005

4. Service-Oriented Business and System Specification: Beyond Object-Orientation;Practical Foundations of Business System Specifications;2003

5. Architecture Based Evolution of Software Systems;Lecture Notes in Computer Science;2003