Science of Computer Programming, Volume 66

Volume 66, Number 1, April 2007

• Lawrence Chung, Nary Subramanian: Bridging the gap between enterprise architectures and software architectures. 1-3
• Stijn Verstichel, Sofie Van Hoecke, Matthias Strobbe, Steven Van den Berghe, Filip De Turck, Bart Dhoedt, Piet Demeester, Frederik Vermeulen:
  Ontology-driven middleware for next-generation train backbones. 4-24
  
• José Luis Garrido, Manuel Noguera, Miguel González, María Visitación Hurtado, María Luisa Rodríguez:
  Definition and use of Computation Independent Models in an MDA-based groupware development process. 25-43
  
• Francisco Luis Gutiérrez Vela, José Luis Isla Montes, Patricia Paderewski-Rodríguez, M. Sánchez Román, B. Jiménez Valverde:
  An architecture for access control management in collaborative enterprise systems based on organization models. 44-59
  
• Michael E. Shin, Hassan Gomaa:
  Software requirements and architecture modeling for evolving non-secure applications into secure applications. 60-70
  
• Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash:
  Designing and managing evolving systems using a MAS product line approach. 71-86
  
• Lirong Dai, Kendra Cooper:
  Using FDAF to bridge the gap between enterprise and software architectures for security. 87-102
  

Volume 66, Number 2, April 2007

• Manfred Broy:
  Editorial-Science of Computer Programming-25 years. 103-104
  
• Ralf Gitzel, Axel Korthaus, Martin Schader:
  Using established Web Engineering knowledge in model-driven approaches. 105-124
  
• Francisco Durán, José Meseguer:
  Maude's module algebra. 125-153
  
• Attila Csenki:
  Rotations in the plane and Prolog. 154-161
  
• Kazuhiro Ogata, Kokichi Futatsugi:
  Modeling and verification of real-time systems based on equations. 162-180
  

Volume 66, Number 3, May 2007

• Carlos Canal, Mirko Viroli:
  Preface. 181-183
  
• Tom Chothia, Dominic Duggan:
  Capability passing processes. 184-204
  
• Dave Clarke, David Costa, Farhad Arbab:
  Connector colouring I: Synchronisation and context dependency. 205-225
  
• Mirko Viroli, Enrico Denti, Alessandro Ricci:
  Engineering a BPEL orchestration engine as a multi-agent system. 226-245
  
• Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio:
  Coordinating mobile agents in interaction spaces. 246-265