259 search results - page 38 / 52 » Rules of Thumb in Data Engineering |
TAPSOFT
1997
Springer
14 years 23 days ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
CERA
2007
13 years 8 months ago
2007
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
KBSE
1999
IEEE
14 years 27 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...