Software - Concepts and Tools, Volume 17

Volume 17, Number 1, March 1996

• Robert P. Cook, Krishnan Pillaipakkamnatt: An Introduction to Opaque Types. 1-5 BibTeX
• Niklaus Wirth: Tasks versus Threads: An Alternative Multiprocessing Paradigm. 6-12 BibTeX
• Bernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. 13-25 BibTeX
• Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. 26-39 BibTeX
• Pavol Návrat, Mária Bieliková: Knowledge-Controlled Version Selection in Software Configuration Management. 40- BibTeX

Volume 17, Number 2, 1996

• Tiziana Margaria, Bernhard Steffen: Foreword. 49 BibTeX
• Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen: Modeling and Verifying Distributed Systems Using Priorities: A Case Study. 50-62 BibTeX
• Gerard J. Holzmann: Early Fault Detection Tools. 63-69 BibTeX
• Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. 70-77 BibTeX
• Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. 78- BibTeX

Volume 17, Number 3, 1996

• Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. 93-102 BibTeX
• Jan Tretmans: Test Generation with Inputs, Outputs and Repetitive Quiescence. 103-120 BibTeX
• Jan Bredereke: Detection of Feature Interactions in Intelligent Networks by Verification. 121-139 BibTeX

Volume 17, Number 4, 1996

• Robert P. Cook: The Type Extensible Architecture of a Simple Database System. 141-147 BibTeX
• Anna Ciampolini, Evelina Lamma, Paola Mello: An Optimized Implementation of a Dynamic Modular Logic Language. 148-162 BibTeX
• Ernst-Erich Doberkat: A Language for Specifying Hyperdocuments. 163-172 BibTeX
• Christian Stary: Integrating Workflow Representations into User Interaface Design Representations. 173- BibTeX