Sciweavers

SAFECOMP
2004
Springer
14 years 4 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
CSMR
2006
IEEE
14 years 5 months ago
Object-Oriented Legacy System Trace-based Logic Testing
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
Stéphane Ducasse, Tudor Gîrba, Roel W...
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
14 years 5 months ago
Service-Oriented Software Reengineering: SoSR
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
Sam Chung, Joseph Byung Chul An, Sergio Davalos
COMPSAC
2007
IEEE
14 years 5 months ago
Model Oriented Evolutionary Redocumentation
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
Feng Chen, Hongji Yang
HICSS
2008
IEEE
134views Biometrics» more  HICSS 2008»
14 years 6 months ago
Simplified Use Case Driven Approach (SUCADA) for Conversion of Legacy System to COTS Package
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...
Jose D. Montero, YongSeog Kim, Jeff Johnson