Sciweavers

2127 search results - page 108 / 426
» Software Automation
Sort
View
SEMCO
2009
IEEE
16 years 1 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
CMG
2001
15 years 7 months ago
Software That Can Think and Do
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
Bernard Domanski
ICSE
2007
IEEE-ACM
16 years 14 days ago
Enhancing Software Testing by Judicious Use of Code Coverage Information
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
Stefan Berner, Roland Weber, Rudolf K. Keller
AAAI
1992
15 years 7 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
SEUS
2005
IEEE
15 years 12 months ago
A Case Study on Partial Evaluation in Embedded Software Design
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
Michael Jung, Ralf Laue 0002, Sorin A. Huss