Sciweavers

2127 search results - page 216 / 426
» Software Automation
Sort
View
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
16 years 25 days ago
A Semantic Recognizer Infrastructure for Computing Loop Behavior
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
Ali Mili, Tim Daly, Mark Pleszkoch, Stacy J. Prowe...
DAC
2009
ACM
16 years 7 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
BPM
2006
Springer
139views Business» more  BPM 2006»
15 years 10 months ago
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
Stephen Gorton, Stephan Reiff-Marganiec
AOSD
2006
ACM
16 years 15 days ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao