Sciweavers

964 search results - page 28 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
AIMS
2010
Springer
13 years 9 months ago
Model-Driven Service Level Management
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
Anacleto Correia, Fernando Brito e Abreu
ASWSD
2004
Springer
14 years 1 months ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
OOPSLA
2000
Springer
13 years 11 months ago
A real world object modeling method for creating simulation environment of real-time systems
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
Ji Y. Lee, Hye J. Kim, Kyo Chul Kang
WSC
2007
13 years 10 months ago
Simulation of continuous behavior using discrete tools: ORE conveyor transport
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...
ISIM
2007
13 years 9 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave