Sciweavers

3792 search results - page 243 / 759
» Techniques for Trusted Software Engineering
Sort
View
WCRE
2005
IEEE
16 years 4 days ago
Symbolic Interpretation of Legacy Assembly Language
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
Jacques Carette, Pulak Kumar Chowdhury
IWPC
2009
IEEE
16 years 1 months ago
Who can help me with this change request?
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
Huzefa H. Kagdi, Denys Poshyvanyk
SLE
2009
Springer
16 years 1 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
EMSOFT
2005
Springer
16 years 3 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
ISSRE
2000
IEEE
15 years 11 months ago
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
Sam K. S. Sze, Michael R. Lyu