Software - Concepts and Tools, Volume 16

Volume 16, Number 1, 1995

Robert P. Cook, Richard G. McDaniel: The StarLite Algorithm Animator. 1-11
Spyros Lalis, Beverly A. Sanders: From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. 12-19
J. Adrian Zimmer: Type Substitution in Compiled Code. 20-30
Rudolf K. Keller, Xijin Shen, Richard Lajoie, Marianne Ozkan, Tao Tao: Environment Support for Business Reengineering: The Macrotec Approach. 31-40
Chung-Kwong Yuen, Ming-Dong Feng: Iterative Computation and Speculative Processing. 41-

Régis Crelier: Extending Module Interfaces without Invalidating Clients. 49-62
Simon Moser: Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction. 63-80
Dennis M. Volpano: Type Checking Coherent Overloading. 81-85
Michael Franz: Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. 86-94

Chung-Kwong Yuen, Ming-Dong Feng: BaLinda Plus: Adding Objects to Parallel Languages. 95-105
Christopher D. Turner, David J. Robson: A State-Based Approach to the Testing of Class-Based Programs. 106-112
Ruth Breu, Michael Breu: A Methodology of Inheritance. 113-123
Craig Gaskell, Roger Phillips: Software Architecture of the Executable Graphical Specification Tool EGS1. 124-135
Wolfgang Pree, Gustav Pomberger, Albert Schappert, Peter Sommerlad: Active Guidance of Framework Development. 136-

Paul McCartney, Kenneth J. Goldman, David E. Saff: EUPHORIA: End-User Construction of Direct Manipulation User Interfaces for Distributed Applications. 147-159
Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari: Type Inference for Turbo Pascal. 160-169
Alberto O. Mendelzon, Johannes Sametinger: Reverse Engineering by Visualizing and Querying. 170-182
Andrew M. Gravell, Chris H. Pratten: Formal Methods and Open Systems. 183-

Last update Sat May 18 20:54:31 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page