3792 search results - page 494 / 759 » Techniques for Trusted Software Engineering |
139
click to vote
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
188
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
170
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
169
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
Large clusters of mutual dependence can cause problems for comprehension, testing and maintenance. This paper introduces the concept of coherent dependence clusters, techniques fo...
164
click to vote
MSR
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their his...