- Full text PDF available (1)
- This year (0)
- Last five years (0)
The methods used by the Software Engineering Institute (SEI's) Software Capability Evaluation program (SCE) are assessed. The goal of the SCE program is to provide the US Defense Department with a method by which it can rank the overall capability of organizations to produce software in a timely, repeatable fashion. Because SEI assessments are a preparation… (More)
SADT <supscrpt>TM</supscrpt>, Structured Analysis and Design Technique, is a graphical language for describing systems. In this paper we indicate the role of SADT in software design. The graphical language provides a powerful design vocabulary in which a designer can concisely and unambiguously express his design. SADT is compatible with widely used… (More)
We present an approach that combines process modeling with process assessments. We describe how we created an SADT (IDEFO) model of a large sojtware maintenance process and used the model as a basis for assessing the process. The model led to process improvenwnts that mighl have been missed otherwise. We then describe this model based process assessment… (More)
Landin's SECD Machine does not completely compute certain expressions of the λ-calculus and so is modified by the addition of an output component and a unique name counter. This modified machine is proven to correctly implement the λ-calculus.
The notion of a general block structured programming language and the “most recent” evaluation strategy for such a language are formalized and their relationship investigated. Sufficient conditions for “most recent” correctness are obtained.
This paper presents four world views for developing system specifications. Each is described by first revealing its root metaphor, that is, the most primitive starting point for understanding a system. As each world view and its metaphor are described, we show how particular major current approaches to systems analysis and design fall within the view. We… (More)
This paper illustrates an approach to designing software information systems. We have found this strategy to be sufficiently systematic and practically useful enough to merit exposition for a wider audience. The most novel aspect of our approach is how we analyze the problem in successive steps to produce a logical design. Briefly, the steps are: (1)… (More)
Software capability evaluations (SCEs) were the prototype for what's now the standard CMMI appraisal method for process improvement. SCEs used 85 yes/no questions to determine organizations' maturity levels. This was an astonishingly sparse data set from which to assign a label that could bar an organization from bidding on federal contracts. CMMI is our… (More)