Eiffel - MaRDI portal

swMATH3522MaRDI QIDQ16053FDOQ16053

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

On environment-driven software model for internetware
Service refinement
Denotational semantics of an object-oriented programming language with explicit wrappers
Mechanisms for improved covariant type-checking
Towards an object-oriented framework for the advection-diffusion model
A simulation analysis of sequencing rules in a flexible flowline
Special issue: Concurrency and real-time for Eiffel-like languages. Papers from a workshop, York, UK, July 2006
Method redefinition-ensuring alternative behaviors
A generic complete dynamic logic for reasoning about purity and effects
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
Aligning concepts across proof assistant libraries
Towards imperative modules: reasoning about invariants and sharing of mutable state
Composing atomic features
Title not available (Why is that?)
A survey of challenges for runtime verification from advanced application domains (beyond software)
Refinement and verification in component-based model-driven design
Title not available (Why is that?)
Semantics of temporal classes
Reasoning about dynamically evolving process structures
A compiler for an algebraic specification language
ERC -- an object-oriented refinement calculus for Eiffel
Observational purity and encapsulation
How the design of JML accommodates both runtime assertion checking and formal verification
A minimalist approach to objects
Domain-specific semantics and data refinement of object models
A coalgebraic semantics of subtyping
Title not available (Why is that?)
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Object-oriented programming languages: interpretation
Seamless design: impedance mismatch revisited
Compositional reasoning about active objects with shared futures
As-if-serial exception handling semantics for Java futures
Client-based cohesion metrics for Java programs
Featherweight Java with dynamic and static overloading
A meta-language for typed object-oriented languages
Object inheritance beyond subtyping
Software perfective maintenance: Including retrainable software in software reuse
Categorical foundations for structured specifications in \(\mathsf{Z}\)
Towards an automated environment in computational mechanics
Selftype is a special case
Object-oriented programming in control system design: A survey
Object-extending class transformations
Defining relationships in ecology using object-oriented formal specifications
A temporal logic-based approach for the description of object behavior evolution
Abstract specification of structures and methods in symbolic mathematical computation
Object-oriented description of graph data structures
Theory and methodology of assumption/commitment based system interface specification and architectural contracts
An object-oriented parallel programming language for distributed-memory parallel computing platforms
Fundamental Approaches to Software Engineering
ER modelling from first relational principles
Object-oriented hybrid systems of coalgebras plus monoid actions
Title not available (Why is that?)
A rewriting logic semantics approach to modular program analysis
An extended comparative study of language support for generic programming
Object oriented programming via Fortran 90
Class invariants as abstract interpretation of trace semantics
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
A modest model of records, inheritance, and bounded quantification
Inferring Loop Invariants Using Postconditions
Schedulability of asynchronous real-time concurrent objects
Compositional schedulability analysis of real-time actor-based systems
Metamodeling semantics of multiple inheritance
A CSP model of Eiffel's SCOOP
Title not available (Why is that?)
Inherited extension of many-sorted theories
Quiz games as a model for information hiding
Automated compositional proofs for real-time systems
Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD
Separation Logic for Multiple Inheritance
A functional framework for agent-based models of exchange
Title not available (Why is that?)
Specification and Runtime Verification of Java Card Programs
Coalgebras for binary methods: Properties of bisimulations and invariants
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Dynamic overloading with copy semantics in object-oriented languages: a formal account
Verification of object-oriented programs: a transformational approach
The structured complexity of object-oriented programs
FM 2005: Formal Methods
Title not available (Why is that?)
An operational semantics for object-oriented concepts based on the class hierarchy
Debugging Maude programs via runtime assertion checking and trace slicing
Design and evaluation of C++ open multi-methods
Algorithmic support for model transformation in object-oriented software development
Transposing partial components--an exercise on coalgebraic refinement
Privacy via subsumption
Coping with aliasing in the GNU Eiffel Compiler implementation
Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs
Contracts for higher-order functions
Title not available (Why is that?)
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations
Verification of Concurrent Systems with VerCors
Title not available (Why is that?)
A unified solution framework for multi-attribute vehicle routing problems
Integrating a formal method into a software engineering process with UML and Java
Implementing statically typed object-oriented programming languages
Title not available (Why is that?)

This page was built for software: Eiffel