The following pages link to (Q4233991):
Displaying 13 items.
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- Adequate formalization (Q1024867) (← links)
- An axiom system for sequence-based specification (Q1044834) (← links)
- Defining relationships in ecology using object-oriented formal specifications (Q1340342) (← links)
- A framework for system specification using chains on cell complexes. (Q1400739) (← links)
- Formal specification is an experimental science (Q1817111) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- On the construction of a domain language for a class of reactive systems (Q2751759) (← links)
- Formal specification with B (Q2757791) (← links)
- Specification architectures (Q2906955) (← links)
- Specification statements and refinement (Q3766811) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703996) (← links)