default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - Concepts and Tools, Volume 17
Volume 17, Number 1, March 1996
- Robert P. Cook, Krishnan Pillaipakkamnatt:
An Introduction to Opaque Types. Softw. Concepts Tools 17(1): 1-5 (1996) - Niklaus Wirth:
Tasks versus Threads: An Alternative Multiprocessing Paradigm. Softw. Concepts Tools 17(1): 6-12 (1996) - Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools 17(1): 13-25 (1996) - Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. Softw. Concepts Tools 17(1): 26-39 (1996) - Pavol Návrat, Mária Bieliková:
Knowledge-Controlled Version Selection in Software Configuration Management. Softw. Concepts Tools 17(1): 40- (1996)
Volume 17, Number 2, 1996
- Tiziana Margaria, Bernhard Steffen:
Foreword. Softw. Concepts Tools 17(2): 49 (1996) - Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen:
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17(2): 50-62 (1996) - Gerard J. Holzmann:
Early Fault Detection Tools. Softw. Concepts Tools 17(2): 63-69 (1996) - Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyzer for Message Sequence Charts. Softw. Concepts Tools 17(2): 70-77 (1996) - Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools 17(2): 78- (1996)
Volume 17, Number 3, 1996
- Gavin Lowe:
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Softw. Concepts Tools 17(3): 93-102 (1996) - Jan Tretmans:
Test Generation with Inputs, Outputs and Repetitive Quiescence. Softw. Concepts Tools 17(3): 103-120 (1996) - Jan Bredereke:
Detection of Feature Interactions in Intelligent Networks by Verification. Softw. Concepts Tools 17(3): 121-139 (1996)
Volume 17, Number 4, 1996
- Robert P. Cook:
The Type Extensible Architecture of a Simple Database System. Softw. Concepts Tools 17(4): 141-147 (1996) - Anna Ciampolini, Evelina Lamma, Paola Mello:
An Optimized Implementation of a Dynamic Modular Logic Language. Softw. Concepts Tools 17(4): 148-162 (1996) - Ernst-Erich Doberkat:
A Language for Specifying Hyperdocuments. Softw. Concepts Tools 17(4): 163-172 (1996) - Christian Stary:
Integrating Workflow Representations into User Interaface Design Representations. Softw. Concepts Tools 17(4): 173- (1996)
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-11-23 19:42 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:
