Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Sci. Comput. Program."( http://dblp.L3S.de/Venues/Sci._Comput._Program. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/scp

Publication years (Num. hits)
1981-1982 (23) 1983-1984 (25) 1985-1986 (39) 1987 (29) 1988 (16) 1989 (21) 1990 (29) 1991-1992 (33) 1993 (20) 1994 (26) 1995 (22) 1996 (30) 1997 (26) 1998 (31) 1999 (23) 2000 (32) 2001 (31) 2002 (40) 2003 (34) 2004 (55) 2005 (77) 2006 (79) 2007 (92) 2008 (49) 2009 (45) 2010 (68) 2011 (74) 2012 (53)
Publication types (Num. hits)
article(1122)
Venues (Conferences, Journals, ...)
Sci. Comput. Program.(1122)
Authors
Martin Rem(27) Chris Verhoef(13) Farhad Arbab(9) Manfred Broy(9) Bernhard Möller(8) Carlos Canal(7) Jeremy Gibbons(7) Marjan Sirjani(7) Mirko Viroli(7) Wim H. Hesselink(7) Ali Mili(6) Anne Kaldewaij(6) Christian Lengauer(6) David Gries(6) Eerke A. Boiten(6) Ernesto Pimentel(6) More (+10 of total 1839)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 1122 publication records. Showing 1122 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sebastian Günther, Sagar Sunkle rbFeatures: Feature-oriented programming with Ruby. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Valentí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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Meriem Ouederni, Gwen Salaün A generic framework for n-protocol compatibility checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes Multicore scheduling for lightweight communicating processes. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Viktor Schuppan Towards a notion of unsatisfiable and unrealizable cores for LTL. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Florian Kammüller, Bianca Lutz ASPfun : A typed functional active object calculus. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nic Volanschi Pattern matching for the masses using custom notations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1K. Burak Codur, Ali H. Dogru Regulations and software evolution: An example from the military domain. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sun 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dominik Klein, Frank G. Radmacher, Wolfgang Thomas Moving in a network under random failures: A complexity analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1J. Laurenz Eveleens, M. van der Pas, Chris Verhoef Quantifying forecast quality of IT business value. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chen Wu WSDL term tokenization methods for IR-style Web services discovery. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch Automatic library migration for the generation of hardware-in-the-loop models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Paul H. J. Kelly Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine Combining decision procedures by (model-)equality propagation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab Symbolic execution of Reo circuits using constraint automata. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umberto 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rafael 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcela D. Rodríguez, Jesús Favela Assessing the SALSA architecture for developing agent-based ambient computing applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank Zeyda, Ana Cavalcanti Mechanical reasoning about families of UTP theories. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Apel, Christian Lengauer, Julia L. Lawall Preface to the special issue on feature-oriented software development (FOSD 2009). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi Using formal methods to develop WS-BPEL applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro, Antónia Lopes, João Abreu A formal model for service-oriented interactions. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simone André da Costa, Leila Ribeiro Verification of graph grammars using a logical approach. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Dave Clarke, Alexandra Silva A model of context-dependent component connectors. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers Rule formats for determinism and idempotence. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic Compositional design of isochronous systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ruhroth, Heike Wehrheim Model evolution and refinement. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Apel, Sergiy S. Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich Access control in feature-oriented programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gwen Salaün, Marjan Sirjani Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani Mining quantified temporal rules: Formalism, algorithms, and evaluation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1H. Hamza, Steve Counsell Region-Based RTSJ Memory Management: State of the art. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Step coverability algorithms for communicating systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Magnus O. Myreen, Michael J. C. Gordon Function extraction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lawrence Chung, Manuel Noguera, Nary Subramanian, José Luis Garrido System and software solution-oriented architectures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simplice Djoko Djoko, Rémi Douence, Pascal Fradet Aspects preserving properties. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Resinas, Pablo Fernandez, Rafael Corchuelo A bargaining-specific architecture for supporting automated service agreement negotiation systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Kemper SAT-based verification for timed component connectors. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juan Ignacio Perna, Jim Woodcock Mechanised wire-wise verification of Handel-C synthesis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Arkadeb 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rubén Fuentes-Fernández, Juan Pavón, Francisco J. Garijo A model-driven process for the modernization of component-based systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Armand Navabi, Xiangyu Zhang, Suresh Jagannathan Dependence analysis for safe futures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrícia D. L. Machado Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Claudia 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán A model-extraction approach to verifying concurrent C programs with CADP. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Field, Vasco Thudichum Vasconcelos Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Uwe van Heesch, Paris Avgeriou, Uwe Zdun, Neil B. Harrison The supportive effect of patterns in architecture decision recovery - A controlled experiment. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss Correct transformation: From object-based graph grammars to PROMELA. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu Servilla: A flexible service provisioning middleware for heterogeneous sensor networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andy Zaidman, Giuliano Antoniol Preface to the special issue on reverse engineering (featuring selected papers from WCRE 2009). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Farhad Arbab, Marjan Sirjani Fundamentals of software engineering (selected papers of FSEN '09). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrzej Olszak, Bo Nørregaard Jørgensen Remodularizing Java programs for improved locality of feature implementations in source code. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Robert Glück, Eelco Visser Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Steve Schneider, Helen Treharne Changing system interfaces consistently: A new refinement strategy for CSP||B. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christof Lutteroth, Dirk Draheim, Gerald Weber A type system for reflective program generators. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni Comprehensive aspect weaving for Java. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Rémy Falleri Supporting simultaneous versions for software evolution assessment. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Georg Struth Internal axioms for domain semirings. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jeremy G. Siek Special issue on library-centric software design (LCSD 2006). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Marjan Sirjani Preface. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shan Shan Huang, David Zook, Yannis Smaragdakis Statically safe program generation with SafeGen. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jens Lincke, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld An open implementation for context-oriented layer composition in ContextJS. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Milan Jovic, Matthias Hauswirth Listener latency profiling: Measuring the perceptible performance of interactive Java applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Ricci, Mirko Viroli, Giulio Piancastelli simpA: An agent-oriented approach for programming concurrent applications on top of Java. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Axel van Lamsweerde The humble humorous researcher: A tribute to Michel Sintzoff. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Mirko Viroli Preface. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikola 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab Modeling dynamic reconfigurations in Reo using high-level replacement systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pieter van der Spek, Steven Klusener Applying a dynamic threshold to improve cluster detection of LSI. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tom Arbuckle Studying software evolution using artefacts' shared information content. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bart Meyers, Hans Vangheluwe A framework for evolution of modelling languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gregor Wagner, Andreas Gal, Michael Franz "Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar, K. Subramani A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cosmin E. Oancea, Stephen M. Watt An architecture for generic extensions. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink Simulation refinement for concurrency verification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacques Carette, Oleg Kiselyov Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Andres Parra, Xavier Blanc, Anthony Cleve, Laurence Duchien Unifying design and runtime software adaptation using aspect models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Herwig Mannaert, Jan Verelst, Kris Ven The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stability. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1René Heinzl, Philipp Schwaha A generic topology library. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bastian Schlich, Jörg Brauer, Stefan Kowalewski Application of static analyses for state-space reduction to the microcontroller binary code. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jevgeni Kabanov, Michael Hunger, Rein Raudjärv On designing safe and flexible embedded DSLs with Java 5. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab Channel-based coordination via constraint satisfaction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Heike Wehrheim Selected papers on Integrated Formal Methods (iFM09). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Colvin, Ian J. Hayes A semantics for Behavior Trees using CSP with specification commands. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roland Ducournau, Jean Privat Metamodeling semantics of multiple inheritance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andy Zaidman, Johan Brichau Preface to the special issue on software evolution, adaptability and variability. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti A state/event-based model-checking approach for the analysis of abstract system properties. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink, Alex A. Aravind Queue based mutual exclusion with linearly bounded overtaking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sun Meng, Farhad Arbab, Christel Baier Synthesis of Reo circuits from scenario-based interaction specifications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gustav Munkby, Sibylle Schupp Automating exception-safety classification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francis P. Russell, Michael R. Mellor, Paul H. J. Kelly, Olav Beckmann DESOLA: An active linear algebra library using delayed evaluation and runtime code generation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt Diagnosing and correcting design inconsistencies in source code with logical abduction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek Flash memory efficient LTL model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1R. Nigel Horspool, Ralf Gitzel, Giacomo Cabri, Markus Aleksy Principles and Practice of Programming in Java 2008 - Special issue. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anders Møller, Michael I. Schwartzbach XML graphs in program analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli Supporting software evolution in component-based FOSS systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Häubl, Christian Wimmer, Hanspeter Mössenböck Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094]. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1122 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.