By Topic

IEEE Software

Issue 2 • Date March 1985

Filter Results

Displaying Results 1 - 25 of 39
  • IEEE Software

    Publication Year: 1985, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (1222 KB)
    Freely Available from IEEE
  • Vision in Real Time [advertisement]

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

    Publication Year: 1985, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (628 KB)
    Freely Available from IEEE
  • The Future of Artificial Intelligence is Just Waiting to be Discovered

    Publication Year: 1985, Page(s): 2
    Request permission for commercial reuse | PDF file iconPDF (1244 KB)
    Freely Available from IEEE
  • Where else can you go to Bounce Ideas off a Giant? [advertisement]

    Publication Year: 1985, Page(s): 3
    Request permission for commercial reuse | PDF file iconPDF (272 KB)
    Freely Available from IEEE
  • Thinking, Reasoning Machines ... and the Technology that makes them Work!

    Publication Year: 1985, Page(s): 4
    Request permission for commercial reuse | PDF file iconPDF (778 KB)
    Freely Available from IEEE
  • Information about the Society

    Publication Year: 1985, Page(s): 5
    Request permission for commercial reuse | PDF file iconPDF (214 KB)
    Freely Available from IEEE
  • Guest Editors' Introduction Ada Environments and Tools

    Publication Year: 1985, Page(s):6 - 7
    Request permission for commercial reuse | PDF file iconPDF (2593 KB)
    Freely Available from IEEE
  • Excellence & Innovation Through Teamwork [advertisement]

    Publication Year: 1985, Page(s): 8
    Request permission for commercial reuse | PDF file iconPDF (158 KB)
    Freely Available from IEEE
  • An Overview of Anna, a Specification Language for Ada

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

    The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering Institute [advertisement]

    Publication Year: 1985, Page(s): 23
    Request permission for commercial reuse | PDF file iconPDF (130 KB)
    Freely Available from IEEE
  • A Methodology for the Design of Ada Transformation Tools in a DIANA Environment

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

    Implementing and testing transformations incrementally makes DIANA-based Ada software tools easier to debug and more efficient. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • THE 4th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (JCIT)

    Publication Year: 1985, Page(s): 33
    Request permission for commercial reuse | PDF file iconPDF (1366 KB)
    Freely Available from IEEE
  • Ada Tasking: From semantics to Efficient Implementation

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

    Tasking is one of the strengths of Ada, and, contrary to some opinion, can be implemented for a single shared processor by simple, straightforward, and efficient algorithms. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems Software Development [advertisement]

    Publication Year: 1985, Page(s): 46
    Request permission for commercial reuse | PDF file iconPDF (1283 KB)
    Freely Available from IEEE
  • Debugging Ada Tasking Programs

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

    Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors. Powerful task debuggers for Ada can be constructed by extending existing tools that detect deadlock. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ada-Based support for programming-in-the-Large

    Publication Year: 1985, Page(s):58 - 71
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (7732 KB)

    Specialized language features and an integrated set of tools can help developers of a large software system describe, analyze, organize, and manage its many modules. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1985 SIG Ada International Conference

    Publication Year: 1985, Page(s): 72
    Request permission for commercial reuse | PDF file iconPDF (193 KB)
    Freely Available from IEEE
  • Think Pad: A Graphical system for Program-ming bY Demonstration

    Publication Year: 1985, Page(s):73 - 79
    Cited by:  Papers (18)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4947 KB)

    Specifying complex programs may become easier if the programming system allows the programmer to manipulate data structures graphically. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer Professionals [advertisement]

    Publication Year: 1985, Page(s): 79
    Request permission for commercial reuse | PDF file iconPDF (1382 KB)
    Freely Available from IEEE
  • Comparison of Structural Test Coverage Metrics

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

    Empirically comparing structural test coverage metrics reveals that test sets that satisfy one metric are likely to satisfy metric as we. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Total Control: [advertisement]

    Publication Year: 1985, Page(s): 85
    Request permission for commercial reuse | PDF file iconPDF (1487 KB)
    Freely Available from IEEE
  • Software Standards

    Publication Year: 1985, Page(s):86 - 88
    Request permission for commercial reuse | PDF file iconPDF (2094 KB)
    Freely Available from IEEE
  • Proceedings: Trends and Application [advertisement]

    Publication Year: 1985, Page(s): 88
    Request permission for commercial reuse | PDF file iconPDF (254 KB)
    Freely Available from IEEE
  • Software Reviews

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

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org