The Role of Validation in Refinement-Based Formal Software Development.
Jean-Pierre JacquotAtif MashkoorPublished in: Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Keyphrases
- information retrieval
- software development
- software engineering
- development process
- case study
- software projects
- software developers
- software design
- development lifecycle
- model based testing
- logic programs
- software systems
- software architecture
- formal model
- business process
- early phase
- database systems
- decision making
- social networks