The following pages link to (Q4371400):
Displayed 50 items.
- Eiffel (Q16053) (← links)
- Quiz games as a model for information hiding (Q272185) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- On the role of memory in object-based and object-oriented languages (Q674010) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- An algebraically specified language for data directed design (Q751297) (← links)
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (Q812054) (← links)
- Method redefinition-ensuring alternative behaviors (Q834963) (← links)
- What is a sorting function? (Q843213) (← links)
- Contracts for concurrency (Q846109) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Tools for support of automata-based programming (Q927470) (← links)
- Service refinement (Q954408) (← links)
- On environment-driven software model for internetware (Q954409) (← links)
- Formal design and implementation of constraints in software components (Q964358) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Software perfective maintenance: Including retrainable software in software reuse (Q1328513) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- Towards an object-oriented framework for the advection-diffusion model (Q1594506) (← links)
- Model-based specification (Q1607085) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Sound refactorings (Q2266944) (← links)
- Balancing flexibility and performance in three dimensional meshing tools (Q2270001) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Mechanisms for improved covariant type-checking (Q2381977) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- The weakest specifunction (Q2484065) (← links)
- A unified solution framework for multi-attribute vehicle routing problems (Q2514767) (← links)
- A minimalist approach to objects (Q2568279) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Using CafeOBJ to Mechanise Refactoring Proofs and Application (Q2870325) (← links)
- Domain-specific Semantics and Data Refinement of Object Models (Q2873615) (← links)
- Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)