979 search results - page 128 / 196 » Automated Environment Generation for Software Model Checking |
119
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
110
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
127
Voted
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
152
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
107
click to vote
EDOC
2008
IEEE
15 years 8 months 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...