Sciweavers

1042 search results - page 19 / 209
» Towards Requirements Engineering of Active Database Systems
Sort
View
JOT
2006
76views more  JOT 2006»
13 years 7 months ago
Architecture-Related Requirements
The engineering of architecture-related requirements has proven to be a very difficult task for requirements engineers. It is also a task that experience has shown could use signi...
Donald Firesmith, Peter Capell
POPL
2010
ACM
14 years 5 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
ADAEUROPE
2001
Springer
14 years 7 days ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
DAGSTUHL
2004
13 years 9 months ago
Towards an Engineering Approach to Component Adaptation
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Ov...
ICDE
2003
IEEE
101views Database» more  ICDE 2003»
14 years 9 months ago
The QUIQ Engine: A Hybrid IR DB System
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
Navin Kabra, Raghu Ramakrishnan, Vuk Ercegovac