Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl.
Dines BjørnerPublished in: Essays in Memory of Ole-Johan Dahl (2004)
Keyphrases
- software design
- requirements engineering
- software engineering
- software development
- systems engineering
- software systems
- requirements elicitation
- software development process
- automotive industry
- goal oriented
- requirements specification
- development process
- design patterns
- systems development
- functional requirements
- educational software
- software intensive systems
- life cycle
- case study
- requirements engineering process
- artificial intelligence
- software architecture
- uml diagrams
- object oriented design
- reverse engineering
- real world
- literature review
- requirements analysis
- object oriented
- information systems
- programming language
- software components
- software quality
- design rationale
- reinforcement learning
- machine learning