default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDComputer Languages, Volume 27
Volume 27, Number 1/3, April/October 2001
- Sjouke Mauw
:
Introduction by the guest editor. 1-2 - Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs:
Languages for formalizing, visualizing and verifying software architectures. 3-18 - Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens:
Object-oriented modelling and specification using SHE. 19-38 - Paul Oude Luttighuis, Marc M. Lankhorst, Rob G. van de Wetering, René Bal, Harmen van den Berg:
Visualising business processes. 39-59 - Florence Maraninchi, Yann Rémond:
Argos: an automaton-based synchronous language. 61-92 - Martin Fränzle, Karsten Lüth:
Visual temporal logic as a rapid prototyping tool. 93-113 - Nikolai Mansurov:
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. 115-136
Volume 27, Number 4, December 2001
- Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
LAILA: a language for coordinating abductive reasoning among logic agents. 137-161 - Franz Puntigam:
State inference for dynamically changing interfaces. 163-202
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-11-08 20:37 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:
