2702 search results - page 16 / 541 » Practically Applicable Formal Methods |
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
CAISE
1997
Springer
15 years 1 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
JSS
2006
14 years 9 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
78
Voted
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...