Volume 65,
Number 1,
March 2007
Special Issue on:
Increasing Adequacy and Reliability of EIS
- Jan A. Bergstra:
Letter from the editor.
Electronic Edition (link) BibTeX
- Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche:
Towards more adequate EIS.
1-3
Electronic Edition (link) BibTeX
- Volker Gruhn, Ralf Laue:
What business process modelers can learn from programmers.
4-13
Electronic Edition (link) BibTeX
- Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
14-29
Electronic Edition (link) BibTeX
- Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes.
30-40
Electronic Edition (link) BibTeX
- Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
41-56
Electronic Edition (link) BibTeX
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
57-69
Electronic Edition (link) BibTeX
Volume 65,
Number 2,
March 2007
Special Issue dedicated to selected papers from the conference of program construction 2004 (MPC 2004)
Volume 65,
Number 3,
April 2007
Special Issue on:
Software Configuration Management (SCM)
Copyright © Sun May 17 00:18:43 2009
by Michael Ley (ley@uni-trier.de)
