The following pages link to (Q4282672):
Displaying 38 items.
- LARCH (Q14670) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- An assertional proof of red-black trees using Dafny (Q1984797) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Modeling and visualizing object-oriented programs with Codecharts (Q2248065) (← links)
- Impact of performance considerations on formal specification design (Q2365398) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Languages for formalizing, visualizing and verifying software architectures (Q4329555) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- A formal notation and tool for the engineering of CORBA systems (Q4790903) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Goldilocks and the three specifications (Q5044720) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Specifications can make programs run faster (Q5044738) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- The deductive IDEF1X data model of a tooling system (Q5717987) (← links)
