default search action
Science of Computer Programming, Volume 89
Volume 89, Part A, September 2014
- 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.