Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.
Dines BjørnerS. KoussoubeR. NoussiG. SatchokPublished in: ICFEM (1997)
Keyphrases
- software development
- software developers
- software components
- software engineering
- software systems
- formal methods
- building blocks
- case study
- cost estimation
- tool support
- software engineers
- software development environment
- development effort
- design principles
- development methodologies
- formal models
- software artifacts
- software development teams
- agile software development
- software reuse
- software tools
- stationary distribution
- frame rate
- software architecture
- video frames
- markov chain
- data model