default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Software, Volume 1, 1984
Volume 1, Number 1, January 1984
- Butler W. Lampson:
Hints for Computer System Design. 11-28 - Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith:
Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. 31-49 - Brad J. Cox:
Message/Object Programming: An Evolutionary Change in Programming Technology. 50-61 - Gio Wiederhold:
Knowledge and Database Management. 63-73 - Barry W. Boehm:
Verifying and Validating Software Requirements and Design Specifications. 75-88
Volume 1, Number 2, April 1984
- C. A. R. Hoare:
Programming: Sorcery or Science? 5-16 - David R. Cheriton:
The V Kernel: A Software Base for Distributed Systems. 19-42 - Warren Teitelman:
A Tour Through Cedar. 44-73 - Howard Anawalt, Richard L. Bernacchi, John R. Eastling, Marshall H. Phelps, Richard Stern, Daniel W. Vittum Jr.:
Protection of Computer Ideawork - Today and Tomorrow. 74-82 - Dana E. Miles:
Copyrighting Computer Software After Apple v. Franklin. 84-87
Volume 1, Number 3, July 1984
- Peter Wegner:
Capital-Intensive Software Technology. 7-10 - Edward M. Prell, Alan P. Sheng:
Building Quality and Productivity into a Large Software System. 47-54 - Harry M. Sneed:
Software Renewal: A case Study. 56-63 - Krithi Ramamritham, John A. Stankovic:
Dynamic Task Scheduling in Hard Real-Time Distributed systems. 65-75 - Ronald Curtis, Larry D. Wittie:
Global Naming in Distributed Systems. 76-80 - Ted G. Lewis:
"On selecting an Implementation Language: C or Pascal?" Draws Comments. 82
Volume 1, Number 4, October 1984
- Ted G. Lewis:
Comment on "Capital-intensive Software Technology". 7 - Peter Wegner:
Author's Reply. 7-8 - Mary Shaw:
Abstraction Techniques in Modern Programming Languages. 10-26 - Tracy Larrabee, Chad L. Mitchell:
Gambit: A Prototyping Approach to Video Game Design. 28-36 - Jeffrey Scott Vitter
:
US&R: A New Framework for Redoing. 39-52 - Ted G. Lewis, Keith R. Spitz, Paul E. McKenney:
An Interleave Principle for Demonstrating concurrent Programs. 54-64 - Philippe Kruchten, Edmond Schonberg, Jacob Schwart:
Software Prototyping using the SETL Programming Language. 66-75 - Rodney Farrow:
Generating a Production compiler from an Attribute Grammar. 77-93
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-04 22:09 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:
