Sciweavers

7202 search results - page 430 / 1441
» Software System Engineering: A Tutorial
Sort
View
ICST
2008
IEEE
16 years 2 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
AAAI
1994
15 years 9 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
AOSD
2007
ACM
15 years 11 months ago
Evolving embedded product lines: opportunities for aspects
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
Aleksandra Tesanovic
SIGSOFT
2002
ACM
16 years 8 months ago
Using redundancies to find errors
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
Yichen Xie, Dawson R. Engler
210
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
Updating requirements from tests during maintenance and evolution
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
Eya Ben Charrada