2836 search results - page 95 / 568 » Model Checking for Software Architectures |
176
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
143
Voted
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
127
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
135
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
159
Voted
IWPC
1996
IEEE
15 years 7 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...