|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 191 occurrences of 132 keywords
|
|
|
Results
Found 254 publication records. Showing 254 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Gary T. Leavens |
Invited Talk: JML framed! |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | István Zólyomi, Zoltán Porkoláb |
Towards a General Template Introspection Library. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Lohmann, Georg Blaschke, Olaf Spinczyk |
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | E. V. Krishnamurthy, Venu K. Murthy |
Contextual-Knowledge Management in Peer to Peer Computing. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Florence Maraninchi, Lionel Morel |
Logical-Time Contracts for Reactive Embedded Components. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Karine Arnout, Bertrand Meyer 0001 |
Uncovering Hidden Contracts: The .NET Example. |
Computer |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Khanh Vu, Kien A. Hua, Wallapak Tavanapong |
Image Retrieval Based on Regions of Interest. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
arbitrary-shaped queries, Image processing, regions of interest, image indexing and retrieval |
14 | Bertrand Meyer 0001 |
The Outside-In Method of Teaching Introductory Programming. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Eric E. Allen, Jonathan Bannet, Robert Cartwright |
A first-class approach to genericity. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Patrice Chalin |
Improving JML: For a Safer and More Effective Language. |
FME |
2003 |
DBLP DOI BibTeX RDF |
behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language |
14 | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek |
A Pattern Matching Compiler for Multiple Target Languages. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Volkan Arslan, Piotr Nienaltowski, Karine Arnout |
Event Library: An Object-Oriented Library for Event-Driven Design. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Bertrand Meyer 0001 |
A Framework for Proving Contract-Equipped Classes. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Martin Hirzel, Amer Diwan, Johannes Henkel |
On the usefulness of type and liveness accuracy for garbage collection and leak detection. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection |
14 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Bytecode: Problems, Traps and Pitfalls. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
14 | Pedro Guerreiro |
Simple Support for Design by Contract in C++. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Peter Grogono, Markku Sakkinen |
Copying and Comparing: Problems and Solutions. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
complex object structures, cloning, equality, Copying |
14 | Richard Rasala |
Toolkits in first year computer science: a pedagogical imperative. |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Peter Forbrig, Ralf Lämmel |
Programming with Patterns. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Pedro Guerreiro |
Another Mediocre Assertion Mechanism for C++. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour |
Component-Based Development? Refining the Blueprint. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Charles Lakos, Glenn Lewis |
Behavior Inheritance for Object Lifecycles. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
Object lifecycles, Behavioral Compatibility, Shlaer-Mellor, UML, Petri Nets, Inheritance |
14 | Sophia Drossopoulou, Susan Eisenbach |
Describing the Semantics of Java and Proving Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Kühne 0001 |
Internal Iteration Externalized. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Dunne, W. A. Gray |
The Impact of Using Class Inheritance in a Distributed Information System. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
|
14 | S. Tucker Taft |
Programming Language Design and Software Quality. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin M. Brosgol |
Ada and the Objects. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | James C. McKim |
Advanced Programming by Contract. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Rex Fowler |
Direct Mapping and User Interface. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
User Interface, Object-Oriented, Business objects, Direct Mapping |
14 | Richard Bielak, Jean-Pierre Sarkis |
Implementing a Distributed Garbage Collector for OO Databases. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
distribution, object oriented database, parallel garbage collection |
14 | Richard Riehle |
The Great Language Debate. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Gary T. Leavens, Todd D. Millstein |
Multiple Dispatch as Dispatch on Tuples. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
single dispatch, semantics, typing, language design, generic functions, tuple, multimethods, multiple dispatch, binary methods |
14 | Ferenc Vajda |
The Pros and Cons of Web Programming. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Jos van Hillegersberg, Kuldeep Kumar, Richard J. Welke |
Using Metamodeling to Analyze the Fit of Object-Oriented Methods to Languages. |
HICSS (5) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | R. Kramer |
iContract - The Java(tm) Design by Contract(tm) Tool. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper |
Extending Test Templates with Inheritance. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
test templates, reuse, inheritance, specification-based testing, object-oriented testing |
14 | Reinhold Plösch |
Design by Contract for Python. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Véronique Benzaken, Xavier Schaefer |
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Krall, Jan Vitek, R. Nigel Horspool |
Near Optimal Hierarchical Encoding of Types. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Martin Gergeleit, Jörg Kaiser, Hermann Streich |
Checking timing constraints in distributed object-oriented programs. |
OOPS Messenger |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Gail C. Murphy, David Notkin |
Lightweight Lexical Source Model Extraction. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
scanner generation, source model, reverse engineering, static analysis, software maintenance, scanning, source code analysis, lexical analysis, lexing |
14 | Naftaly H. Minsky |
Towards Alias-Free Pointers. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation |
14 | Jean-Marc Jézéquel, Jean-Lin Pacherie |
Parallel Operators. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
Components and Frameworks, Distribution, Data Parallelism, Operators |
14 | Merlin Hughes, P. David Stotts |
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Satish Thatté |
Automated Synthesis of Interface Adapters for Reusable Classes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
14 | José de Oliveira Guimarães |
Parametrized Methods. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
C++ |
14 | Jean-Marc Jézéquel |
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
Components and Frameworks, Distribution, Reuse, Data Parallelism |
14 | Michael Löwe, Martin Beyer |
AGG - An Implementation of Algebraic Graph Rewriting. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Clemens A. Szyperski |
Import is Not Inheritance - Why We Need Both: Modules and Classes. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Casais |
An Incremental Class Reorganization Approach. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Charles Fabre, Brian Randell |
An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. |
ESORICS |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Kenneth P. Birman, Robert Cooper |
The ISIS Project: Real Experience with a Fault Tolerant Programming System. |
ACM SIGOPS Oper. Syst. Rev. |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Mauro Regio, Marco Temperini |
Implementation and Manipulation of Formal Objects: An Object-Oriented View. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #254 of 254 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|