1057 search results - page 54 / 212 » Testing from Formal Specifications, a Generic Approach |
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
ICSE
1993
IEEE-ACM
13 years 11 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
CAISE
2005
Springer
14 years 1 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, ...
ICFCA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...