7380 search results - page 450 / 1476 » Engineering Software Intensive Systems |
139
click to vote
AAAI
1994
15 years 6 months ago
1994
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 ...
136
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
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...
127
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
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...
163
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
119
Voted
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...