88 search results - page 13 / 18 » A Comparison of Modular Verification Techniques |
RE
2004
Springer
15 years 3 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
IEE
2008
14 years 9 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
GLVLSI
2008
IEEE
14 years 9 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
118
Voted
IFIPTM
2009
14 years 7 months ago
2009
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
114
click to vote
ASM
2008
ASM
14 years 11 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...