June 1995 - SOFTWARE DESIGN


FEATURES

CONSTRUCTING OPERATIONAL SPECIFICATIONS

by Mark Coats and Terry Mellon

Complementing existing methodologies, Mark and Terry propose an operational specification that can be translated into most existing system-development methodologies.

A PRACTICAL STRATEGY FOR OBJECT-ORIENTED DESIGN

by Kanchan Kumar

The methodology Kanchan presents here consists of a language-independent abstraction model and a rule-based implementation model for C++ programmers.

INTERACTIVE DESIGN METHODOLOGY

by Phil Herold and Carla Merill

Helplus is a client-server hypertext help application modeled on the Microsoft Windows help system. Here, our authors describe the help compiler, help viewer, and server program.

EVENT-DRIVEN THREADS IN C++

by Dan Ford

Dan presents a powerful, multithreaded architecture that can be used by almost any application. Implemented in C++, this class library lets you quickly create and control threads.

THREAD PROGRAMMING IN UNIXWARE 2.0

by John Rodley

With the advent of UnixWare 2.0, threads have made their way to the UNIX desktop. John describes how threads are implemented and how you can take advantage of them.

EMBEDDED SYSTEMS

VISUALLY DESIGNING EMBEDDED-SYSTEMS APPLICATIONS

by Doron Drusinsky

Doron describes how design tools that incorporate object-oriented inheritance and extended state diagrams (the visual counterpart of finite state machines) can be used to build control systems.

NETWORKED SYSTEMS

CODING WITH HTML FORMS

by Andrew Davison

HTML forms--which allow World Wide Web documents to include text-entry fields, radio boxes, selection lists, check boxes, and buttons--transform HTML from a hypertext page-description language into a tool for creating interactive documents. Andrew details the steps in writing forms-based applications.

EXAMINING ROOM

COMPARING CASE TOOLS

by Jeffrey L. Armbruster

To examine CASE tools such as Paradigm Plus 2.0, Select OMT, and Together C++, Jeffrey designs an application that collects pricing information in grocery stores.

PROGRAMMER'S WORKBENCH

FLEXIBLE TESTING SYSTEMS

by Herb Isenberg

Today's application-development environments demand testing systems that can quickly adapt to new situations. Herb presents an automated, flexible testing system built around AutoTester, an off-the-shelf automated testing and verification tool that runs on a variety of platforms.

COLUMNS

PROGRAMMING PARADIGMS

by Michael Swaine

Douglas Hofstadter's recently published Fluid Concepts and Creative Analogies may change the direction of AI research.

C PROGRAMMING

by Al Stevens

Al continues his discussion of IMail, a C++ communications program for sending and receiving electronic mail through a modem connected to an Internet site.

ALGORITHM ALLEY

edited by Bruce Schneier

Sound is surprisingly difficult to compress. It is much more subtle than video compression and less obvious than text. Kyle York examines lossy-compression techniques that have been optimized for sound.

PROGRAMMER'S BOOKSHELF

by Reginald B. Charney

Software Development with Z, by J.B. Wordsworth, uses the Z specification language to examine formal methods of software development.

FORUM

EDITORIAL

by Jonathan Erickson

LETTERS

by you

SWAINE'S FLAMES

by Michael Swaine

PROGRAMMER'S SERVICES

OF INTEREST

by Monica E. Berg


Copyright © 1995, Dr. Dobb's Journal