Cited in
(only showing first 100 items - show all)- An algebraically specified language for data directed design
- On environment-driven software model for internetware
- Service refinement
- scientific article; zbMATH DE number 1569132 (Why is no real title available?)
- Denotational semantics of an object-oriented programming language with explicit wrappers
- Mechanisms for improved covariant type-checking
- Type-safe covariant specialization with generalized matching
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Correct blame for contracts, no more scapegoating
- A rewriting logic semantics approach to modular program analysis
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Towards an object-oriented framework for the advection-diffusion model
- A simulation analysis of sequencing rules in a flexible flowline
- Class invariants as abstract interpretation of trace semantics
- A modest model of records, inheritance, and bounded quantification
- An extended comparative study of language support for generic programming
- Checking Java Assertions Using Automated Test-Case Generation
- Object oriented programming via Fortran 90
- Compositional schedulability analysis of real-time actor-based systems
- Schedulability of asynchronous real-time concurrent objects
- Metamodeling semantics of multiple inheritance
- Inferring Loop Invariants Using Postconditions
- Verifying Whiley programs with Boogie
- Special issue: Concurrency and real-time for Eiffel-like languages. Papers from a workshop, York, UK, July 2006
- Method redefinition-ensuring alternative behaviors
- scientific article; zbMATH DE number 1951186 (Why is no real title available?)
- A CSP model of Eiffel's SCOOP
- Open and closed scopes for constrained genericity
- Model-based specification
- Extending the object model to provide explicit support for crosscutting concerns
- A generic complete dynamic logic for reasoning about purity and effects
- Quiz games as a model for information hiding
- Inherited extension of many-sorted theories
- scientific article; zbMATH DE number 814793 (Why is no real title available?)
- scientific article; zbMATH DE number 1951131 (Why is no real title available?)
- Defining contracts with different tools in software development
- Towards axiom-based test generation in .NET applications
- Automated compositional proofs for real-time systems
- Expression-Based Aliasing for OO–languages
- First-Class Object Sets
- Kava: a Java dialect with a uniform object model for lightweight classes
- Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD
- scientific article; zbMATH DE number 49475 (Why is no real title available?)
- scientific article; zbMATH DE number 49817 (Why is no real title available?)
- What is a sorting function?
- Beyond contracts for concurrency
- Cameo: an alternative model of concurrency for Eiffel
- Contracts for concurrency
- Flexible access control policy for SCOOP
- Verification rules for exception handling in Eiffel
- Separation Logic for Multiple Inheritance
- An extended account of contract monitoring strategies as patterns of communication
- Unifying theories of reactive design contracts
- scientific article; zbMATH DE number 54049 (Why is no real title available?)
- A functional framework for agent-based models of exchange
- Aligning concepts across proof assistant libraries
- Towards imperative modules: reasoning about invariants and sharing of mutable state
- Composing atomic features
- scientific article; zbMATH DE number 1956456 (Why is no real title available?)
- Fifty years of Hoare's logic
- On agent-based software engineering
- scientific article; zbMATH DE number 604130 (Why is no real title available?)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification
- Coalgebras for binary methods: Properties of bisimulations and invariants
- scientific article; zbMATH DE number 108426 (Why is no real title available?)
- Avoid a void: The eradication of null dereferencing
- Assessing the software crisis: Why information systems are beyond control
- Denotational semantics of a simple model of Eiffel
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Refinement and verification in component-based model-driven design
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Semantics of temporal classes
- Reasoning about dynamically evolving process structures
- Verification of object-oriented programs: a transformational approach
- scientific article; zbMATH DE number 613708 (Why is no real title available?)
- Runtime access control in C\(\#\)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- scientific article; zbMATH DE number 2000451 (Why is no real title available?)
- scientific article; zbMATH DE number 964529 (Why is no real title available?)
- On simulation, subtyping and substitutability in sequential object systems
- The structured complexity of object-oriented programs
- scientific article; zbMATH DE number 1084716 (Why is no real title available?)
- Contracts, Scenarios and Prototypes
- ERC -- an object-oriented refinement calculus for Eiffel
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- A compiler for an algebraic specification language
- Observational purity and encapsulation
- An operational semantics for object-oriented concepts based on the class hierarchy
- Debugging Maude programs via runtime assertion checking and trace slicing
- FM 2005: Formal Methods
- Design and evaluation of C++ open multi-methods
- How the design of JML accommodates both runtime assertion checking and formal verification
- Loop invariants: analysis, classification, and examples
- A minimalist approach to objects
- Transposing partial components--an exercise on coalgebraic refinement
- scientific article; zbMATH DE number 52152 (Why is no real title available?)
- Domain-specific semantics and data refinement of object models
- Reasoning about assignments in recursive data structures
- Classboxes: controlling visibility of class extensions
This page was built for software: Eiffel
