2015 search results - page 137 / 403 » Hidden Software Capabilities |
ENTCS
2007
15 years 22 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
145
Voted
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
91
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
110
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
94
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...