66 search results - page 12 / 14 » Automated Architecture Consistency Checking for Model Driven... |
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
JUCS
2010
13 years 3 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
FIDJI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...