2836 search results - page 265 / 568 » Model Checking for Software Architectures |
167
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
149
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
1752
click to vote
ICECCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
161
Voted
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
132
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...