Pages that link to "Refinement (computing)"
Jump to navigation
Jump to search
The following pages link to Refinement (computing):
Displaying 13 items.
- LexisNexis Risk Solutions (links)
- Index of object-oriented programming articles (links)
- Model checking (links)
- Agile software development (links)
- Software prototyping (links)
- B-Method (links)
- Jean-Raymond Abrial (links)
- Eric Hehner (links)
- Ralph-Johan Back (links)
- Jim Woodcock (links)
- Program Refinement (redirect page) (links)
- Refinement (links)
- List of Eclipse-based software (links)