Sciweavers

7202 search results - page 126 / 1441
» Software System Engineering: A Tutorial
Sort
View
185
Voted
SIGMOD
2012
ACM
275views Database» more  SIGMOD 2012»
13 years 5 months ago
Computational reproducibility: state-of-the-art, challenges, and database research opportunities
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
Juliana Freire, Philippe Bonnet, Dennis Shasha
ICSE
2001
IEEE-ACM
15 years 7 months ago
Traceability for System Families
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
Detlef Streitferdt
ADAEUROPE
2006
Springer
15 years 8 months ago
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
Aoun Raza, Gunther Vogel, Erhard Plödereder
107
Voted
WCRE
2000
IEEE
15 years 6 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
140
Voted
ICFCA
2005
Springer
15 years 8 months ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...