Journal ArticleDOI
Software Technology in the 1990's: Using a New Paradigm
Reads0
Chats0
About:
This article is published in IEEE Computer.The article was published on 1983-11-01. It has received 323 citations till now. The article focuses on the topics: Resource-oriented architecture & Software construction.read more
Citations
More filters
Journal ArticleDOI
A spiral model of software development and enhancement
TL;DR: An outline is given of the process steps involved in the spiral model, an evolving risk-driven approach that provides a framework for guiding the software process and its application to a software project is shown.
Journal ArticleDOI
Understanding and controlling software costs
Barry Boehm,P.N. Papaccio +1 more
TL;DR: It is pointed out that a good framework of techniques exists for controlling software budgets, schedules, and work completed, but that a great deal of further progress is needed to provide an overall set of planning and control techniques covering software product qualities and end-user system objectives.
Journal ArticleDOI
A spiral model of software development and enhancement
TL;DR: This chapter describes a spiral model of software development and enhancement that can accommodate most previous models as special cases and further provides guidance as to which combination of previous models best fits a given software situation.
Journal ArticleDOI
Questions, options, and criteria: elements of design space analysis
TL;DR: Design Space Analysis as mentioned in this paper is an approach to representing design rationale that uses a semi-formular notation, called QOC (Questions, Options, and Criteria), to represent the design space around an artifact.
Journal ArticleDOI
Reusing software: issues and research directions
Hafedh Mili,Fatma Mili,Ali Mili +2 more
TL;DR: The implications of reuse on the production are discussed, with an emphasis on the technical challenges, and proposed models for their economic analysis are discussed.
References
More filters
Journal ArticleDOI
Transformational Implementation: An Example
TL;DR: A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example.
Journal ArticleDOI
The Programmer's Apprentice: Knowledge Based Program Editing
TL;DR: In this article, an initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described, which is designed to be midway between an improved programming methodology and an automatic programming system.
Journal ArticleDOI
Operational specification as the basis for rapid prototyping
TL;DR: A set of freedoms are described which both simplify the task of specifing systems and make the resulting specification more comprehensible, and have resulted in a novel formal specification language, Gist.
Journal ArticleDOI
Program Reusability through Program Transformation
TL;DR: A practical application of the transformational approach to program reuse based on this strategy has a measure of elegance and is also practical-the resulting Fortran program is 25 percent faster than its compiled LISP counterpart, even without extensive optimization.
Journal ArticleDOI
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis
Elaine Kant,D.R. Barstow +1 more
TL;DR: A refinement paradigm for implementing a high-level specification in a low-level target language is discussed, and a particular implementation of this program synthesis paradigm is described that has automatically implemented a number of programs in the domain of symbolic processing.