Software - Concepts and Tools, Volume 17

Volume 17, Number 1, March 1996

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

Volume 17, Number 2, 1996

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

Volume 17, Number 3, 1996

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

Volume 17, Number 4, 1996

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