Journal: IEEE Software

Volume 3, Issue 6

4 -- 6Robert P. Cook. Guest Editor's Introduction Modula-2 Experiments Will Help Future Language Designs
7 -- 17Nazim H. Madhavji, Luc Pinsonneault, Kamel Toubache. Modula-2/MUPE-2: Language and Environment Interactions
18 -- 26Edoardo S. Biagioni, Klaus Hinrichs, Gernot Heiser, Carlo Muller. A Portable Operating System Interface and Utility Library
29 -- 38Jürg Gutknecht. Separate Compilation in Modula-2: An Approach to Efficient Symbol Files
39 -- 45Carlo Muller. Modula-Prolog: A Software Development
46 -- 57Paul Rovner. Extending Modula-2 to Build Large, Integrated Systems
58 -- 66Harlan D. Mills. Structured Programming: Retrospect and Prospect

Volume 3, Issue 5

6 -- 7A. Reilly. The Geometric Brilliance of Chartres
9 -- 14Jason Gait. Pretty Pane Tiling of Pretty Windows
15 -- 24Narain Gehani. Tutorial: Unix Document Formatting and Typesetting
25 -- 33Devendra Kumar. A Novel Approach to Sequential Simulation
34 -- 41Paul A. Suhler, Nader Bagherzadeh, Miroslav Malek, Neil Iscoe. Software Authorization Systems
42 -- 51Theodore P. Baker, Gregory A. Riccardi. Implementing Ada Exceptions

Volume 3, Issue 4

4 -- 5Subrata Dasgupta, Robert A. Mueller. Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology
6 -- 16Robert I. Winner, Edward M. Carter. Automated Vertical Migration to Dynamic Microcode: An Overview and Example
18 -- 26Scott Davidson. Progress im High-Level Microprogramming
27 -- 37Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt. The AADL/S* Approach to Firmware Design Verification
38 -- 48Robert A. Mueller, Michael R. Duda. Formal Methods of Microcode Verification and Synthesis
49 -- 58Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen. Axiomatic Specifications in Firmware Development Systems
59 -- 68Steven R. Vegdahl. Microcode Optimization: Examples and Approaches
70 -- 75Tarek K. Abdel-Hamid, Stuart E. Madnick. Special Feature: Impact of Schedule Estimation on Software Project Behavior

Volume 3, Issue 3

4 -- 5Robert S. Arnold, Roger J. Martin. Software Maintenance Guest Editors' Introduction
7 -- 15Ben Shneiderman, Philip Shafer, Roland Simon, Linda J. Weldon. Display Strategies for Program Browsing: Concepts and Experiment
16 -- 24Robert N. Britcher, James J. Craig. Using Modem Design Practices to Upgrade Aging Software Systems
27 -- 39Guillermo Arango, Ira D. Baxter, Peter Freeman, Christopher W. Pidgeon. TMM: Software Maintenance by Transformation
41 -- 49Stanley Letovsky, Elliot Soloway. Delocalized Plans and Program Comprehension
50 -- 58Theodore P. Baker, Gregory M. Scallon. Special Feature: An Architecture for Real-Time Software Systems
60 -- 70Karsten Schwan, Anita K. Jones. Special Feature: Specifying Resource Allocaton for the Cm* Multiprocessor
71 -- 73John A. Lehman. Special Feature: Program Desin and Rhetoric

Volume 3, Issue 2

3 -- 5Duvvuru Sriram, Michael D. Rychener. Guest Editors' Introduction Expert Systems for Engineering Applications
6 -- 15Timothy F. Thompson, William J. Clancey. A Qualitative Modeling Shell for Process Diagnosis
16 -- 24M. Lattimer Wright, Milton W. Green, Gudrun Fiegl, Perry F. Cross. An Expert System for Real-Time Control
26 -- 37Y. V. Ramana Reddy, Mark S. Fox, Nizwer Husain, Malcolm McRoberts. The Kowledge-Based Simulation System
38 -- 47Jin Kim, John P. McDermott. Computer Aids for IC Design
48 -- 60Duvvuru Sriram, Michael D. Rychener. Knowledge-Based Engineering Systems Research in Progress
61 -- 69Steven P. Wartik, Maria H. Penedo. Special Feature: Fillin: A Reusable Tool for Form-Oriented Software

Volume 3, Issue 1

6 -- 9Brent Hailpern. Multiparadigm Languages and Environments - Guest Editor s Introduction
10 -- 18Mark Stefik, Daniel G. Bobrow, Kenneth M. Kahn. Integrating Access-Oriented Programming into a Multiparadigm Environment
19 -- 28Henry F. Korth. Extending the Scope of Relational Languages
29 -- 35Antony A. Faustini, Edgar B. Lewis. Toward a Real-Time Dataflow Language
36 -- 45Hai-Chen Tu, Alan J. Perlis. FAC: A Functional APL Language
46 -- 55Michael A. Jenkins, Janice I. Glasgow, Carl McCrosky. Programming Styles in Nial
56 -- 69Robert Paige. Programming with Invariants
70 -- 71Roger B. Dannenberg, Dean Rubine. Arctic: A Functional Language for Real-Time Control
70 -- 0Brent Hailpern. Multiparadigm Research: A Survey of Nine Projects (Introduction)
71 -- 72Bjarne Stroustrup. C++ Programming Language
72 -- 73Yves Caseau. An Overview of Lore
72 -- 0Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack. CaseDE Design Environment Centers on Specifications
73 -- 74Mario Tokoro, Yutaka Ishikawa. Orient84/K: A Language with Multiple Paradigms in the Object Framework
74 -- 0Mark Laff, Brent Hailpern. SW2: A Multiparadigm Shell for CMS
75 -- 76Yonathan Malachi, Zohar Manna, Richard J. Waldinger. Tablog: Functional and Relational Programming in One Framework
76 -- 77Cyrus F. Nourani. Efficient Realization of Algebraic Specifications in Prolog
77 -- 0Gary Lindstrom. Integrating Functional and Logic Programming