By Topic

Software Engineering, IEEE Transactions on

Issue 1 • Date Jan. 1979

Filter Results

Displaying Results 1 - 15 of 15
  • IEEE Transactions on Software Engineering - Table of contents

    Publication Year: 1979 , Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (352 KB)  
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1979 , Page(s): c2
    Save to Project icon | Request Permissions | PDF file iconPDF (244 KB)  
    Freely Available from IEEE
  • Access Control in Parallel Programs

    Publication Year: 1979 , Page(s): 1 - 9
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2600 KB)  

    An important component of a programming language for writing operating systems, or other large parallel systems, is the set of access control facilities. Two principles for access control, expressive power and access validation, are discussed. Then two new language mechanisms are presented: one for expressing the static structure and access rights of parallel systems, the other for controlling dyn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and Proof Techniques for Serializers

    Publication Year: 1979 , Page(s): 10 - 23
    Cited by:  Papers (8)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (3760 KB)  

    This paper presents a specification language, implementation mechanism, and proof techniques for problems involving the arbitration of concurrent requests to shared protected resources whose integrity must be preserved. This mechanism is the serializer, which may be described as a kind of protection mechanism, in that it prevents improper orders of access to a protected resource. Serializers are a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Analysis Techniques for Asynchronous Multiprocessor Algorithms

    Publication Year: 1979 , Page(s): 24 - 31
    Cited by:  Papers (29)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2304 KB)  

    Efficient algorithms for asynchronous multiprocessor systems must achieve a balance between low process communication and high adaptability to variations in process speed. Algorithms that employ problem decomposition may be classified as static (in which decomposition takes place before execution) and dynamic (in which decomposition takes place during execution). Static and dynamic algorithms are ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages

    Publication Year: 1979 , Page(s): 31 - 44
    Cited by:  Papers (12)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (3504 KB)  

    The performance of a hardware/software system is a function of both the deterministic properties of the computation being performed and the probabilistic properties of the information sequence being processed. This paper develops the idea of a computational cost which can be used to measure system performance and shows how this cost can be related to the structure of the system and the information... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Measure of Control Flow Complexity in Program Text

    Publication Year: 1979 , Page(s): 45 - 50
    Cited by:  Papers (32)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1920 KB)  

    This paper discusses the need for measures of complexity and unstructuredness of programs. A simple language independent concept is put forward as a measure of control flow complexity in program text and is then developed for use as a measure of unstructuredness. The proposed metric is compared with other metrics, the most notable of which is the cyclomatic complexity measure. Some experience with... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measurements of Dynamic List Structure Use in Lisp

    Publication Year: 1979 , Page(s): 51 - 59
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2696 KB)  

    This paper is an empirical study of how three large Lisp programs use their list structure during execution. Most list-cell references are due to the functions car and cdr, which are executed about equally often and greatly outnumber other primitive functions. Executions of cdr yield the atom NIL about 10 to 20 percent of the time, and nearby list cells most of the rest of the time. Executions of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SMOTL—A System to Construct Samples for Data Processing Program Debugging

    Publication Year: 1979 , Page(s): 60 - 66
    Cited by:  Papers (6)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (2688 KB)  

    The possibility of automatic construction of a complete set of program tests is considered. A test set system is said to be complete if every feasible program branch (segment) is executed by it. The complete test set construction algorithm for commercially oriented data processing programs is outlined, and the results of its functioning on real programs are analyzed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Acknowledgment of Referees

    Publication Year: 1979 , Page(s): 67 - 68
    Save to Project icon | Request Permissions | PDF file iconPDF (140 KB)  
    Freely Available from IEEE
  • IEEE copyright form

    Publication Year: 1979 , Page(s): 69 - 70
    Save to Project icon | Request Permissions | PDF file iconPDF (265 KB)  
    Freely Available from IEEE
  • Information for authors

    Publication Year: 1979 , Page(s): 71
    Save to Project icon | Request Permissions | PDF file iconPDF (272 KB)  
    Freely Available from IEEE
  • Call for Papers

    Publication Year: 1979 , Page(s): 71
    Save to Project icon | Request Permissions | PDF file iconPDF (1245 KB)  
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1979 , Page(s): 71-b
    Save to Project icon | Request Permissions | PDF file iconPDF (160 KB)  
    Freely Available from IEEE
  • Advance Program Announcement

    Publication Year: 1979 , Page(s): 71
    Save to Project icon | Request Permissions | PDF file iconPDF (262 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
tseeicdwyer@computer.org