1669 search results - page 6 / 334 » Modeling ODP Computational Specifications Using UML |
PDPTA
2000
13 years 11 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
ISSRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
ECBS
2007
IEEE
14 years 4 months ago
2007
IEEE
SAC
2006
ACM
13 years 9 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...