An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint-Reference-Cited by-同舟云学术

An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint

Published:2003 Issue: Volume: Page:56-81
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Astesiano E.,Reggio G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40020-2_3

Reference39 articles.

1. Consistency Problems in UML-based Software Development: Workshop Materials. In: Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development: Workshop Materials, Research Report 2002-06 (2002), Available at http://www.ipd.bth.se/uml2002/RR-2002-06.pdf

2. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: the Common Algebraic Specification Language. T.C.S. 286(2) (2002)

3. Astesiano, E., Krieg-Brückner, B., Kreowski, H.-J. (eds.): IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer, Heidelberg (1999)

4. Astesiano, E., Reggio, G.: Formalism and Method. T.C.S. 236(1,2) (2000)

5. Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proc. SEKE 2002. ACM Press, New York (2002), Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio02a.pdf

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

1. MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations;Service Oriented Computing and Applications;2010-06-19

2. Separation of Concerns and Consistent Integration in Requirements Modelling;Lecture Notes in Computer Science;2007

3. Improving the Definition of UML;Model Driven Engineering Languages and Systems;2006

4. Model Checking Dynamic UML Consistency;Formal Methods and Software Engineering;2006

5. Consistency of UML/SPT Models;SDL 2007: Design for Dependable Systems