Pages that link to "Program refinement"
Showing 23 items.
- Design by contract (links | edit)
- Abstraction (computer science) (links | edit)
- Software design (links | edit)
- Liskov substitution principle (links | edit)
- Program derivation (links | edit)
- Transformation language (links | edit)
- B-Method (links | edit)
- Formal specification (links | edit)
- Abstract state machine (links | edit)
- Refinement calculus (links | edit)
- Program transformation (links | edit)
- Unifying Theories of Programming (links | edit)
- Model transformation (links | edit)
- Specification (technical standard) (links | edit)
- List of programming language researchers (links | edit)
- Wide-spectrum language (links | edit)
- FDR (software) (links | edit)
- Kaisa Sere (links | edit)
- Predicative programming (links | edit)
- Gavin Lowe (computer scientist) (links | edit)
- Talk:Stack-oriented programming (links | edit)
- User:LinguisticMystic/nav (links | edit)
- User:LinguisticMystic/terms (links | edit)