Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
a service of 
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 2024-04-18 20:20 CEST 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:
