A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.
Dines BjørnerPublished in: SOFSEM (1997)
Keyphrases
- formal specification
- object oriented design
- formal methods
- software design
- development lifecycle
- specification languages
- requirements engineering
- user interface
- software development
- hardware design
- requirements specification
- software architecture
- software components
- software systems
- functional requirements
- database
- object oriented systems
- design methodologies
- software development process
- source code
- process algebra
- formal specification language
- data abstraction
- design methodology
- design tools
- design patterns
- knowledge based systems
- cooperative
- information systems
- software maintenance
- software projects
- model checking
- software requirements
- software engineering
- web services
- real world