1376 search results - page 3 / 276 » Model-Driven Software Verification |
EUC
2008
Springer
13 years 10 months ago
2008
Springer
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
UML
2005
Springer
14 years 2 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
RWEB
2010
Springer
13 years 6 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
AIMS
2010
Springer
13 years 10 months ago
2010
Springer
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 ...