2836 search results - page 147 / 568 » Model Checking for Software Architectures |
140
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
122
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
147
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
114
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
122
click to vote
WICSA
2001
15 years 5 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...