scientific article; zbMATH DE number 1105469

Publication date: 18 January 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Eiffel software engineering techniques object-orieented languages

Theory of programming languages (68N15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items

Software perfective maintenance: Including retrainable software in software reuse ⋮ Quiz games as a model for information hiding ⋮ Views on Behaviour Protocols and Their Semantic Foundation ⋮ Holistic Specifications for Robust Programs ⋮ Algorithmic support for model transformation in object-oriented software development ⋮ Modular specification of frame properties in JML ⋮ Method redefinition-ensuring alternative behaviors ⋮ What is a sorting function? ⋮ An Automatic Technique for Static Deadlock Prevention ⋮ New ⋮ Contracts for concurrency ⋮ Beyond contracts for concurrency ⋮ Cameo: an alternative model of concurrency for Eiffel ⋮ Mechanisms for improved covariant type-checking ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Towards imperative modules: reasoning about invariants and sharing of mutable state ⋮ Are the logical foundations of verifying compiler prototypes matching user expectations? ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Matching in security-by-contract for mobile code ⋮ Structural and behavioural compatibility of graphical service specifications ⋮ Automated compositional proofs for real-time systems ⋮ Observational purity and encapsulation ⋮ Compositional reasoning about active objects with shared futures ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Verification of object-oriented programs: a transformational approach ⋮ Tools for support of automata-based programming ⋮ A CSP model of Eiffel's SCOOP ⋮ Partiality, State and Dependent Types ⋮ On the role of memory in object-based and object-oriented languages ⋮ Class invariants as abstract interpretation of trace semantics ⋮ Service refinement ⋮ On environment-driven software model for internetware ⋮ A Coalgebraic Semantics of Subtyping ⋮ The interaction of contracts and laziness ⋮ Metamodeling semantics of multiple inheritance ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Formal design and implementation of constraints in software components ⋮ The weakest specifunction ⋮ Verification of Concurrent Systems with VerCors ⋮ Loop invariants ⋮ Inferring Loop Invariants Using Postconditions ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Checking Java Assertions Using Automated Test-Case Generation ⋮ Sound refactorings ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation ⋮ Balancing flexibility and performance in three dimensional meshing tools ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Fifty years of Hoare's logic ⋮ Distributed Objects for Parallel Numerical Applications ⋮ Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes ⋮ A unified solution framework for multi-attribute vehicle routing problems ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ Client-based cohesion metrics for Java programs ⋮ An algebraically specified language for data directed design ⋮ Eiffel ⋮ Reverse Hoare Logic ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ A minimalist approach to objects ⋮ Towards an object-oriented framework for the advection-diffusion model ⋮ Sound and Relaxed Behavioural Inheritance ⋮ Using CafeOBJ to Mechanise Refactoring Proofs and Application ⋮ Domain-specific Semantics and Data Refinement of Object Models ⋮ Invariants for Non-Hierarchical Object Structures ⋮ Model-based specification ⋮ jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation