658 search results - page 65 / 132 » A formal approach to object-oriented software engineering |
145
click to vote
CAV
2009
Springer
16 years 5 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...
135
Voted
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
177
Voted
CBSQ
2003
Springer
15 years 10 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
133
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
129
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...