Science of Computer Programming, Volume 77
Volume 77, Number 1, January 2012
Lawrence Chung, Manuel Noguera, Nary Subramanian, José Luis Garrido: System and software solution-oriented architectures. 1-3- Manuel Resinas, Pablo Fernandez, Rafael Corchuelo: A bargaining-specific architecture for supporting automated service agreement negotiation systems. 4-28
- Rafael Duque, María Luisa Rodríguez, María Visitación Hurtado, Crescencio Bravo, Carlos Rodríguez-Domínguez: Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems. 29-45
- Marcela D. Rodríguez, Jesús Favela: Assessing the SALSA architecture for developing agent-based ambient computing applications. 46-65
- Claudia López, Víctor Codocedo, Hernán Astudillo, Luiz Marcio Cysneiros: Bridging the gap between software architecture rationale formalisms and actual architecture documents: An ontology-driven approach. 66-80
Volume 77, Number 2, February 2012
- Kevin Hammond, Paul H. J. Kelly: Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. 81-82
- Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch: Automatic library migration for the generation of hardware-in-the-loop models. 83-95
- Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. 96-112
- Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. 113-128
Volume 77, Number 3, March 2012
- Sven Apel, Christian Lengauer, Julia L. Lawall: Preface to the special issue on feature-oriented software development (FOSD 2009). 129-130
- Andrzej Olszak, Bo Nørregaard Jørgensen: Remodularizing Java programs for improved locality of feature implementations in source code. 131-151
- Sven Apel, Sergiy S. Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich: Access control in feature-oriented programming. 174-187
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Using formal methods to develop WS-BPEL applications. 189-213
- Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss: Correct transformation: From object-based graph grammars to PROMELA. 214-246
- Rubén Fuentes-Fernández, Juan Pavón, Francisco J. Garijo: A model-driven process for the modernization of component-based systems. 247-269
- Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz: Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. 290-313
- J. Laurenz Eveleens, M. van der Pas, Chris Verhoef: Quantifying forecast quality of IT business value. 314-354
- Chen Wu: WSDL term tokenization methods for IR-style Web services discovery. 355-374
- María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: A model-extraction approach to verifying concurrent C programs with CADP. 375-392
Volume 77, Number 4, April 2012
- Patrícia D. L. Machado: Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). 423
- Simone André da Costa, Leila Ribeiro: Verification of graph grammars using a logical approach. 480-504
- Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining decision procedures by (model-)equality propagation. 518-532
- Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto: JCML: A specification language for the runtime verification of Java Card programs. 533-550
Volume 77, Number 5, May 2012
- Uwe van Heesch, Paris Avgeriou, Uwe Zdun, Neil B. Harrison: The supportive effect of patterns in architecture decision recovery - A controlled experiment. 551-576
- José Luiz Fiadeiro, Antónia Lopes, João Abreu: A formal model for service-oriented interactions. 577-608
- Nic Volanschi: Pattern matching for the masses using custom notations. 609-635
- K. Burak Codur, Ali H. Dogru: Regulations and software evolution: An example from the military domain. 636-643
Volume 77, Number 6, June 2012
- John Field, Vasco Thudichum Vasconcelos: Selected Papers from the Eleventh International Conference on Coordination Models and Languages. 661-662
- Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu: Servilla: A flexible service provisioning middleware for heterogeneous sensor networks. 663-684
- Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. 685-706
- Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes: Multicore scheduling for lightweight communicating processes. 727-740
- Andy Zaidman, Giuliano Antoniol: Preface to the special issue on reverse engineering (featuring selected papers from WCRE 2009). 741-742
- David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Mining quantified temporal rules: Formalism, algorithms, and evaluation. 743-759
- Nicolas Bettenburg, Weiyi Shang, Walid M. Ibrahim, Bram Adams, Ying Zou, Ahmed E. Hassan: An empirical study on inconsistent changes to code clones at the release level. 760-776
Volume 77, Numbers 7-8, July 2012
- Gwen Salaün, Marjan Sirjani: Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). 777-778
- S. Kemper: SAT-based verification for timed component connectors. 779-798
- Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten: Connectors as designs: Modeling, refinement and test case generation. 799-822
- Ludovic Henrio, Florian Kammüller, Bianca Lutz: ASPfun : A typed functional active object calculus. 823-847
- Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab: Symbolic execution of Reo circuits using constraint automata. 848-869
- Francisco Durán, Meriem Ouederni, Gwen Salaün: A generic framework for n-protocol compatibility checking. 870-886
- Farhad Arbab, Marjan Sirjani: Fundamentals of software engineering (selected papers of FSEN '09). 887-888
- Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for determinism and idempotence. 889-907
- Viktor Schuppan: Towards a notion of unsatisfiable and unrealizable cores for LTL. 908-939
- Dominik Klein, Frank G. Radmacher, Wolfgang Thomas: Moving in a network under random failures: A complexity analysis. 940-954
Volume 77, Number 9, August 2012
- Marjan Mernik, Barrett R. Bryant: Special issue on the Programming Languages track at the 24th ACM Symposium on Applied Computing. 969-970
- Paul Biggar, Edsko de Vries, David Gregg: A practical solution for achieving language compatibility in scripting language compilers. 971-989
- Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel: Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers. 990-1005
- Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated verification of shape, size and bag properties via user-defined predicates in separation logic. 1006-1036
Volume 77, Numbers 10-11, September 2012
- Markus Roggenbach: Preface. 1037-1038
- Anthony Narkawicz, César A. Muñoz, Gilles Dowek: Provably correct conflict prevention bands algorithms. 1039-1057
- Reynald Affeldt, David Nowak, Kiyoshi Yamada: Certifying assembly with formal security proofs: The case of BBS. 1058-1074
- Radu Mateescu, Anton Wijs: Sequential and distributed on-the-fly computation of weak tau-confluence. 1075-1094
- Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko: Exploiting step semantics for efficient bounded model checking of asynchronous systems. 1095-1121
- Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. 1122-1150
- Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith: Refinement checking for privacy policies. 1198-1209
Volume 77, Number 12, October 2012
- Ana Cavalcanti: Special issue: International Conference on Formal Engineering Methods - ICFEM 2009. 1211
- Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: Modal event-clock specifications for timed component-based design. 1212-1234
- Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis: Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. 1235-1271
- Jiri Barnat, Lubos Brim, Petr Rockai: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. 1272-1288
- Wolfgang Ahrendt, Maximilian Dylla: A system for compositional verification of asynchronous objects. 1289-1309
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team