129
click to vote
ICFCA
15 years 6 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...
103
Voted
ICFCA
15 years 6 months ago
2005 Springer 
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
ICFCA
15 years 6 months ago
2005 Springer 104
Voted
ICFCA
15 years 6 months ago
2005 Springer 
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
|
Formal Methods