Eiffel
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Refinement and verification in component-based model-driven design
- Featherweight Java with dynamic and static overloading
- As-if-serial exception handling semantics for Java futures
- Client-based cohesion metrics for Java programs
- Selftype is a special case
- Abstract specification of structures and methods in symbolic mathematical computation
- Denotational semantics of an object-oriented programming language with explicit wrappers
- Dafny
- Elkhound
- A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works
- Gmat
- HasCasl
- JMLUnit
- Object inheritance beyond subtyping
- Software perfective maintenance: Including retrainable software in software reuse
- Reasoning about dynamically evolving process structures
- Object-oriented programming in control system design: A survey
- Object-extending class transformations
- Defining relationships in ecology using object-oriented formal specifications
- OSIPE
- PlaNet
- A meta-language for typed object-oriented languages
- A temporal logic-based approach for the description of object behavior evolution
- OSIPE - a tool for scientific programming in FORTRAN
- Modula
- COBOL
- DrScheme
- Virginity
- TAXYS
- ET++
- ParoC++
- jContractor
- Smalltalk
- Uppaal2k
- Ada95
- ArcAngel
- Design/CPN
- LARCH
- SCOOP
- PROCOL
- ANTLR
- BETA
- SPARK
- KRAKATOA
- Object-oriented hybrid systems of coalgebras plus monoid actions
- POOL
- CLOS
- CCSL
- TCOZ
- Towards an object-oriented framework for the advection-diffusion model
- VIATRA2
- Visual C#
- Open and closed scopes for constrained genericity
- Model-based specification
- ACSL
- Aligning concepts across proof assistant libraries
- Daikon
- An object-oriented parallel programming language for distributed-memory parallel computing platforms
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- SYROCO
- Valgrind
- eSkel
- AspectJ
- JML
- Spec#
- Omnibus
- Miranda
- Class invariants as abstract interpretation of trace semantics
- Rascal
- 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 simulation analysis of sequencing rules in a flexible flowline
- Inherited extension of many-sorted theories
- Ivor
- OCaml
- JCML
- Semantics of temporal classes
- Privacy via subsumption
- Type-safe covariant specialization with generalized matching
- A hidden Herbrand theorem: Combining the object and logic paradigms
- ERC -- an object-oriented refinement calculus for Eiffel
- CUMULVS
- ER modelling from first relational principles
- CrocoPat
- Assessing the software crisis: Why information systems are beyond control
- Denotational semantics of a simple model of Eiffel
- Specification and verification of object-oriented programs using supertype abstraction
- On simulation, subtyping and substitutability in sequential object systems
- A blocking model for reactive objects
- Scala
- On the equivalence of upward and downward inheritance reasoners
- A new mechanism for exception handling in concurrent control systems
- LISP
- ESC/Java
- VCC
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- SANTE
- JUnit
- Rostra
- Stepwise refinement of heap-manipulating code in Chalice
This page was built for software: Eiffel
