2127 search results - page 48 / 426 » Software Automation |
106
Voted
JAR
2006
15 years 15 days ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
125
Voted
INFSOF
2002
15 years 7 days ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
ICSE
2003
IEEE-ACM
16 years 19 days ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
79
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
88
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...