6167 search results - page 15 / 1234 » Can Refinement be Automated |
93
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
82
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
106
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
100
click to vote
FUIN
2000
15 years 15 days ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
103
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...