2836 search results - page 238 / 568 » Model Checking for Software Architectures |
140
Voted
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Change coupling is the implicit relationship between two or more software artifacts that have been observed to frequently change together during the evolution of a softw...
143
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
138
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
143
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
145
Voted
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...