By Topic

Software Engineering, IEEE Transactions on

Issue 4 • Date Dec. 1975

Filter Results

Displaying Results 1 - 18 of 18
  • Table of contents

    Publication Year: 1975 , Page(s): 1
    Request Permissions | PDF file iconPDF (1795 KB)  
    Freely Available from IEEE
  • [Inside front cover]

    Publication Year: 1975 , Page(s): c2
    Request Permissions | PDF file iconPDF (74 KB)  
    Freely Available from IEEE
  • Guest editorial

    Publication Year: 1975 , Page(s): 349 - 350
    Request Permissions | PDF file iconPDF (242 KB)  
    Freely Available from IEEE
  • An experimental program-testing facility

    Publication Year: 1975 , Page(s): 350 - 357
    Cited by:  Papers (8)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (676 KB)  

    This paper describes an experimental program testing facility called the interactive semantic modelling system (ISMS). The ISMS is designed to allow experimentation with a wide variety of tools for collecting, analyzing, and displaying testing information. The design methodology is applicable to procedural programming languages, and Algol 60 is being used as the vehicle for elaboration of design p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The COLUMBUS approach

    Publication Year: 1975 , Page(s): 358 - 363
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (623 KB)  

    This paper describes an interactive system-COLUMBUS-for the development of well-structured programs in assembly language, Cobol, and PL/I. One of the basic concepts employed is the use of Nassi/Shneiderman charts as the unique reference document. For specifying the control structures of a program, the programmer uses a set of control primitives which are common for all languages used. Data declara... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The source code control system

    Publication Year: 1975 , Page(s): 364 - 370
    Cited by:  Papers (126)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (573 KB)  

    The Source Code Control System (SCCS) is a software tool designed to help programming projects control changes to source code. It provides facilities for storing, updating, and retrieving all versions of modules, for controlling updating privileges for identifying load modules by version number, and for recording who made each software change, when and where it was made, and why. This paper discus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Program design by a multidisciplinary team

    Publication Year: 1975 , Page(s): 370 - 376
    Request Permissions | Click to expandAbstract | PDF file iconPDF (620 KB)  

    The use of software engineering aids in the design of a structural finite element analysis computer program for the CDC STAR-100 computer is described. Since members of the design team came from diverse backgrounds, both the unique features of the CDC STAR computer and structural analysis concepts and computing requirements had to be understood before design began. Nested functional diagrams to ai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applied software engineering: A real-time simulator case history

    Publication Year: 1975 , Page(s): 377 - 383
    Request Permissions | Click to expandAbstract | PDF file iconPDF (666 KB)  

    Diligent application of software engineering techniques has achieved outstanding programmer productivity and a high degree of software excellence in the development of the program for a large real time system simulator. Moreover these programming efficiencies were achieved in a research environment where both the software and hardware requirements were meagrely defined initially and substantially ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • STRUCT programming analysis system

    Publication Year: 1975 , Page(s): 384 - 389
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (570 KB)  

    The STRUCT system utilizes the flexibility of a powerful graphics display system to provide a set of tools for program analysis. These tools allow the analysis of the static program structure and the dynamic execution behaviour of programs within the entire operating system user program environment of the Brown University Graphics System (BUGS). Information is collected and presented in a manner w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Iterative enhancement: A practical technique for software development

    Publication Year: 1975 , Page(s): 390 - 396
    Cited by:  Papers (16)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (547 KB)  

    This paper recommends the iterative enhancement' technique as a practical means of using a top-down, stepwise refinement approach to software development. This technique begins with a simple initial implementation of a property chosen (skeletal) subproject which is followed by the gradual enhancement of successive implementations in order to build the full implementation. The development and quant... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Top-down, bottom-up, and structured programming

    Publication Year: 1975 , Page(s): 397 - 403
    Request Permissions | Click to expandAbstract | PDF file iconPDF (722 KB)  

    The process of designing and evolving a programming system cannot be characterized as either top-down or bottom-up or any other well-structured process. The results, however, is a well-structured program. Since both approaches have the same goal either approach or a combination of the two is compatible with a structured programming philosophy. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal placement of software monitors aiding systematic testing

    Publication Year: 1975 , Page(s): 403 - 411
    Cited by:  Papers (13)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1048 KB)  

    The usefulness of software monitors in testing large programs is discussed. Several types of testing strategies based on the use of monitors are surveyed. Since there is a computational overhead involved in employing monitors, attempts are made to minimize the number of monitors employed. This optimisation problem is formulated and analyzed in graph theoretic terms. Implementation aspects are cons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting programming group productivity a communications model

    Publication Year: 1975 , Page(s): 411 - 414
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (453 KB)  

    Methods of studying programmer productivity are difficult to find. The classical methods of observation and statistical analysis are in many cases inappropriate. This paper describes a simulation approach in which programmers are considered to be individual processors. Relative group productivity is then measured based upon the productivity levels and communications relationships of the processors... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software performance modeling using computation structures

    Publication Year: 1975 , Page(s): 414 - 420
    Cited by:  Papers (23)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1105 KB)  

    An engineering-oriented performance model of a computation is developed by extending the concept of a computation structure to cover the performance costs appropriate to software modelling. The model allows both serial and parallel (multiprocessor) configurations,and the evaluation of both time space parameters for alternate realizations. A brief discussion on the use of the model as a mechanism t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structured programming and formal specification

    Publication Year: 1975 , Page(s): 421 - 425
    Cited by:  Papers (6)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (493 KB)  

    In the author's view structured programming consists of the use of the following: structure, abstraction, and specification. The purpose of this paper is to develop formal specifications for a nontrivial program in order to facilitate a proof of correctness. It is shown how the specifications serve as an abstraction for the program. A proof of correctness then consists of merely showing that the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to "toward a theory of test data selection"

    Publication Year: 1975 , Page(s): 425 - 426
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (206 KB)  

    In the above paper' the program in Fig. 3 should read "then begin" on line 7, "bufpos := 0 end end" on line 20, and the semicolon on line 23 should be omitted. The program as given in Table I already reflects these corrections, so no other changes to the paper are necessary. These corrections were pointed out by H. C. Lauer. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 1975 , Page(s): 1 - 3
    Request Permissions | PDF file iconPDF (356 KB)  
    Freely Available from IEEE
  • [Back matter]

    Publication Year: 1975 , Page(s): 1 - 5
    Request Permissions | PDF file iconPDF (603 KB)  
    Freely Available from IEEE

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org