2836 search results - page 418 / 568 » Model Checking for Software Architectures |
161
click to vote
SAC
2006
ACM
16 years 10 days 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...
163
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
154
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
198
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...