Science of Computer Programming, Volume 42

Volume 42, Number 1, January 2002

• Luqi, Manfred Broy: Software engineering beyond our planning horizon: automation for computer-based systems. 1-10
• Daniel M. Berry: Formal methods: the very idea - Some thoughts about why they work when they work. 11-27
• David Robertson: Pitfalls of formality in early system design. 29-38
• Rance Cleaveland, Steve Sims: Generic tools for verifying concurrent systems. 39-47
• Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. 49-60
• Valdis Berzins: Lightweight inference for automation efficiency. 61-74
• Wolfgang Polak: Formal methods in practice. 75-85
• Michael Gelfond, Richard Watson: On methodology of representing knowledge in dynamic domains. 87-99
• Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. 101-113
• Daniel E. Cooke, Vladik Kreinovich: Automatic concurrency in SequenceL. 115-128

Volume 42, Numbers 2-3, February 2002

• Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn: Component-based software architectures: a framework based on inheritance of behavior. 129-171
• Loe M. G. Feijs, Yuechen Qian: Component algebra. 173-228
• Paolo Tonella, Alessandra Potrich: Cjj: a subset of C++ compliant with Java. 229-271