1376 search results - page 33 / 276 » Model-Driven Software Verification |
113
click to vote
ICSOFT
2007
15 years 3 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
131
click to vote
SERA
2010
Springer
15 years 7 days ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
131
click to vote
MOMPES
2007
IEEE
15 years 8 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
106
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
140
click to vote
ICSR
2011
Springer
14 years 5 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...