Sciweavers

2473 search results - page 73 / 495
» Systems, Views and Models of UML
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 4 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
WICSA
2004
15 years 1 months ago
Understanding Tradeoffs among Different Architectural Modeling Approaches
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
Roshanak Roshandel, Bradley R. Schmerl, Nenad Medv...
ESEC
1997
Springer
15 years 4 months ago
A View-Oriented Approach to System Modelling Based on Graph Transformation
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
Gregor Engels, Reiko Heckel, Gabriele Taentzer, Ha...
COMPSAC
2008
IEEE
15 years 6 months ago
Embedded Systems Resources: Views on Modeling and Analysis
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
Aneta Vulgarakis, Cristina Cerschi Seceleanu
JOT
2010
144views more  JOT 2010»
14 years 10 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...