1988 search results - page 29 / 398 » Engineering formal metatheory |
126
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
136
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
216
click to vote
AMAST
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...