The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GPCE"( http://dblp.L3S.de/Venues/GPCE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/gpce

Publication years (Num. hits)
2002 (21) 2003 (24) 2004 (28) 2005 (31) 2006 (32) 2007 (22) 2008 (20) 2009 (22) 2010 (21) 2011 (23) 2012 (16) 2013 (22) 2014 (17) 2015 (23) 2016 (22) 2017 (23) 2018 (18) 2019-2020 (26) 2021 (18) 2022 (17) 2023 (12)
Publication types (Num. hits)
inproceedings(436) proceedings(22)
Venues (Conferences, Journals, ...)
GPCE(458)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 353 occurrences of 226 keywords

Results
Found 458 publication records. Showing 458 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson 0001 Synthesizing iterators from abstraction functions. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jon Rafkind, Matthew Flatt Honu: syntactic extension for algebraic notation through enforestation. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Huaxi (Yulin) Zhang, Lei Zhang 0200, Christelle Urtado, Sylvain Vauttier, Marianne Huchard A three-level component model in component based software development. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hamid Bagheri, Kevin J. Sullivan Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Thüm, Ina Schaefer, Martin Hentschel 0002, Sven Apel Family-based deductive verification of software product lines. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony Composing typemaps in Twig. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch Reasoning of feature models from derived features. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eric Walkingshaw, Martin Erwig A calculus for modeling and implementing variation. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Luca Padovani, Ina Schaefer A formal foundation for dynamic delta-oriented software product lines. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eyvind W. Axelsen, Stein Krogdahl Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Freeman, Jaakko Järvi, Gabriel Foust HotDrink: a library for web user interfaces. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Klaus Ostermann, Walter Binder (eds.) Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012 Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto Faster program adaptation through reward attribution inference. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse An inheritance system for structural & behavioral reuse in component-based software programming. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Ulrik Pagh Schultz (eds.) Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011 Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus, Sean Parent Helping programmers help users. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik Less is more: unparser-completeness of metalanguages for template engines. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba Investigating the safe evolution of software product lines. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser Declaratively defining domain-specific language debuggers. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser Growing a language environment with editor libraries. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Márcio Ribeiro 0001, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares On the impact of feature dependencies when maintaining preprocessor-based software product lines. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Launchbury Theorem-based circuit derivation in cryptol. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Multilingual component programming in racket. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel Static analysis of aspect interaction and composition in component models. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gary J. Shubert Application of model based development to flexible code generation. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nathaniel Nystrom, Derek White, Kishen Das Firepile: run-time compilation for GPUs in scala. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olivier Danvy Pragmatics for formal semantics. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahram Esmaeilsabzali, Bernd Fischer 0002, Joanne M. Atlee Monitoring aspects for the customization of automatically generated code for big-step models. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marko Rosenmüller, Norbert Siegmund, Mario Pukall, Sven Apel Tailoring dynamic software product lines. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yulin Li, Gordon S. Novak Jr. Generation of geometric programs specified by diagrams. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kenichi Asai Reflection in direct style. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Steck, Alex Lotz, Christian Schlegel Model-driven engineering and run-time model-usage in service robotics. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Don S. Batory, Peter Höfner, Jongwook Kim Feature interactions, products, and composition. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sander Daniël Vermolen, Guido Wachsmuth, Eelco Visser Generating database migrations for evolving web applications. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen Infrastructure for component-based DDS application development. Search on Bibsonomy GPCE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan Implicit invocation meets safe, implicit concurrency. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dave Clarke 0001, Michiel Helvensteijn, Ina Schaefer Abstract delta modeling. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Lämmel The hitchhiker's guide to software languages. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Neville Grech, Julian Rathke, Bernd Fischer 0002 JEqualityGen: generating equality and hashing methods. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tiark Rompf, Martin Odersky Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Erwig A language for software variation research. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Julio Sincero, Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat Efficient extraction and analysis of preprocessor-based variability. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zoltán Porkoláb, Ábel Sinkovics Domain-specific language integration with compile-time parser generator library. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Würthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, Hanspeter Mössenböck Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sandro Schulze, Sven Apel, Christian Kästner Code clones in feature-oriented software product lines. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Hofer, Klaus Ostermann Modular domain-specific language components in scala. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mirko Bordignon, Ulrik Pagh Schultz, Kasper Støy Model-based kinematics generation for modular mechatronic toolkits. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kevin Atkinson, Matthew Flatt, Gary Lindstrom ABI compatibility through a customizable language. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias P. Krieger, Alexander Knapp, Burkhart Wolff Automatic and efficient simulation of operation contracts. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra Iterative type inference with attribute grammars. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Reinhard Wolfinger, Markus Löberbauer, Markus Jahn 0001, Hanspeter Mössenböck Adding genericity to a plug-in framework. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch Automatic variation-point identification in function-block-based models. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Weiyu Miao, Jeremy G. Siek Incremental type-checking for type-reflective metaprograms. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Juan F. Navas, Jean-Philippe Babau, Jacques Pulou A component-based run-time evolution infrastructure for resource-constrained embedded systems. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni Composition of dynamic analysis aspects. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eelco Visser, Jaakko Järvi (eds.) Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010 Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1S. Hossein Sadat-Mohtasham, H. James Hoover Transactional pointcuts: designation reification and advice of interrelated join points. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transactional pointcut, aspect-oriented programming, join point model
1Christian Kästner, Sven Apel, Martin Kuhlemann A model of refactoring physically and virtually separated features. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD
1Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller A language and framework for invariant-driven transformations. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
1Frans Sanen, Eddy Truyen, Wouter Joosen Mapping problem-space to solution-space features: a feature interaction approach. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DLV, configuration knowledge, distributed runtime adaptation, problem-solution feature interactions, software product line engineering, default logic
1James R. Cordy Eating our own dog food: DSLs for generative and transformational engineering. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF source transformation systems, domain-specific languages, model driven engineering, generative programming
1Soonho Kong, Wontae Choi, Kwangkeun Yi Abstract parsing for two-staged languages with concatenation. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-staged languages, program analysis, abstract interpretation, parsing
1Srinivas Nedunuri, William R. Cook Synthesis of fast programs for maximum segment sum problems. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF segment-sum problems, algorithms, formal methods, branch-and-bound, program synthesis
1Anya Helene Bagge, Valentin David, Magne Haveraaen The axioms strike back: testing with concepts and axioms in C++. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x
1Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
1Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme Generating safe template languages. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF safe authoring, template language, generative programming, language extension
1Phil McGachey, Antony L. Hosking, J. Eliot B. Moss Classifying Java class transformations for pervasive virtualized access. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF java, program transformation, object model
1Stefan Wehr, Peter Thiemann 0001 JavaGI in the battlefield: practical experience with generalized interfaces. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF JavaGI, external methods, retroactive interface implementation, case studies, multimethods
1Rishiyur S. Nikhil Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing
1Jeremy G. Siek, Bernd Fischer 0002 (eds.) Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith Algorithms for user interfaces. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF user interfaces, software reuse, component software, declarative specifications, constraint systems
1Martin Kuhlemann, Don S. Batory, Christian Kästner Safe composition of non-monotonic features. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF safe composition, refactoring, feature-oriented programming, AHEAD
1Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret Advanced runtime adaptation for Java. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
1Shumpei Akai, Shigeru Chiba Extending AspectJ for separating regions. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronization, aspect-oriented programming, region, feature-oriented programming
1Ronald Garcia, Andrew Lumsdaine Toward foundations for type-reflective metaprogramming. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, c++, reflection, metaprogramming
1Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel A generative programming approach to developing pervasive computing systems. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pervasive computing, generative programming, DSL
1Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF middleware, model-driven engineering, component models, connectors, MARTE
1Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan Reusable, generic program analyses and transformations. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, generic programming
1Sven Apel, Christian Kästner, Don S. Batory Program refactoring using functional aspects. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
1Peter Gottschling, Andrew Lumsdaine Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semantic verification, optimization, c++, concepts, loop unrolling, semantic properties
1Sven Apel, Christian Kästner, Christian Lengauer Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
1Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall Pantaxou: a domain-specific language for developing safe coordination services. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed systems, safety, domain-specific languages, architecture description languages, coordination languages
1Marko Rosenmüller, Norbert Siegmund, Gunter Saake, Sven Apel Code generation to support static and dynamic composition of software product lines. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic feature binding, static feature binding, software product lines, feature-oriented programming
1Vinay Kulkarni, Sreedhar Reddy An abstraction for reusable MDD components: model-based generation of model-based code generators. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reuse, model-driven development, meta models, generative programming
1Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani Typing communicating component assemblages. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF assemblage error, component types, process types, type interference, components, type system, communication systems
1Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors Polymorphic embedding of dsls. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
1Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001, Donald D. Cowan Efficient compilation techniques for large scale feature models. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal verification, model-driven development, software-product lines, configuration, feature modeling
1Andrew E. Fano Emerging challenges for large scale systems integration. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software engineering, components, system integration
1Yannis Smaragdakis, Jeremy G. Siek (eds.) Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  BibTeX  RDF
1Ye Zhang 0002, Torben Amtoft, Flemming Nielson From generic to specific: off-line optimization for a general constraint solver. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF off-line optimization, solver technology, constraints, program analysis, datalog, unification
1Ilie Savga, Michael Rudolf 0001, Sebastian Goetz, Uwe Aßmann Practical refactoring-based framework upgrade. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adaptation, frameworks, refactoring, maintenance
1Tetsuo Kamina, Tetsuo Tamai Lightweight dependent classes. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF class-based languages, dependent classes, mutually recursive extensions, generics, type safety
1Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith Property models: from incidental algorithms to reusable components. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF user interfaces, software reuse, component software, declarative specifications, constraint systems
1Chang Hwan Peter Kim, Christian Kästner, Don S. Batory On the modularity of feature interactions. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lifters, safe composition, feature interactions, derivatives, feature oriented software development
1Ewen Denney, Bernd Fischer 0002 Generating customized verifiers for automatically generated code. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logical annotations, program verification, automated theorem proving, hoare logic, software certification, automated code generation
1Don S. Batory Using modern mathematics as an FOSD modeling language. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF commuting diagrams, software product lines, features, geodesics, model driven design
1Tom Rothamel, Yanhong A. Liu Generating incremental implementations of object-set queries. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic incrementalization, query constructs, program optimization
1Erik Meijer 0001 Fundamentalist functional programming. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pure functional programming, concurrency, monads, lazy evaluation, linq
Displaying result #201 - #300 of 458 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license