scientific article

Publication date: 23 January 1993

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

object-oriented languages Eiffel software engineering techniques \textit{Object-oriented software construction}\textit{Programming by contract}

Mathematics Subject Classification ID

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

Reasoning about dynamically evolving process structures, Routing and scheduling in a flexible job shop by tabu search, Denotational semantics of a simple model of Eiffel, A temporal logic-based approach for the description of object behavior evolution, Specification and verification of object-oriented programs using supertype abstraction, On simulation, subtyping and substitutability in sequential object systems, OSIPE - a tool for scientific programming in FORTRAN, MULTIMEDIA ENVIRONMENTS: DESIGNS FOR SIMULATION, Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping, On the equivalence of upward and downward inheritance reasoners, Seamless design: impedance mismatch revisited, Issues in the design of a parallel object-oriented language, JCML: A specification language for the runtime verification of Java card programs, An environment for DEVS-based multiformalism simulation in common lisp/CLOS, COTS selection using fuzzy interactive approach, Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs, Operations on records, JMLUnit: The Next Generation, Denotational semantics of an object-oriented programming language with explicit wrappers, Eiffel, Inherited extension of many-sorted theories, PROCOL. A concurrent object-oriented language with protocols delegation and constraints, A paradigmatic object-oriented programming language: Design, static typing and semantics, Object inheritance beyond subtyping