369 search results - page 9 / 74 » Verification of UML Model Elements Using B |
APCCM
2008
13 years 9 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
COMPSAC
2003
IEEE
14 years 25 days ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
DAC
2006
ACM
14 years 1 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
JUCS
2010
13 years 2 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...