532 search results - page 34 / 107 » The UML as a Formal Modeling Notation |
ANSS
2000
IEEE
14 years 6 days ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
SOFTVIS
2003
ACM
14 years 1 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...