Sciweavers

2578 search results - page 299 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
LCTRTS
2010
Springer
15 years 10 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ISSTA
2010
ACM
15 years 7 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
111
Voted
XPU
2004
Springer
15 years 9 months ago
When XP Met Outsourcing
Outsourcing is common for software development, and is the context for many projects using agile development processes. This paper presents two case studies concentrating on the cu...
Angela Martin, Robert Biddle, James Noble
APSEC
2000
IEEE
15 years 8 months ago
An adaptive distributed workflow system framework
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
Martin K. Purvis, Maryam Purvis, Selena Lemalu
SIGSOFT
2005
ACM
16 years 4 months ago
A case study on value-based requirements tracing
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
Matthias Heindl, Stefan Biffl