532 search results - page 75 / 107 » The UML as a Formal Modeling Notation |
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
MODELLIERUNG
2001
13 years 9 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
WISE
2002
Springer
14 years 17 days ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
FM
2001
Springer
14 years 5 days ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...