By Topic

Computer

Issue 4 • Date April 1985

Filter Results

Displaying Results 1 - 25 of 31
  • [Front cover]

    Publication Year: 1985, Page(s):c1 - c2
    Request permission for commercial reuse | PDF file iconPDF (1974 KB)
    Freely Available from IEEE
  • Advertisement

    Publication Year: 1985, Page(s):1 - nil2
    Request permission for commercial reuse | PDF file iconPDF (14248 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 1985, Page(s):2 - 3
    Request permission for commercial reuse | PDF file iconPDF (2133 KB)
    Freely Available from IEEE
  • Letters to the Editor

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

    Publication Year: 1985, Page(s): 6
    Request permission for commercial reuse | PDF file iconPDF (177 KB)
    Freely Available from IEEE
  • Guest Editors' Introduction Requirements Engineering Environments: Software Tools for Modeling User Needs

    Publication Year: 1985, Page(s):9 - 12
    Cited by:  Papers (3)
    Request permission for commercial reuse | PDF file iconPDF (2537 KB)
    Freely Available from IEEE
  • A taxonomy of current issues in requirements engineering

    Publication Year: 1985, Page(s):14 - 23
    Cited by:  Papers (86)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3820 KB)

    The purpose of this article is to increase awareness of several requirements specifications issues: (1) the role they play in the full system development life cycle, (2) the diversity of forms they assume, and (3) the problems we continue to face. The article concentrates on ways of expressing requirements rather than ways of generating them. A discussion of various classification criteria for exi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applications and Extensions of SADT

    Publication Year: 1985, Page(s):25 - 34
    Cited by:  Papers (94)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (10325 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SREM at the Age of Eight; The Distributed Computing Design System

    Publication Year: 1985, Page(s):36 - 46
    Cited by:  Papers (53)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (10348 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Case Study of SREM

    Publication Year: 1985, Page(s):47 - 54
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6383 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-Based Software Engineering with TAGS

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

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 7th Symposium on Computer Arithmetic

    Publication Year: 1985, Page(s): 66
    Request permission for commercial reuse | PDF file iconPDF (111 KB)
    Freely Available from IEEE
  • Embedded Computer System Requirements Workshop

    Publication Year: 1985, Page(s):67 - 70
    Cited by:  Papers (8)
    Request permission for commercial reuse | PDF file iconPDF (2564 KB)
    Freely Available from IEEE
  • Requirements-based testing of real-time systems: Modeling for testability

    Publication Year: 1985, Page(s):71 - 80
    Cited by:  Papers (15)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (8761 KB)

    Requirements validation depends largely on the techniques used for specification, so the augmented finite-state machine (FSM) model used to capture the external behavior of a real-time system is central to the environment. Therefore, this paper describes the validation techniques used and explores those aspects of the specification model that facilitate test generation and execution using the beha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ACM/IEEE 22nd Design Automation Conference

    Publication Year: 1985, Page(s): 81
    Request permission for commercial reuse | PDF file iconPDF (130 KB)
    Freely Available from IEEE
  • Knowledge Representation as the Basis for Requirements Specifications

    Publication Year: 1985, Page(s):82 - 91
    Cited by:  Papers (109)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4617 KB)

    First Page of the Article
    View full abstract»

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

    Publication Year: 1985, Page(s):94 - 96
    Request permission for commercial reuse | PDF file iconPDF (371 KB)
    Freely Available from IEEE
  • Recent Microsystem Announcements

    Publication Year: 1985, Page(s): 97
    Request permission for commercial reuse | PDF file iconPDF (172 KB)
    Freely Available from IEEE
  • Advance Program 1985 ACM Sigsmall Symposium on Small Systems ®

    Publication Year: 1985, Page(s): 98
    Request permission for commercial reuse | PDF file iconPDF (111 KB)
    Freely Available from IEEE
  • Recent IC Announcements

    Publication Year: 1985, Page(s): 99
    Request permission for commercial reuse | PDF file iconPDF (164 KB)
    Freely Available from IEEE
  • Tables of contents

    Publication Year: 1985, Page(s):100 - 101
    Request permission for commercial reuse | PDF file iconPDF (320 KB)
    Freely Available from IEEE
  • New Applications

    Publication Year: 1985, Page(s):103 - 104
    Request permission for commercial reuse | PDF file iconPDF (2361 KB)
    Freely Available from IEEE
  • Tutorial Week Spring 85

    Publication Year: 1985, Page(s):105 - 112
    Request permission for commercial reuse | PDF file iconPDF (10419 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The 12th International Symposium on Computer Architecture

    Publication Year: 1985, Page(s): 113
    Request permission for commercial reuse | PDF file iconPDF (1184 KB)
    Freely Available from IEEE
  • New products

    Publication Year: 1985, Page(s):114 - 121
    Request permission for commercial reuse | PDF file iconPDF (7251 KB)
    Freely Available from IEEE

Aims & Scope

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. 

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Sumi Helal
University of Florida
sumi.helal@gmail.com