Sciweavers

19587 search results - page 124 / 3918
» Systems Engineering for software Engineers
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 2 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
CSMR
2000
IEEE
15 years 9 months ago
Experiences Reverse Engineering Manually
Better understanding manual reverse engineering can make it and any associated systems reengineering more effective. We reverse engineered a version of a system (referred to as &q...
Dave Swafford, Diana Elman, Peter Aiken, Jeff Merh...
SIGADA
2004
Springer
15 years 10 months ago
Information systems security engineering: a critical component of the systems engineering lifecycle
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
James F. Davis
AIIA
2009
Springer
15 years 8 months ago
Towards Extensible Textual Entailment Engines: The EDITS Package
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
Matteo Negri, Milen Kouylekov, Bernardo Magnini, Y...
WCRE
2009
IEEE
15 years 11 months ago
Enabling the Evolution of J2EE Applications through Reverse Engineering and Quality Assurance
Abstract—Enterprise Applications are complex software systems that manipulate much persistent data and interact with the user through a vast and complex user interface. In partic...
Fabrizio Perin