On the public citation graph
Specifying reusable components using contracts
0 signed · 136 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf01806171openalex-snapshot
Object-oriented programming with class dictionaries
inferredcites →https://doi.org/10.1007/bfb0057026openalex-snapshot
Implementational reflection in Silica
inferredcites →https://doi.org/10.1016/0164-1212(86)90002-6openalex-snapshot
Module interconnection languages
inferredcites →https://doi.org/10.1109/2.19829openalex-snapshot
Composing user interfaces with InterViews
inferredcites →https://doi.org/10.1109/32.54291openalex-snapshot
The effect of data abstraction on loop programming techniques
inferredcites →https://doi.org/10.1109/32.60313openalex-snapshot
Extending objects to support multiple interfaces and access control
inferredcites →https://doi.org/10.1109/ms.1987.230095openalex-snapshot
Reusability Framework, Assessment, and Directions
inferredcites →https://doi.org/10.1109/tse.1978.233869openalex-snapshot
Initial Report on a Lisp Programmer's Apprentice
inferredcites →https://doi.org/10.1109/tse.1984.5010271openalex-snapshot
Reusability in Programming: A Survey of the State of the Art
inferredcites →https://doi.org/10.1109/tse.1985.232210openalex-snapshot
PROUST: Knowledge-Based Program Understanding
inferredcites →https://doi.org/10.1145/38765.38830openalex-snapshot
MELDing data flow and object-oriented programming
inferredcites →https://doi.org/10.1145/74877.74879openalex-snapshot
A laboratory for teaching object oriented thinking
inferredcites →https://doi.org/10.1145/74877.74885openalex-snapshot
Object-oriented design: a responsibility-driven approach
inferredcites →https://doi.org/10.1145/74878.74879openalex-snapshot
A laboratory for teaching object oriented thinking
inferredcites →https://doi.org/10.1145/83880.84464openalex-snapshot
Lessons from the design of the Eiffel libraries
inferredcites →https://doi.org/10.1145/83880.84526openalex-snapshot
Surveying current research in object-oriented design
inferredcites →https://doi.org/10.1145/97945.97965openalex-snapshot
Type substitution for object-oriented programming
inferredcites →https://doi.org/10.1145/97945.97967openalex-snapshot
Contracts: specifying behavioral compositions in object-oriented systems
inferredcites →https://doi.org/10.1145/97946.97965openalex-snapshot
Type substitution for object-oriented programming
inferredcites →https://doi.org/10.1145/97946.97967openalex-snapshot
Contracts: specifying behavioral compositions in object-oriented systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.1887openalex-snapshot
Rendezvous‐based collaboration between autonomous entities: centric versus associative
inferred← citeshttps://doi.org/10.1002/cpe.995openalex-snapshot
Toward a search architecture for software components
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00021.xopenalex-snapshot
An Experiment in Framework Development
inferred← citeshttps://doi.org/10.1007/1-4020-5263-4_18openalex-snapshot
Decoupling of Collaboration-Based Designs
inferred← citeshttps://doi.org/10.1007/1-84628-339-6_8openalex-snapshot
Toward GRIDLE: A Way to Build Grid Applications Searching Through an Ecosystem of Components
inferred← citeshttps://doi.org/10.1007/3-540-44800-4_2openalex-snapshot
A Standard Problem for Evaluating Product-Line Methodologies
inferred← citeshttps://doi.org/10.1007/3-540-44815-2_12openalex-snapshot
Mixin-Based Programming in C++
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_17openalex-snapshot
A Model for Describing Object-Oriented Systems from Multiple Perspectives
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_18openalex-snapshot
A Language Framework for Multi-Object Coordination
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_4openalex-snapshot
Dynamically Composable Collaborations with Delegation Layers
inferred← citeshttps://doi.org/10.1007/3-540-48046-3_16openalex-snapshot
Adding Design by Contract to the Ada Language
inferred← citeshttps://doi.org/10.1007/3-540-49255-0_126openalex-snapshot
Interactions between Objects: An Aspect of Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/3-540-49255-0_22openalex-snapshot
A Java Architecture for Dynamic Object and Framework Customizations
inferred← citeshttps://doi.org/10.1007/3-540-60954-7_41openalex-snapshot
Using C++ templates to implement role-based designs
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_52openalex-snapshot
CCE: A process-calculus based formalism for specifying multi-object coordination
inferred← citeshttps://doi.org/10.1007/3-540-69687-3_45openalex-snapshot
Subtyping as a Support for Incremental Development
inferred← citeshttps://doi.org/10.1007/978-1-4471-1525-0_37openalex-snapshot
A Framework for Component-Oriented Tool Integration
inferred← citeshttps://doi.org/10.1007/978-1-4615-0413-9_16openalex-snapshot
Tool Support for Contract Enhanced Scenarios
inferred← citeshttps://doi.org/10.1007/978-1-4615-0883-0_10openalex-snapshot
Multi-Dimensional Separation of Concerns and the Hyperspace Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-24625-1_11openalex-snapshot
On Manageability and Robustness of Open Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27799-6_10openalex-snapshot
Aspects for Synthesizing Applications by Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_32openalex-snapshot
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
inferred← citeshttps://doi.org/10.1007/978-94-017-2740-2_5openalex-snapshot
.NET Contracts: Attaching Specifications to Components
inferred← citeshttps://doi.org/10.1007/bfb0017540openalex-snapshot
Abstracting object interactions using composition filters
inferred← citeshttps://doi.org/10.1007/bfb0053074openalex-snapshot
Activities: Abstractions for collective behavior
inferred← citeshttps://doi.org/10.1007/bfb0054107openalex-snapshot
Implementing layered designs with mixin layers
inferred← citeshttps://doi.org/10.1007/s00446-003-0094-8openalex-snapshot
Remote method invocation as a first-class citizen
inferred← citeshttps://doi.org/10.1007/s10270-012-0283-7openalex-snapshot
Composing domain-specific physical models with general-purpose software modules in embedded control software
inferred← citeshttps://doi.org/10.1016/j.cl.2004.11.002openalex-snapshot
Classboxes: controlling visibility of class extensions
inferred← citeshttps://doi.org/10.1016/s0164-1212(02)00041-9openalex-snapshot
Runtime verification of .NET contracts
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00153-9openalex-snapshot
A process-calculus-based abstraction for coordinating multi-agent groups
inferred← citeshttps://doi.org/10.1023/a:1027304109139openalex-snapshot
Towards Software Product-Lines — A Refinement-Oriented Generation Language
inferred← citeshttps://doi.org/10.1109/32.605759openalex-snapshot
Software reuse by specialization of generic procedures through views
inferred← citeshttps://doi.org/10.1109/apsec.1998.733596openalex-snapshot
A reuse case perspective on documenting frameworks
inferred← citeshttps://doi.org/10.1109/cdcs.2001.918700openalex-snapshot
A specification logic for dynamic composition of services
inferred← citeshttps://doi.org/10.1109/hicss.1997.667277openalex-snapshot
The influence of coordination on program structure
inferred← citeshttps://doi.org/10.1109/hicss.2000.927013openalex-snapshot
Contract-based component system design
inferred← citeshttps://doi.org/10.1109/icse.1993.346015openalex-snapshot
Program and interface slicing for reverse engineering
inferred← citeshttps://doi.org/10.1109/icsr.1998.685728openalex-snapshot
Implementing reusable object-oriented components
inferred← citeshttps://doi.org/10.1109/ispse.2000.913216openalex-snapshot
Supporting compositional styles for software evolution
inferred← citeshttps://doi.org/10.1109/tools.1998.711020openalex-snapshot
Tool support for design by contract
inferred← citeshttps://doi.org/10.1109/tools.2000.868962openalex-snapshot
Implementing collaboration-based designs using aspect-oriented programming
inferred← citeshttps://doi.org/10.1109/wcre.1993.287779openalex-snapshot
Program and interface slicing for reverse engineering
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637991openalex-snapshot
Composing multiple-client-multiple-server synchronizations
inferred← citeshttps://doi.org/10.1142/9789812831163_0019openalex-snapshot
DESIGN AND REUSE IN OBJECT-ORIENTED FRAMEWORKS: PATTERNS, CONTRACTS, AND MOTIFS IN CONCERT
inferred← citeshttps://doi.org/10.1142/s0218194011005566openalex-snapshot
MANAGING CONCERN KNOWLEDGE IN SOFTWARE SYSTEMS
inferred← citeshttps://doi.org/10.1145/1062455.1062498openalex-snapshot
An adaptive object model with dynamic role binding
inferred← citeshttps://doi.org/10.1145/1075405.1075412openalex-snapshot
Towards preserving correctness in self-managed software systems
inferred← citeshttps://doi.org/10.1145/1289971.1289989openalex-snapshot
Safe composition of product lines
inferred← citeshttps://doi.org/10.1145/141936.141961openalex-snapshot
Ensuring semantic integrity of reusable objects (panel)
inferred← citeshttps://doi.org/10.1145/242224.242413openalex-snapshot
Separation and composition of concerns in the object-oriented model
inferred← citeshttps://doi.org/10.1145/286936.286950openalex-snapshot
Adaptive plug-and-play components for evolutionary software development
inferred← citeshttps://doi.org/10.1145/351936.351957openalex-snapshot
Towards agent oriented application frameworks
inferred← citeshttps://doi.org/10.1145/3731302.3731306openalex-snapshot
How to and Who Should Read This Book
inferred← citeshttps://doi.org/10.1145/3731302.3731307openalex-snapshot
Modern Software Design Paradigms
inferred← citeshttps://doi.org/10.1145/3731302.3731314openalex-snapshot
Cubes: SPLs of SPLs of SPLs of SPLs…
inferred← citeshttps://doi.org/10.1145/3731302.3731315openalex-snapshot
Refactorings and Design Patterns
inferred← citeshttps://doi.org/10.1145/3731302.3731316openalex-snapshot
The X15 SPL Refactoring Engine
inferred← citeshttps://doi.org/10.1145/3731302.3731317openalex-snapshot
Searching Colossal Product Spaces
inferred← citeshttps://doi.org/10.1145/3731302.3731319openalex-snapshot
Advanced: Optimal Dataflow Programs and Dataflow SPLs
inferred← citeshttps://doi.org/10.1145/3731302.3731320openalex-snapshot
Advanced: Functor Applications
inferred← citeshttps://doi.org/10.1145/3731302.3731323openalex-snapshot
Common Symbols, Acronyms and Tool Names Used
inferred← citeshttps://doi.org/10.1145/3731302.3731325openalex-snapshot
4-Level MOFs and Bootstrapping Tools
inferred← citeshttps://doi.org/10.1145/3731302.3731328openalex-snapshot
Expression Problem Source Code
inferred← citeshttps://doi.org/10.1145/3731302.3731329openalex-snapshot
Eclipse Refactoring Preconditions
inferred← citeshttps://doi.org/10.1145/3731302.3731330openalex-snapshot
Polymorphism and Distributivity Properties of MDE Model Refactorings
inferred← citeshttps://doi.org/10.1145/375360.375367openalex-snapshot
A software engineering perspective on algorithmics
inferred← citeshttps://doi.org/10.1145/505894.505912openalex-snapshot
Workshop on multi-dimensional separation of concerns in software engineering
inferred← citeshttps://doi.org/10.1145/508386.508400openalex-snapshot
Towards a standard design language for AOSD
inferred← citeshttps://doi.org/10.1145/570907.570928openalex-snapshot
Specification, implementation, and deployment of components
inferred← citeshttps://doi.org/10.1145/582419.582426openalex-snapshot
Integrating independent components with on-demand remodularization
inferred← citeshttps://doi.org/10.1145/582424.582426openalex-snapshot
Integrating independent components with on-demand remodularization
inferred← citeshttps://doi.org/10.1147/sj.453.0527openalex-snapshot
Multilevel models in model-driven engineering, product lines, and metaprogramming
inferred← citeshttps://doi.org/10.14288/1.0051659openalex-snapshot
Essential software structure through implicit context
inferred← citeshttps://doi.org/10.26083/tuprints-00000346openalex-snapshot
Modules for Hierarchical and Crosscutting Models
inferred← citeshttps://doi.org/10.3166/objet.11.1-2.33-46openalex-snapshot
Mise en symbiose des traits et des classboxes. Application à l'expression des collaborations
inferred← citeshttps://doi.org/10.3166/objet.9.1-2.31-44openalex-snapshot
Contrôle d'admission de composants avec des contrats comportementaux
inferred← citeshttps://doi.org/10.3990/1.9789036533195openalex-snapshot
Managing software complexity of adaptive systems
inferred← citeshttps://doi.org/10.47749/t/unicamp.1998.135377openalex-snapshot
Um framework para editores de diagramas cooperativos baseados em anotações
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0204034openalex-snapshot
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems
inferred← citeshttps://doi.org/10.5075/epfl-thesis-2930openalex-snapshot
Programming language abstractions for extensible software components
inferred← citeshttps://doi.org/10.5555/257572.257682openalex-snapshot
Program and interface slicing for reverse engineering
inferred← citeshttps://doi.org/10.7892/boris.104388openalex-snapshot
Supporting Unanticipated Changes with Traits and Classboxes
inferred← citeshttps://doi.org/10.7892/boris.104667openalex-snapshot
Separating Concerns with First-Class Namespaces
inferred← citeshttps://doi.org/10.7907/z9qj7fbropenalex-snapshot
IDebug: An Advanced Debugging Framework for Java
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.