Sciweavers

1759 search results - page 179 / 352
» Overview of Generative Software Development
Sort
View
AAAI
2006
15 years 4 months ago
Heuristic Search and Information Visualization Methods for School Redistricting
We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a co...
Marie desJardins, Blazej Bulka, Ryan Carr, Andrew ...
FASE
2008
Springer
15 years 5 months ago
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
140
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Clonetracker: tool support for code clone management
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
Ekwa Duala-Ekoko, Martin P. Robillard
ICSE
2007
IEEE-ACM
16 years 3 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
MOMPES
2008
IEEE
15 years 9 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke