Software - Concepts and Tools, Volume 16

Volume 16, Number 1, 1995

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

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

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

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