[LIBRO][B] A precise approach to validating UML models and OCL constraints
M Richters - 2002 - Citeseer
Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …
software systems. The UML supports object-oriented approaches to software development …
Formalizing the UML class diagram using Object-Z
SK Kim, C David - International Conference on the Unified Modeling …, 1999 - Springer
To produce a precise and analyzable software model, it is essential for the modeling
technique to have formality in the syntax and the semantics of its notation, and to allow …
technique to have formality in the syntax and the semantics of its notation, and to allow …
UMLAUT: an extendible UML transformation framework
WM Ho, JM Jézéquel, A Le Guennec… - 14th IEEE …, 1999 - ieeexplore.ieee.org
Advanced users often find themselves restricted by the limited facilities of most UML CASE
tools when they want to do complex manipulations of UML models, eg, apply design …
tools when they want to do complex manipulations of UML models, eg, apply design …
[LIBRO][B] High-integrity system specification and design
JP Bowen, MG Hinchey - 2012 - books.google.com
Errata, detected in Taylor's Logarithms. London: 4to, 1792.[sic] 14.18. 3 6 Kk Co-sine of
3398 3298-Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms …
3398 3298-Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms …
Analysing UML active classes and associated state machines-A lightweight formal approach
G Reggio, E Astesiano, C Choppy… - … FASE 2000 Held as Part of …, 2000 - Springer
We propose a precise definition of UML active classes through associated labelled transition
systems using the algebraic Specification language Casl. We are convinced that the first …
systems using the algebraic Specification language Casl. We are convinced that the first …
A toolkit for weaving aspect oriented UML designs
WM Ho, JM Jézéquel, F Pennaneac'h… - Proceedings of the 1st …, 2002 - dl.acm.org
Separation of concerns is a basic engineering principle that is also at the core of object-
oriented analysis and design methods in the context of the Unified Modeling Language …
oriented analysis and design methods in the context of the Unified Modeling Language …
A metamodel for OCL
M Richters, M Gogolla - International conference on the unified modeling …, 1999 - Springer
Abstract The Object Constraint Language (OCL) allows the extension of UML models with
constraints in a formal way. While the UML itself is defined by following a metamodeling …
constraints in a formal way. While the UML itself is defined by following a metamodeling …
UMLAUT: A framework for weaving UML-based aspect-oriented designs
WM Ho, F Pennaneac'h… - … on Technology of Object …, 2000 - ieeexplore.ieee.org
Separation of concerns is a basic engineering principle that is also at the core of object-
oriented analysis and design methods in the context of the Unified Modeling Language …
oriented analysis and design methods in the context of the Unified Modeling Language …
Rigorous development in UML
K Lano, A Evans - … Conference on Fundamental Approaches to Software …, 1999 - Springer
Abstract The Unified Modelling Language (UML) is becoming the de facto industry standard
notation for object-oriented analysis and design. In this paper we propose a development …
notation for object-oriented analysis and design. In this paper we propose a development …
Structuring and Design of Reactive Systems using RSDS and B
With the advent of comprehensive safety standards for software intensive safety related
systems, such as IEC 61508 and its specialisations for particular industry sectors (medical …
systems, such as IEC 61508 and its specialisations for particular industry sectors (medical …