2836 search results - page 74 / 568 » Model Checking for Software Architectures |
102
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
99
Voted
FMOODS
2006
15 years 5 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
121
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The need to change software easily to meet evolving business requirements is urgent, and a radical shift is required in the development of software, with a more demand-centric vie...
150
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
131
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...