| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Günther, Sagar Sunkle |
rbFeatures: Feature-oriented programming with Ruby.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Laurenz Eveleens, M. van der Pas, Chris Verhoef |
Quantifying forecast quality of IT business value. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Wu |
WSDL term tokenization methods for IR-style Web services discovery. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch |
Automatic library migration for the generation of hardware-in-the-loop models. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Paul H. J. Kelly |
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcela D. Rodríguez, Jesús Favela |
Assessing the SALSA architecture for developing agent-based ambient computing applications. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Lengauer, Julia L. Lawall |
Preface to the special issue on feature-oriented software development (FOSD 2009). |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Using formal methods to develop WS-BPEL applications. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ruhroth, Heike Wehrheim |
Model evolution and refinement. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Sergiy S. Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich |
Access control in feature-oriented programming. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Chung, Manuel Noguera, Nary Subramanian, José Luis Garrido |
System and software solution-oriented architectures. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simplice Djoko Djoko, Rémi Douence, Pascal Fradet |
Aspects preserving properties. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Resinas, Pablo Fernandez, Rafael Corchuelo |
A bargaining-specific architecture for supporting automated service agreement negotiation systems. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Fuentes-Fernández, Juan Pavón, Francisco J. Garijo |
A model-driven process for the modernization of component-based systems. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
A model-extraction approach to verifying concurrent C programs with CADP. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss |
Correct transformation: From object-based graph grammars to PROMELA. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Olszak, Bo Nørregaard Jørgensen |
Remodularizing Java programs for improved locality of feature implementations in source code. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, Eelco Visser |
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
Changing system interfaces consistently: A new refinement strategy for CSP||B. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Lutteroth, Dirk Draheim, Gerald Weber |
A type system for reflective program generators. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni |
Comprehensive aspect weaving for Java. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Rémy Falleri |
Supporting simultaneous versions for software evolution assessment. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Georg Struth |
Internal axioms for domain semirings. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek |
Special issue on library-centric software design (LCSD 2006). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov |
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Marjan Sirjani |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically safe program generation with SafeGen. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Lincke, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld |
An open implementation for context-oriented layer composition in ContextJS. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Jovic, Matthias Hauswirth |
Listener latency profiling: Measuring the perceptible performance of interactive Java applications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
simpA: An agent-oriented approach for programming concurrent applications on top of Java. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
The humble humorous researcher: A tribute to Michel Sintzoff. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková |
Partial order reduction for state/event LTL with application to component-interaction automata. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab |
Modeling dynamic reconfigurations in Reo using high-level replacement systems. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter van der Spek, Steven Klusener |
Applying a dynamic threshold to improve cluster detection of LSI. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Arbuckle |
Studying software evolution using artefacts' shared information content. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Meyers, Hans Vangheluwe |
A framework for evolution of modelling languages. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Wagner, Andreas Gal, Michael Franz |
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar, K. Subramani |
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Stephen M. Watt |
An architecture for generic extensions. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim H. Hesselink |
Simulation refinement for concurrency verification. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Oleg Kiselyov |
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Andres Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien |
Unifying design and runtime software adaptation using aspect models. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Herwig Mannaert, Jan Verelst, Kris Ven |
The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | René Heinzl, Philipp Schwaha |
A generic topology library. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schlich, Jörg Brauer, Stefan Kowalewski |
Application of static analyses for state-space reduction to the microcontroller binary code. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jevgeni Kabanov, Michael Hunger, Rein Raudjärv |
On designing safe and flexible embedded DSLs with Java 5. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab |
Channel-based coordination via constraint satisfaction. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Heike Wehrheim |
Selected papers on Integrated Formal Methods (iFM09). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
A semantics for Behavior Trees using CSP with specification commands. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Ducournau, Jean Privat |
Metamodeling semantics of multiple inheritance. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Zaidman, Johan Brichau |
Preface to the special issue on software evolution, adaptability and variability. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
A state/event-based model-checking approach for the analysis of abstract system properties. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim H. Hesselink, Alex A. Aravind |
Queue based mutual exclusion with linearly bounded overtaking. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab, Christel Baier |
Synthesis of Reo circuits from scenario-based interaction specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustav Munkby, Sibylle Schupp |
Automating exception-safety classification. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino |
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis P. Russell, Michael R. Mellor, Paul H. J. Kelly, Olav Beckmann |
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt |
Diagnosing and correcting design inconsistencies in source code with logical abduction. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek |
Flash memory efficient LTL model checking. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Nigel Horspool, Ralf Gitzel, Giacomo Cabri, Markus Aleksy |
Principles and Practice of Programming in Java 2008 - Special issue. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli |
Supporting software evolution in component-based FOSS systems. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Häubl, Christian Wimmer, Hanspeter Mössenböck |
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094]. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Pion, Andreas Fabri |
A generic lazy evaluation scheme for exact geometric computations. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Editorial. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Audebaud, Christine Paulin-Mohring |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trosky Boris Callo Arias, Paris Avgeriou, Pierre America, Krelis Blom, Sergiy Bachynskyy |
A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomir D. Bourdev, Jaakko Järvi |
Efficient run-time dispatching in generic programming with minimal code bloat. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Selected papers of the Refinement Workshop Turku (2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Matthes |
Map fusion for nested datatypes in intensional type theory. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Formalisations and applications of BPMN. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Weiß |
Predicate abstraction in a program logic calculus. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, João F. Ferreira |
On Euclid's algorithm and elementary number theory. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Solodkyy, Jaakko Järvi |
Extending type systems in a library: Type-safe XML processing in C++. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Delegation by object composition. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott, Marjan Sirjani, Shangping Ren |
Comparing three coordination models: Reo, ARC, and PBRD. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Joost Visser |
Transformation of structure-shy programs with application to XPath queries and strategic functions. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Frank Zeyda, Ana Cavalcanti |
A tactic language for refinement of state-rich concurrent specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Contexts, refinement and determinism. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Michael Kucera |
Partial evaluation of Maple. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Classen, Quentin Boucher, Patrick Heymans |
A text-based approach to feature modelling: Syntax and semantics of TVL. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Dynamic consistency in process algebra: From Paradigm to ACP. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siim Karus, Marlon Dumas |
Predicting the maintainability of XSL transformations. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property specifications for workflow modelling. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Ramalingam, Eelco Visser |
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Andrew Lumsdaine |
A language for generic programming in the large. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Completeness of fair ASM refinement. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Corina S. Pasareanu |
Preface. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with C++ templates. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Häubl, Christian Wimmer, Hanspeter Mössenböck |
Compact and efficient strings for Java. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Aspects of availability: Enforcing timed properties to prevent denial of service. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")