Refinement patterns for UML

Electronic Notes in Theoretical Computer Science

Volumn 137, Issue 2, 2005, Pages 131-149

  Lano, K ^a   Androutsopolous, K ^a   Clark, D ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Model Transformation; Refinement; UML RSDS

Indexed keywords

CODES (SYMBOLS); CONSTRAINT THEORY; GRAPHIC METHODS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; SYSTEMS ANALYSIS;

MODEL TRANSFORMATIONS; REFINEMENT; UML-RSDS; WEB SYSTEMS;

SEMANTICS;

EID: 22144463215     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.04.028     Document Type: Conference Paper

References (14)

1. E. Clarke, W. Heinle, Modular translation of statecharts to SMV, technical report, Carnegie Mellon University, 2000
2. D. Alur, J. Crupi, and D. Malks Core J2EE Patterns 2001 Prentice Hall
3. M. Fowler Refactorings - Improving the Design of Existing Code 1999 Addison Wesley
4. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-oriented Software 1994 Addison Wesley
5. D. Gries The Science of Programming 1981 Springer-Verlag
6. I. Jacobson Use Cases and Aspects Journal of Object Technology July/August 2003
7. K. Lano The B Language and Method: A Guide to Practical Formal Development 1996 Springer-Verlag
8. K. Lano, A. Evans, Rigorous Development in UML, FASE 1999
9. K. Lano, J. Fiadeiro, and L. Andrade Software Design using Java 2 2002 MacMillen
10. K. Lano, D. Clark, K. Androutsopoulos, UML to B: Formal Verification of OO Models, IF 2004
11. K. Lano, D. Clark, and K. Androutsopoulos RSDS, a subset of UML with Precise Semantics L'Objet 9 4 2003 53 73
12. K. Lano Design for Change: Advanced System Design Using Java, UML and MDA 2005 Elsevier
13. C. Morgan Programming from Specifications 1998 Prentice Hall
14. D. Smith KIDS: A Semiautomatic Program Transformation System IEEE TSE 16 9 1990