1988 search results - page 29 / 398 » Engineering formal metatheory |
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
SIMULATION
2010
13 years 3 months ago
2010
CAISE
2005
Springer
14 years 2 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, ...
B
2007
Springer
14 years 2 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...
AMAST
1997
Springer
14 years 9 days 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...