2127 search results - page 193 / 426 » Software Automation |
176
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
181
click to vote
CCR
2011
15 years 1 months ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...
160
click to vote
WCE
2007
15 years 7 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
170
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
185
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...