default search action
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
A bargaining-specific architecture for supporting automated service agreement negotiation systems. 4-28 - Rafael Duque
Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems. 29-45 - Marcela D. Rodríguez
Assessing the SALSA architecture for developing agent-based ambient computing applications. 46-65 - Claudia A. López
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
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. 81-82 - Uwe Ryssel, Joern Ploennigs
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
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 - Sebastian Günther, Sagar Sunkle:
rbFeatures: Feature-oriented programming with Ruby. 152-173 - Sven Apel
Access control in feature-oriented programming. 174-187 - Alessandro Lapadula, Rosario Pugliese
Using formal methods to develop WS-BPEL applications. 189-213 - Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti
Correct transformation: From object-based graph grammars to PROMELA. 214-246 - Rubén Fuentes-Fernández
A model-driven process for the modernization of component-based systems. 247-269 - Thomas Ruhroth, Heike Wehrheim:
Model evolution and refinement. 270-289 - Valentín Valero Ruiz
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
A model-extraction approach to verifying concurrent C programs with CADP. 375-392 - Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. 393-422
Volume 77, Number 4, April 2012
- Patrícia D. L. Machado:
Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). 423 - Juan Ignacio Perna, Jim Woodcock
Mechanised wire-wise verification of Handel-C synthesis. 424-443 - Frank Zeyda, Ana Cavalcanti
Mechanical reasoning about families of UTP theories. 444-479 - Simone André da Costa, Leila Ribeiro:
Verification of graph grammars using a logical approach. 480-504 - Magnus O. Myreen, Michael J. C. Gordon:
Function extraction. 505-517 - Diego Caminha Barbosa 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
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
The supportive effect of patterns in architecture decision recovery - A controlled experiment. 551-576 - José Luiz Fiadeiro, Antónia Lopes
A formal model for service-oriented interactions. 577-608 - Nic Volanschi:
Pattern matching for the masses using custom notations. 609-635 - Kemal Burak Codur, Ali H. Dogru:
Regulations and software evolution: An example from the military domain. 636-643 - Hamza Hamza, Steve Counsell:
Region-Based RTSJ Memory Management: State of the art. 644-659
Volume 77, Number 6, June 2012
- John Field
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
A model of context-dependent component connectors. 685-706 - Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Dependence analysis for safe futures. 707-726 - Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes:
Multicore scheduling for lightweight communicating processes. 727-740
- Andy Zaidman
Preface to the special issue on reverse engineering (featuring selected papers from WCRE 2009). 741-742 - David Lo
Mining quantified temporal rules: Formalism, algorithms, and evaluation. 743-759 - Nicolas Bettenburg, Weiyi Shang, Walid M. Ibrahim, Bram Adams
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
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
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
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 - Jetty Kleijn, Maciej Koutny:
Step coverability algorithms for communicating systems. 955-967
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
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 - Alvaro Miyazawa
Refinement-oriented models of Stateflow charts. 1151-1177 - Hristina Palikareva, Joël Ouaknine
SAT-solving in CSP trace refinement. 1178-1197 - 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
Modal event-clock specifications for timed component-based design. 1212-1234 - Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. 1235-1271 - Jiri Barnat, Lubos Brim
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. 1272-1288 - Wolfgang Ahrendt
A system for compositional verification of asynchronous objects. 1289-1309
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 2024-12-23 19:19 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: