By Topic

Software, IEEE

Issue 3 • Date May 1993

Filter Results

Displaying Results 1 - 11 of 11
  • Applying formal software synthesis

    Publication Year: 1993, Page(s):11 - 22
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1763 KB)

    A software synthesis method that combines elements of graphical tools, specification writing, and code construction is discussed. Practical applications of the components and efforts to integrate them into a conceptually coherent prototype environment are described. The hallmarks of the approach are the use of formal methods and a general-purpose inference engine, supported by a comprehensive, int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metatools for knowledge acquisition

    Publication Year: 1993, Page(s):23 - 29
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1254 KB)

    Four prototype metatools, Protege, Dots, Dash, and Spark, which researchers are using to experiment with the automatic generation of knowledge-acquisition tools, are discussed. Protege and Dots are stand-alone metatools; Dash and Spark are subsystems. Dash is part of Protege II, a design environment for knowledge-based systems. Spark is part of the Spark, Burn, and Firefighter framework for the de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of mathematical-modeling software

    Publication Year: 1993, Page(s):30 - 41
    Cited by:  Papers (12)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1523 KB)

    Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implemen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based software synthesis

    Publication Year: 1993, Page(s):42 - 52
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1919 KB)

    The knowledge-representation and compilation techniques used in a model-based, automatic software synthesis environment are discussed. The environment was used to build Caddmus, a system with more than 250 cooperating processes. The real-time execution environment automatically generates a macro-dataflow computation from declarative models. Central to the approach is the Multigraph Architecture, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating relational operations on data structures

    Publication Year: 1993, Page(s):53 - 60
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1000 KB)

    An approach to having compilers do most of the implementation detail work in programming that divides a program into two parts is described. The specification part describes what the program should do, but in a way that avoids commitment to implementation details. The annotation part provides implementation instructions that the compiler will carry out. Annotations affect execution efficiency, but... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Status report: software reusability

    Publication Year: 1993, Page(s):61 - 66
    Cited by:  Papers (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (645 KB)

    It is argued that the problem with software engineering is not a lack of reuse, but a lack of widespread, systematic reuse. The reuse research community is focusing on formalizing reuse because it recognizes that substantial quality and productivity payoffs will be achieved only if reuse is conducted systematically and formally. The history of reuse, which is characterized by this struggle to form... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lessons learned in building a corporate metrics program

    Publication Year: 1993, Page(s):67 - 74
    Cited by:  Papers (35)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1054 KB)

    The achievements of the Contel Technology Center's software-metrics project, which brought metrics use from concept to standard operating procedure throughout the corporation, are reviewed. Metrics and process maturity pilot projects, metrics tools, metric databases, and metric data analysis are discussed. The lessons learned from the project, which could help metrics programs in other large, dive... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The importance of static structures in software construction

    Publication Year: 1993, Page(s):75 - 87
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3325 KB)

    The static structure is the physical organization of a system's functional modules in terms of their structural relations. It is the packaging of the dynamic structure into textually self-contained modules, taking into consideration the construction strategy and how much of module's internal part should be visible to other modules. Hierarchical modular diagrams (HMD), a module-interface-oriented g... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Usability engineering in dollars and cents

    Publication Year: 1993, Page(s):88 - 89
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB)

    A cost-benefit analysis of usability engineering's contribution in two projects, obtaining both preproject estimates and postproject feedback, is presented. The first project involved replacing a business system and adding a new function. Usability engineering was completed within the seven-month development schedule. It included three iterations of usability tests that were a mixture of field and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software and privacy: revising Orwell

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB)

    It is argued that employers frequently use computers as a surveillance device and a means to monitor almost every aspect of employee performance. Employers justify such conduct by asserting that this helps ensure job safety and workplace security, reduce costs and limit liability; and increase productivity, efficiency, and product quality. Taken too far, however, surveillance can make employees ov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bootstrap: Europe's assessment method

    Publication Year: 1993, Page(s):93 - 95
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (335 KB)

    The Bootstrap software assessment method, which yields more detailed capability profiles and maturity levels than the Capability Maturity Model and gives capability profiles of organizations and projects separately, is discussed. The assessment steps, assessment algorithm, and maturity determination are described. Preliminary results from assessments conducted over two and a half years are also di... View full abstract»

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

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