8828 search results - page 241 / 1766 » Formal methods in practice |
166
click to vote
RE
2002
Springer
15 years 5 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
172
click to vote
TCS
2002
15 years 5 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
138
click to vote
COLING
2010
15 years 1 months ago
2010
There has been relatively little work focused on determining the formality level of individual lexical items. This study applies information from large mixedgenre corpora, demonst...
169
click to vote
CLASSIFICATION
2006
15 years 6 months ago
2006
Abstracts "Mixtures at the Interface" David Scott, Rice University Mixture modeling provides an effective framework for complex, high-dimensional data. The potential of m...
183
click to vote
ICFCA
2005
Springer
15 years 11 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...