


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














