6167 search results - page 1018 / 1234 » Can Refinement be Automated |
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Refactorings are behavior-preserving program transformations that automate design evolution in object-oriented applications. Three kinds of design evolution are: schema transformat...
METRICS
1999
IEEE
14 years 2 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
FM
1999
Springer
14 years 2 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...