By Topic

IEEE Transactions on Software Engineering

Issue 11 • Nov. 1985

Filter Results

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

    Publication Year: 1985, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (416 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1985, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (192 KB)
    Freely Available from IEEE
  • Foreword What is AI? And What Does It Have to Do with Software Engineering?

    Publication Year: 1985, Page(s):1253 - 1256
    Cited by:  Papers (9)
    Request permission for commercial reuse | PDF file iconPDF (1835 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A 15 Year Perspective on Automatic Programming

    Publication Year: 1985, Page(s):1257 - 1268
    Cited by:  Papers (169)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4040 KB)

    Automatic programming consists not only of an automatic compiler, but also some means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high-level specification into a lower-level one which can be automatically compiled. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating the Transformational Development of Software

    Publication Year: 1985, Page(s):1268 - 1277
    Cited by:  Papers (44)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4496 KB)

    This paper reports on efforts to extend the transformational implementation (TI) model of software development [1]. In particular, we describe a system that uses AI techniques to automate major portions of a transformational implementation. The work has focused on the formalization of the goals, strategies, selection rationale, and finally the transformations used by expert human developers. A sys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research on Knowledge-Based Software Environments at Kestrel Institute

    Publication Year: 1985, Page(s):1278 - 1295
    Cited by:  Papers (65)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5688 KB)

    We present a summary of the CHI project conducted at Kestrel Institute through mid-1984. The objective of this project was to perform research on knowledge-based software environments. Toward this end, key portions of a prototype environment, called CHI, were built that established the feasibility of this approach. One result of this research was the development of a wide-spectrum language that co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Programmer's Apprentice: A Session with KBEmacs

    Publication Year: 1985, Page(s):1296 - 1320
    Cited by:  Papers (72)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (7624 KB)

    The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semiexpert assistant to a person who is writing a program-taking over some parts of the programming task. Using KBEmacs, it is possible to construct a program by issuing a series of high level comnmands. This series of comma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain-Specific Automatic Programming

    Publication Year: 1985, Page(s):1321 - 1336
    Cited by:  Papers (84)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6088 KB)

    Domain knowledge is crucial to an automatic programming system and the interaction between domain knowledge and programming at the current time. The NIX project at Schlumberger-Doll Research has been investigating this issue in the context of two application domains related to oil well logging. Based on these experiments we have developed a framework for domain-specific automatic programming. With... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development

    Publication Year: 1985, Page(s):1337 - 1351
    Cited by:  Papers (22)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4728 KB)

    Principled development techniques could greatly enhance the understandability of expert systems for both users and system developers. Current systems have limited explanatory capabilities and present maintenance problems because of a failure to explicitly represent the knowledge and reasoning that went into their design. This paper describes a paradigm for constructing expert systems which attempt... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Role of Domain Expenence in Software Design

    Publication Year: 1985, Page(s):1351 - 1360
    Cited by:  Papers (45)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4800 KB)

    A designer's expertise rests on the knowledge and skills which develop with experience in a domain. As a result, when a designer is designing an object in an unfamiliar domain he will not have the same knowledge and skills available to him as when he is designing an object in a familiar domain. In this paper we look at the software designer's underlying constellation of knowledge and skills, and a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding and Automating Algorithm Design

    Publication Year: 1985, Page(s):1361 - 1374
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4832 KB)

    Algorithm design is a challenging intellectual activity that provides a rich source of observation and a test domain for a theory of problem-solving behavior. This paper describes a theory of the algorithm design process based on observations of human design and also outlines a framework for automatic design. The adaptation of the theory of human design to a framework for automation in the DESIGNE... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Roles of Execution and Analysis in Algorthm Design

    Publication Year: 1985, Page(s):1375 - 1386
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4240 KB)

    The analysis and execution of partial algorithm descriptions is an important part of the algorithm design process (as is borne out by studying the behavior of human algorithm designers). In this paper, we describe a language for representing partially designed algorithms and a process, developmental evaluation, that can discover useful knowledge to guide design. Using these and other results from ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Expert Systems and the "Myth" of Symbolic Reasoning

    Publication Year: 1985, Page(s):1386 - 1390
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3552 KB)

    Elements of the artificial intelligence approach to expert systems offer great productivity advantages over traditional approaches to application systems development, even though the end result may be a program employing no AI techniques. These productivity advantages are the hidden truths behind the "myth" that symbolic reasoning programs are better than ordinary ones. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The "Software Engineering" of Expert Systems: Is Prolog Appropriate?

    Publication Year: 1985, Page(s):1391 - 1400
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3712 KB)

    This paper is a preliminary assessment of the viability of Prolog as a basis for the design of expert systems, where the major competition is assumed to be from Lisp and Lisp-based systems. We critically examine the basic features of Prolog from various perspectives to see to what extent they support (or hinder) expert system development. Our conclusion is that while Prolog has significant assets ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms

    Publication Year: 1985, Page(s):1401 - 1408
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3088 KB)

    Knowledge programming, which makes use of the explicit representation and interpretation of knowledge to create intelligent programs, requires specialized languages and tools to help programmers. Prolog, an implementation of a logic programing language, provides some of these tools; it and other languages have been argued to be the "best" way to do such knowledge programming. This paper raises que... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Publications

    Publication Year: 1985, Page(s): 1408-a
    Request permission for commercial reuse | PDF file iconPDF (312 KB)
    Freely Available from IEEE
  • Call for Papers

    Publication Year: 1985, Page(s): 1408
    Request permission for commercial reuse | PDF file iconPDF (1260 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