2836 search results - page 342 / 568 » Model Checking for Software Architectures |
178
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
156
Voted
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
174
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
155
click to vote
EDOC
2008
IEEE
16 years 23 days ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...