Sciweavers

1042 search results - page 115 / 209
» Towards Requirements Engineering of Active Database Systems
Sort
View
SEKE
1993
Springer
14 years 2 months ago
Recovering Conceptual Data Models is Human-Intensive
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
Fabio Abbattista, Filippo Lanubile, Giuseppe Visag...
BTW
2009
Springer
119views Database» more  BTW 2009»
14 years 4 months ago
On the Need of Data Management in Automotive Systems
Abstract: In the last decade, automotive systems changed from traditional mechanical or mechatronical systems towards software intensive systems, because more and more functionalit...
Sandro Schulze, Mario Pukall, Gunter Saake, Tobias...
NAACL
1994
13 years 11 months ago
Recent Improvements in the CMU Spoken Language Understanding System
We have been developing a spoken language system to recognize and understand spontaneous speech. It is difficult for such systems to achieve good coverage of the lexicon and gramm...
Wayne Ward, Sunil Issar
FAC
2006
122views more  FAC 2006»
13 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
QOSA
2007
Springer
14 years 4 months ago
A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
Roshanak Roshandel, Nenad Medvidovic, Leana Golubc...