Sciweavers

12551 search results - page 352 / 2511
» Reuse in Systems Engineering
Sort
View
SPIN
1999
Springer
15 years 11 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
Gerard J. Holzmann
CBSE
2004
Springer
15 years 10 months ago
Viewpoints for Specifying Component-Based Systems
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
Gerald Kotonya, John Hutchinson
132
Voted
SAC
2005
ACM
16 years 10 days ago
Method construction - a core approach to organizational engineering
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
Christian Braun, Felix Wortmann, Martin Hafner, Ro...
WCRE
1995
IEEE
15 years 10 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
CMG
2006
15 years 8 months ago
Evaluation and comparison of search engines using the LSP method
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
Jozo J. Dujmovic, Haishi Bai