The following pages link to (Q4282672):
Displayed 24 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)
- 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)
- 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)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- (Q4790903) (← links)
- Modular specification of frame properties in JML (Q4794726) (← 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)