Eiffel

swMATH3522MaRDI QIDQ16053

No author found.

Related Items (only showing first 100 items - show all)

Software perfective maintenance: Including retrainable software in software reuse ⋮ Quiz games as a model for information hiding ⋮ Reasoning about dynamically evolving process structures ⋮ Object-oriented programming in control system design: A survey ⋮ Routing and scheduling in a flexible job shop by tabu search ⋮ ERC -- an object-oriented refinement calculus for Eiffel ⋮ Object-extending class transformations ⋮ Towards an automated environment in computational mechanics ⋮ Special issue: Concurrency and real-time for Eiffel-like languages. Papers from a workshop, York, UK, July 2006 ⋮ ER modelling from first relational principles ⋮ Method redefinition-ensuring alternative behaviors ⋮ Defining relationships in ecology using object-oriented formal specifications ⋮ What is a sorting function? ⋮ Assessing the software crisis: Why information systems are beyond control ⋮ Denotational semantics of a simple model of Eiffel ⋮ Contracts for concurrency ⋮ Beyond contracts for concurrency ⋮ Flexible access control policy for SCOOP ⋮ Cameo: an alternative model of concurrency for Eiffel ⋮ A meta-language for typed object-oriented languages ⋮ Aligning concepts across proof assistant libraries ⋮ A temporal logic-based approach for the description of object behavior evolution ⋮ 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 ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ Composing atomic features ⋮ An object-oriented parallel programming language for distributed-memory parallel computing platforms ⋮ On simulation, subtyping and substitutability in sequential object systems ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Structural and behavioural compatibility of graphical service specifications ⋮ OSIPE - a tool for scientific programming in FORTRAN ⋮ Traits: correctness-by-construction for free ⋮ The structured complexity of object-oriented programs ⋮ A blocking model for reactive objects ⋮ Gmat. A software tool for the computation of the rovibrational \(G\) matrix ⋮ On the equivalence of upward and downward inheritance reasoners ⋮ Design and evaluation of C++ open multi-methods ⋮ A new mechanism for exception handling in concurrent control systems ⋮ Automated compositional proofs for real-time systems ⋮ Observational purity and encapsulation ⋮ Object-oriented programming languages: interpretation ⋮ Seamless design: impedance mismatch revisited ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Compositional reasoning about active objects with shared futures ⋮ Stepwise refinement of heap-manipulating code in Chalice ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ A functional framework for agent-based models of exchange ⋮ Issues in the design of a parallel object-oriented language ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Verification of object-oriented programs: a transformational approach ⋮ A modest model of records, inheritance, and bounded quantification ⋮ Object-oriented description of graph data structures ⋮ Selftype is a special case ⋮ On agent-based software engineering ⋮ 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 ⋮ Abstract specification of structures and methods in symbolic mathematical computation ⋮ The interaction of contracts and laziness ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Metamodeling semantics of multiple inheritance ⋮ Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs ⋮ Unifying theories of reactive design contracts ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ 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 ⋮ A discrete-time UML semantics for concurrency and communication in safety-critical applications ⋮ How the design of JML accommodates both runtime assertion checking and formal verification ⋮ A uniform object-oriented solution to the eigenvalue problem for real symmetric and Hermitian matrices ⋮ Fifty years of Hoare's logic ⋮ Refinement and verification in component-based model-driven design ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ A simulation analysis of sequencing rules in a flexible flowline ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ Featherweight Java with dynamic and static overloading ⋮ As-if-serial exception handling semantics for Java futures ⋮ Client-based cohesion metrics for Java programs ⋮ An algebraically specified language for data directed design ⋮ Inherited extension of many-sorted theories ⋮ PROCOL. A concurrent object-oriented language with protocols delegation and constraints ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works ⋮ Semantics of temporal classes ⋮ Privacy via subsumption ⋮ Type-safe covariant specialization with generalized matching ⋮ Towards an object-oriented framework for the advection-diffusion model ⋮ Verifying Whiley programs with Boogie ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ Open and closed scopes for constrained genericity ⋮ Model-based specification ⋮ jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation ⋮ Object inheritance beyond subtyping ⋮ Views on Behaviour Protocols and Their Semantic Foundation

This page was built for software: Eiffel