Sciweavers

255 search results - page 30 / 51
» Flexible incremental development by integrating specificatio...
Sort
View
USENIX
2000
15 years 1 months ago
FiST: A Language for Stackable File Systems
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
Erez Zadok, Jason Nieh
WSC
2008
15 years 2 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
WSR
2008
15 years 1 months ago
Towards Querying of Traceability Information in the Context of Software Evolution
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
Hannes Schwarz, Jürgen Ebert, Volker Riediger...
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 2 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...
APSEC
2005
IEEE
15 years 5 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier