default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 97
Volume 97, Part 1, January 2015
- Jurgen J. Vinju
:
Preface. 1
- Peter D. Mosses:
Semantics of programming languages: Using Asf+Sdf. 2-10 - Eelco Visser:
Understanding software through linguistic abstraction. 11-16 - Jos C. M. Baeten, Jasen Markovski:
The role of supervisory controller synthesis in automatic control software development. 17-22 - Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. 23-30 - Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak:
Extending a model-driven cross-platform development approach for business apps. 31-36 - Gopal Gupta:
Language-based software engineering. 37-40 - Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Developing correct, distributed, adaptive software. 41-46 - Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. 47-54 - Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas:
Experience with correctness-by-construction. 55-58 - Andrew Stevenson, James R. Cordy:
Parse views with Boolean grammars. 59-63 - Adrian Johnstone, Elizabeth Scott:
Principled software microengineering. 64-68 - Jan van Eijck, Tijs van der Storm:
Understanding information update in questionnaires. 69-74 - Mark van den Brand, Jan Friso Groote:
Software engineering: Redundancy is key. 75-81
- Jan Heering:
Generative software complexity and software understanding. 82-85 - Michael W. Godfrey:
Understanding software artifact provenance. 86-90 - Frank Tip:
Infeasible paths in object-oriented programs. 91-97 - Ralf Lämmel:
Software chrestomathies. 98-104 - Leon Moonen:
Towards evidence-based recommendations to guide the evolution of component-based product families. 105-112 - Anthony Cleve, Maxime Gobert, Loup Meurice, Jerome Maes, Jens H. Weber:
Understanding database schema evolution: A case study. 113-121 - Gregor Snelting:
Understanding probabilistic software leaks. 122-126 - Raoul-Gabriel Urma, Alan Mycroft:
Source-code queries with graph databases - with application to programming language usage and evolution. 127-134 - Magiel Bruntink:
Towards base rates in software analytics: Early results and challenges from studying Ohloh. 135-142 - Tijs van der Storm, Jurgen J. Vinju:
Towards multilingual programming environments. 143-149 - Oscar Nierstrasz, Jan Kurs:
Parsing for agile modeling. 150-156 - Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll:
Verifying pointer programs using graph grammars. 157-162 - Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias calculus, change calculus and frame inference. 163-172 - Arie van Deursen, Ali Mesbah, Alex Nederlof:
Crawl-based analysis of web applications: Prospects and challenges. 173-180
Volume 97, Part 2, January 2015
- Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). 181-182 - Fatih Karatas, Lars Fischer, Dogan Kesdogan:
Service composition with consideration of interdependent security objectives. 183-201 - Alexander Cameron, Markus Stumptner, Nanda Nandagopal, Wolfgang Mayer, Todd Mansell:
Rule-based peer-to-peer framework for decentralised real-time service oriented architectures. 202-234 - Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with disciplined runtime adaptation. 235-265 - Quirino Zagarese, Gerardo Canfora, Eugenio Zimeo, Iyad Alshabani, Laurent Pellegrino, Amjad Alshabani, Françoise Baude:
Improving data-intensive EDA performance with annotation-driven laziness. 266-279
Volume 97, Part 3, January 2015
- Davide Ancona:
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). 281 - Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. 282-308 - Sean Rooney:
Scheduling intense applications most 'surprising' first. 309-319 - Xiaolong Tang, Jaakko Järvi:
Axioms as generic rewrite rules in C++ with concepts. 320-330
- Vittorio Cortellessa, Henry Muccini:
Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12). 331-332 - Alessandro Cimatti, Stefano Tonetta:
Contracts-refinement proof system for component-based embedded systems. 333-348 - Premek Brada, Kamil Jezek:
Repository and meta-data design for efficient component consistency verification. 349-365 - Ramin Etemaadi, Michel R. V. Chaudron:
New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancing. 366-380
Volume 97, Part 4, January 2015
- Henry Muccini, Antony Tang:
Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012). 381-382 - Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran:
Model-based mutation testing via symbolic refinement checking. 383-404 - Muzammil Shahbaz, Phil McMinn, Mark Stevenson:
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions. 405-425 - Thanh-Trung Pham, Xavier Défago, Huynh Quyet Thang:
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors. 426-457
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.
last updated on 2025-12-09 00:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
