- Antonio Corradi, Letizia Leonardi, Franco Zambonelli:
An Object-Oriented Approach to Structured Parallel Programming. Softw. Concepts Tools 18(3): 110-124 (1997) - Xavier Crégut, Bernard Coulette:
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Softw. Concepts Tools 18(2): 47-62 (1997) - Guido Deinhammer:
A New Adaptive Coding Scheme and its Application to LZ-Based Data Compression. Softw. Concepts Tools 18(4): 157-168 (1997) - Michael Franz:
The Programming Language Lagoona - A Fresh Look at Object-Orientation. Softw. Concepts Tools 18(1): 14-26 (1997) - Gerhard Goos:
Sather-K - The Language. Softw. Concepts Tools 18(3): 91-109 (1997) - Fran Hrebabetzky:
Closed-Loop Control with Oberon. Softw. Concepts Tools 18(2): 73-79 (1997) - Jürgen Lampe:
Statistics about Modules of the Oberon System. Softw. Concepts Tools 18(1): 27-34 (1997) - Paul McCartney:
A Usability Study of End-User Construction of Distributed Multimedia Applications. Softw. Concepts Tools 18(2): 63-72 (1997) - Wolfgang Pree:
Component-Based Software Development - A New Paradigm in Software Engineering? Softw. Concepts Tools 18(4): 169-174 (1997) - Ralf Salomon:
Improving the Preformance of Genetic Algorithms through Derandomization. Softw. Concepts Tools 18(4): 175- (1997) - Jinyun Xue, Ruth Davis:
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Softw. Concepts Tools 18(4): 149-156 (1997) - 1996
- Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyzer for Message Sequence Charts. Softw. Concepts Tools 17(2): 70-77 (1996) - Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. Softw. Concepts Tools 17(1): 26-39 (1996) - Jan Bredereke:
Detection of Feature Interactions in Intelligent Networks by Verification. Softw. Concepts Tools 17(3): 121-139 (1996) - Anna Ciampolini, Evelina Lamma, Paola Mello:
An Optimized Implementation of a Dynamic Modular Logic Language. Softw. Concepts Tools 17(4): 148-162 (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) - Robert P. Cook:
The Type Extensible Architecture of a Simple Database System. Softw. Concepts Tools 17(4): 141-147 (1996) - Robert P. Cook, Krishnan Pillaipakkamnatt:
An Introduction to Opaque Types. Softw. Concepts Tools 17(1): 1-5 (1996) - Ernst-Erich Doberkat:
A Language for Specifying Hyperdocuments. Softw. Concepts Tools 17(4): 163-172 (1996) - Gerard J. Holzmann:
Early Fault Detection Tools. Softw. Concepts Tools 17(2): 63-69 (1996) - Gavin Lowe:
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Softw. Concepts Tools 17(3): 93-102 (1996) - Tiziana Margaria, Bernhard Steffen:
Foreword. Softw. Concepts Tools 17(2): 49 (1996) - Pavol Návrat, Mária Bieliková:
Knowledge-Controlled Version Selection in Software Configuration Management. Softw. Concepts Tools 17(1): 40- (1996) - Christian Stary:
Integrating Workflow Representations into User Interaface Design Representations. Softw. Concepts Tools 17(4): 173- (1996) - Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools 17(1): 13-25 (1996) - Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools 17(2): 78- (1996) - Jan Tretmans:
Test Generation with Inputs, Outputs and Repetitive Quiescence. Softw. Concepts Tools 17(3): 103-120 (1996) - Niklaus Wirth:
Tasks versus Threads: An Alternative Multiprocessing Paradigm. Softw. Concepts Tools 17(1): 6-12 (1996) - 1995
- Ruth Breu, Michael Breu:
A Methodology of Inheritance. Softw. Concepts Tools 16(3): 113-123 (1995) - Robert P. Cook, Richard G. McDaniel:
The StarLite Algorithm Animator. Softw. Concepts Tools 16(1): 1-11 (1995)
