1585 search results - page 111 / 317 » A framework for computer-aided validation |
141
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Code clones have long been recognized as bad smells in software systems and are considered to cause maintenance problems during evolution. It is broadly assumed that the ...
167
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
150
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
125
Voted
WICSA
2004
15 years 4 months ago
2004
In this paper, we present an approach to improve the software architecture evaluation process by systematically extracting and appropriately documenting architecturally significan...
104
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...