Volume 65, Number 1, March 2007

Special Issue on: Increasing Adequacy and Reliability of EIS

• 
  Jan A. Bergstra: Letter from the editor.
• 
  Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche: Towards more adequate EIS. 1-3
• 
  Volker Gruhn, Ralf Laue: What business process modelers can learn from programmers. 4-13
• 
  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
• 
  Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: LogLogics: A logic for history-dependent business processes. 30-40
• 
  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
• 
  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

Volume 65, Number 2, March 2007

Special Issue dedicated to selected papers from the conference of program construction 2004 (MPC 2004)

• 
  Dexter Kozen: Preface. 71
• 
  Frank Atanassow, Johan Jeuring: Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. 72-107
• 
  Jeremy Gibbons: Metamorphisms: Streaming representation-changers. 108-139
• 
  Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky: Modelling angelic and demonic nondeterminism with multirelations. 140-158
• 
  Joseph M. Morris, Malcolm Tyrrell: Terms with unbounded demonic and angelic nondeterminacy. 159-172
• 
  Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. 173-194
• 
  Bernhard Möller: Kleene getting lazy. 195-214

Volume 65, Number 3, April 2007

Special Issue on: Software Configuration Management (SCM)

• 
  René L. Krikhaar, Ivica Crnkovic: Software Configuration Management. 215-221
• 
  Lucian Voinea, Johan Lukkien, Alexandru Telea: Visual assessment of software evolution. 222-248
• 
  Leonardo Gresta Paulino Murta, Hamilton L. R. Oliveira, Cristine R. Dantas, Luiz Gustavo Lopes, Cláudia Maria Lima Werner: Odyssey-SCM: An integrated software configuration management infrastructure for UML models. 249-274