650 search results - page 12 / 130 » Modeling SPARK systems with UML |
ER
2007
Springer
15 years 3 months ago
2007
Springer
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
101
Voted
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
92
Voted
UML
2001
Springer
15 years 1 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
FMOODS
2007
14 years 11 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
94
Voted
ICAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...