ZUM
13 years 9 months ago
1994 Springer 
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
FORTE
13 years 6 months ago
1994 
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
SAS
13 years 9 months ago
1994 Springer 
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
IMPERIAL
13 years 9 months ago
1994 SAS
13 years 9 months ago
1994 Springer 
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
|
Formal Methods