Computer Languages
Latest Publications

TOTAL DOCUMENTS

641
(FIVE YEARS 0)

H-INDEX

19
(FIVE YEARS 0)

Published By Elsevier

0096-0551
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LAILA: a language for coordinating abductive reasoning among logic agents

2001 ◽  
Vol 27 (4) ◽  
pp. 137-161 ◽  
Author(s):  
Anna Ciampolini ◽  
Evelina Lamma ◽  
Paola Mello ◽  
Paolo Torroni
Keyword(s):  
Abductive Reasoning

Index to Volume 27, 2001

2001 ◽  
Vol 27 (4) ◽  
pp. I-V ◽  

State inference for dynamically changing interfaces

2001 ◽  
Vol 27 (4) ◽  
pp. 163-202 ◽  
Author(s):  
Franz Puntigam
Keyword(s):  
State Inference

Visual temporal logic as a rapid prototyping tool

2001 ◽  
Vol 27 (1-3) ◽  
pp. 93-113 ◽  
Author(s):  
Martin Fränzle ◽  
Karsten Lüth
Keyword(s):  
Rapid Prototyping ◽  
Temporal Logic

Visualising business processes

2001 ◽  
Vol 27 (1-3) ◽  
pp. 39-59 ◽  
Author(s):  
Paul Oude Luttighuis ◽  
Marc Lankhorst ◽  
Rob van de Wetering ◽  
René Bal ◽  
Harmen van den Berg
Keyword(s):  
Business Processes

Introduction by the guest editor

2001 ◽  
Vol 27 (1-3) ◽  
pp. 1-2
Author(s):  
Sjouke Mauw
Keyword(s):  
Guest Editor

Languages for formalizing, visualizing and verifying software architectures

2001 ◽  
Vol 27 (1-3) ◽  
pp. 3-18 ◽  
Author(s):  
Rob van Ommering ◽  
René Krikhaar ◽  
Loe Feijs
Keyword(s):  
Software Architectures

scholarly journals Argos: an automaton-based synchronous language

2001 ◽  
Vol 27 (1-3) ◽  
pp. 61-92 ◽  
Author(s):  
Florence Maraninchi ◽  
Yann Rémond
Keyword(s):  
Synchronous Language

Object-oriented modelling and specification using SHE

2001 ◽  
Vol 27 (1-3) ◽  
pp. 19-38 ◽  
Author(s):  
M.C.W. Geilen ◽  
J.P.M. Voeten ◽  
P.H.A. van der Putten ◽  
L.J. van Bokhoven ◽  
M.P.J. Stevens
Keyword(s):  
Object Oriented ◽  
Object Oriented Modelling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document