1288 search results - page 123 / 258 » On Analysis of Design Component Contracts: A Case Study |
IEE
2008
15 years 1 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...
137
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
120
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
119
click to vote
VIZSEC
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
170
Voted
DANCE
2002
IEEE
15 years 6 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...