default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Software, Volume 2, 1985
Volume 2, Number 1, January 1985
- Bertrand Meyer:
On Formalism in Specifications. 6-26 - Marc H. Brown, Robert Sedgewick:
Techniques for Algorithm Animation. 28-39 - Ellis Horowitz, Alfons Kemper, Balaji Narasimhan:
A Survey of Application Generators. 40-54 - John D. Musa:
Software Engineering: The Future of a Profession. 55-62 - Alexander Borgida:
Features of Languages for the Development of Information Systems at the Conceptual Level. 63-72 - Timothy E. Lindquist:
Assessing the Usability of Human-Computer Interfaces. 74-82
Volume 2, Number 2, March 1985
- Joseph E. Urban, David A. Fisher:
Guest Editors' Introduction Ada Environments and Tools. 6-7 - David C. Luckham, Friedrich W. von Henke:
An Overview of Anna, a Specification Language for Ada. 9-22 - David S. Rosenblum:
A Methodology for the Design of Ada Transformation Tools in a DIANA Environment. 24-33 - Theodore P. Baker, Gregory A. Riccardi:
Ada Tasking: From semantics to Efficient Implementation. 34-46 - David Heimbold, David C. Luckham:
Debugging Ada Tasking Programs. 47-57 - Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
Ada-Based support for programming-in-the-Large. 58-71 - Robert V. Rubin, Eric J. Golin, Steven P. Reiss:
Think Pad: A Graphical system for Program-ming bY Demonstration. 73-79 - Mark D. Weiser, John D. Gannon, Paul R. McMullin:
Comparison of Structural Test Coverage Metrics. 80-85
Volume 2, Number 3, May 1985
- Stephen F. Lundstrom, Duncan H. Lawrie:
Guest Editor's Introduction Experiences with Distributed Systems. 5-6 - Neil D. Gammage, Liam M. Casey:
XMS: A Rendezvous-Based Distributed System Software Architecture. 9-19 - Marek Fridrich, William J. Older:
Helix: The Architecture of the XMS Distributed File system. 21-29 - Eric J. Berglund, David R. Cheriton:
Amaze: A Multiplayer Computer Game. 30-39 - Thomas J. LeBlanc, Robert P. Cook:
High-Level Broadcast Communication for Local Area Networks. 40-48 - Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein:
Multicast Communication on Network Computers. 49-61 - Mark C. Paulk
:
The ARC Network: A Case StudY. 62-69 - Robert J. Douglass:
Special Feature A Qualitative Assessment of Parallelism in Expert Systems. 70-81 - Sanjai Narain:
Special Feature Mycin: Implementing the Expert System in Loglisp. 83-88
Volume 2, Number 4, July 1985
- Joanne L. Martin:
Guest Editor's Introduction Operating Systems and Environments for Large-Scale Parallel Processors. 4-5 - Terrence W. Pratt:
Pisces: An Environment for Parallel Scientific Computation. 7-20 - John R. Allen, Ken Kennedy:
A Parallel Programming Environment. 21-29 - Perry A. Emrath:
Xylem: An Operating System for the Cedar Multiprocessor. 30-37 - Robert Olson:
Parallel Processing in a Message-Based operating System. 39-49 - Creve Maples:
Analyzing Software Performance in a Multiprocessor Environment. 50-63 - Joanne L. Martin:
Special Section International Parallel Processing Projects: A Software Perspective. 65-80 - Robert L. Glass:
Special Feature: Software Theft. 82-85
Volume 2, Number 5, September 1985
- William E. Howden:
The Theory and Practice of Foundation Testing. 6-17 - Nathan H. Petschenik:
Practical Priorities in System Testing. 18-23 - John V. Guttag, James J. Horning, Jeannette M. Wing:
The Larch Family of Specification Languages. 24-36 - Gideon Frieder, Gabor T. Herman, Craig Meyer, Jayaram K. Udupa:
Large Software Problems for Small Computers: An Example from Medical Imaging. 37-47 - Michael C. Gemignani:
Who Owns What Sofware Produces? 48-52 - Ruth E. Davis:
Logic Programming and Prolog: A Tutorial. 53-62
Volume 2, Number 6, November 1985
- Mario Barbacci, A. Nico Habermann:
The Engineering Institute: Bridging Practice and Potential. 4-21 - Zary Segall, Larry Rudolph:
PIE: A Programming and Instrumentation Environment for Parallel Processing. 22-37 - Nick Cercone, John Boates, Max Krause:
An Interactive System for Finding Perfect Hash Functions. 38-53 - Ware Myers:
MCC: Planning the Revolution in Software. 68-73
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-12-05 22:24 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:
