2836 search results - page 194 / 568 » Model Checking for Software Architectures |
121
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
148
click to vote
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
103
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
124
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
119
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...