default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Software, Volume 3, 1986
Volume 3, Number 1, January 1986
- Brent Hailpern:
Multiparadigm Languages and Environments - Guest Editor's Introduction. 6-9 - Mark Stefik, Daniel G. Bobrow, Kenneth M. Kahn:
Integrating Access-Oriented Programming into a Multiparadigm Environment. 10-18 - Henry F. Korth:
Extending the Scope of Relational Languages. 19-28 - Antony A. Faustini, Edgar B. Lewis:
Toward a Real-Time Dataflow Language. 29-35 - Hai-Chen Tu, Alan J. Perlis:
FAC: A Functional APL Language. 36-45 - Michael A. Jenkins, Janice I. Glasgow, Carl McCrosky:
Programming Styles in Nial. 46-55 - Robert Paige:
Programming with Invariants. 56-69
- Brent Hailpern:
Multiparadigm Research: A Survey of Nine Projects (Introduction). 70 - Roger B. Dannenberg, Dean Rubine:
Arctic: A Functional Language for Real-Time Control. IEEE Softw. 3(1): 70-71 (1986) - Bjarne Stroustrup:
C++ Programming Language. IEEE Softw. 3(1): 71-72 (1986) - Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack:
CaseDE Design Environment Centers on Specifications. IEEE Softw. 3(1): 72 (1986) - Yves Caseau:
An Overview of Lore. IEEE Softw. 3(1): 72-73 (1986) - Mario Tokoro, Yutaka Ishikawa:
Orient84/K: A Language with Multiple Paradigms in the Object Framework. IEEE Softw. 3(1): 73-74 (1986) - Mark Laff, Brent Hailpern:
SW2: A Multiparadigm Shell for CMS. IEEE Softw. 3(1): 74 (1986) - Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
Tablog: Functional and Relational Programming in One Framework. IEEE Softw. 3(1): 75-76 (1986) - Cyrus F. Nourani:
Efficient Realization of Algebraic Specifications in Prolog. IEEE Softw. 3(1): 76-77 (1986) - Gary Lindstrom:
Integrating Functional and Logic Programming. IEEE Softw. 3(1): 77 (1986)
Volume 3, Number 2, March 1986
- Duvvuru Sriram, Michael D. Rychener:
Guest Editors' Introduction Expert Systems for Engineering Applications. 3-5 - Timothy F. Thompson, William J. Clancey:
A Qualitative Modeling Shell for Process Diagnosis. 6-15 - M. Lattimer Wright, Milton W. Green, Gudrun Fiegl, Perry F. Cross:
An Expert System for Real-Time Control. 16-24 - Y. V. Ramana Reddy, Mark S. Fox, Nizwer Husain, Malcolm McRoberts:
The Kowledge-Based Simulation System. 26-37 - Jin Kim, John P. McDermott:
Computer Aids for IC Design. 38-47 - Duvvuru Sriram, Michael D. Rychener:
Knowledge-Based Engineering Systems Research in Progress. 48-60 - Steven P. Wartik, Maria H. Penedo:
Special Feature: Fillin: A Reusable Tool for Form-Oriented Software. 61-69
Volume 3, Number 3, May 1986
- Robert S. Arnold, Roger J. Martin:
Software Maintenance Guest Editors' Introduction. 4-5 - Ben Shneiderman, Philip Shafer, Roland Simon, Linda J. Weldon:
Display Strategies for Program Browsing: Concepts and Experiment. 7-15 - Robert N. Britcher, James J. Craig:
Using Modem Design Practices to Upgrade Aging Software Systems. 16-24 - Guillermo Arango, Ira D. Baxter, Peter Freeman, Christopher W. Pidgeon:
TMM: Software Maintenance by Transformation. 27-39 - Stanley Letovsky, Elliot Soloway:
Delocalized Plans and Program Comprehension. 41-49 - Theodore P. Baker, Gregory M. Scallon:
Special Feature: An Architecture for Real-Time Software Systems. 50-58 - Karsten Schwan, Anita K. Jones:
Special Feature: Specifying Resource Allocaton for the Cm* Multiprocessor. 60-70 - John A. Lehman:
Special Feature: Program Desin and Rhetoric. 71-73
Volume 3, Number 4, July 1986
- Subrata Dasgupta, Robert A. Mueller:
Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology. 4-5 - Robert I. Winner, Edward M. Carter:
Automated Vertical Migration to Dynamic Microcode: An Overview and Example. 6-16 - Scott Davidson:
Progress im High-Level Microprogramming. 18-26 - Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt:
The AADL/S* Approach to Firmware Design Verification. 27-37 - Robert A. Mueller, Michael R. Duda:
Formal Methods of Microcode Verification and Synthesis. 38-48 - Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen:
Axiomatic Specifications in Firmware Development Systems. 49-58 - Steven R. Vegdahl:
Microcode Optimization: Examples and Approaches. 59-68 - Tarek K. Abdel-Hamid, Stuart E. Madnick:
Special Feature: Impact of Schedule Estimation on Software Project Behavior. 70-75
Volume 3, Number 5, September 1986
- Angela Reilly:
The Geometric Brilliance of Chartres. 6-7 - Jason Gait:
Pretty Pane Tiling of Pretty Windows. 9-14 - Narain Gehani:
Tutorial: Unix Document Formatting and Typesetting. 15-24 - Devendra Kumar:
A Novel Approach to Sequential Simulation. 25-33 - Paul A. Suhler, Nader Bagherzadeh, Miroslav Malek, Neil Iscoe:
Software Authorization Systems. 34-41 - Theodore P. Baker, Gregory A. Riccardi:
Implementing Ada Exceptions. 42-51
Volume 3, Number 6, November 1986
- Robert P. Cook:
Guest Editor's Introduction Modula-2 Experiments Will Help Future Language Designs. 4-6 - Nazim H. Madhavji, Luc Pinsonneault, Kamel Toubache:
Modula-2/MUPE-2: Language and Environment Interactions. 7-17 - Edoardo S. Biagioni, Klaus H. Hinrichs, Gernot Heiser, Carlo Muller:
A Portable Operating System Interface and Utility Library. 18-26 - Jürg Gutknecht:
Separate Compilation in Modula-2: An Approach to Efficient Symbol Files. 29-38 - Carlo Muller:
Modula-Prolog: A Software Development. 39-45 - Paul Rovner:
Extending Modula-2 to Build Large, Integrated Systems. 46-57 - Harlan D. Mills:
Structured Programming: Retrospect and Prospect. 58-66
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
