977 search results - page 80 / 196 » Formal methods integration in software engineering |
138
click to vote
JLP
2006
15 years 4 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
139
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
124
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
139
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
121
click to vote
TLDI
2009
ACM
16 years 28 days ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...