Science of Computer Programming, Volume 89

Volume 89, Part A, September 2014

Special issue on the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)

• 
  Mohammad Reza Mousavi, António Ravara:
  Foreword. 1
• 
  Ross Horne, Vladimiro Sassone:
  A verified algebra for read-write Linked Data. 2-22
• 
  Simon Ware, Robi Malik:
  An algorithm to test the conflict preorder. 23-40
• 
  Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson:
  Modelling and simulation of asynchronous real-time systems using Timed Rebeca. 41-68

Volume 89, Part B, September 2014

Special issue on Success Stories in Model Driven Engineering

• 
  Davide Di Ruscio, Richard F. Paige, Alfonso Pierantonio:
  Guest editorial to the special issue on Success Stories in Model Driven Engineering. 69-70
• 
  Marco Brambilla, Piero Fraternali:
  Large-scale Model-Driven Engineering of web user interaction: The WebML and WebRatio experience. 71-87
• 
  Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton:
  Model-driven engineering of information systems: 10 years and 1000 versions. 88-104
• 
  András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits:
  A model-integrated authoring environment for privacy policies. 105-125
• 
  Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton:
  The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. 126-143
• 
  John Edward Hutchinson, Jon Whittle, Mark Rouncefield:
  Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure. 144-161
• 
  Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek:
  Model-driven standardization of public authority data interchange. 162-175
• 
  Jesús Sánchez Cuadrado, Javier Luis Cánovas Izquierdo, Jesús García Molina:
  Applying model-driven engineering in small software enterprises. 176-198
• 
  Emmanuel Dubois, Christophe Bortolaso, Damien Appert, Guillaume Gauffre:
  An MDE-based framework to support the development of Mixed Interactive Systems. 199-221

Volume 89, Part C, September 2014

• 
  Eric J. Braude:
  Weakest preconditions and cumulative subgoal fulfillment. 223-234
• 
  Fabio Mascarenhas, Sérgio Medeiros, Roberto Ierusalimschy:
  On the relation between context-free grammars and parsing expression grammars. 235-250
• 
  Bogdan Vasilescu, Alexander Serebrenik, Tom Mens, Mark G. J. van den Brand, Ekaterina Pek:
  How healthy are software engineering conferences? 251-272
• 
  Siliang Li, Gang Tan:
  Exception analysis in the Java Native Interface. 273-297
• 
  Hani Abdeen, Stéphane Ducasse, Damien Pollet, Ilham Alloui, Jean-Rémy Falleri:
  The Package Blueprint: Visually analyzing and quantifying packages dependencies. 298-319
• 
  Ana I. Molina, William J. Giraldo, Manuel Ortega, Miguel A. Redondo, César A. Collazos:
  Model-driven development of interactive groupware systems: Integration into the software development process. 320-349
• 
  Fuqun Huang, Bin Liu, You Song, Shreya Keyal:
  The links between human error diversity and software diversity: Implications for fault diversity seeking. 350-373
• 
  José Luis Ordiales Coscia, Cristian Mateos, Marco Crasso, Alejandro Zunino:
  Refactoring code-first Web Services for early avoiding WSDL anti-patterns: Approach and comprehensive assessment. 374-407