The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development.
Daniel M. BerryPublished in: RE Workshops (2019)
Keyphrases
- requirements engineering
- systems development
- reference model
- formal methods
- software engineering
- software architecture
- software development
- systems engineering
- metamodel
- development process
- requirements specification
- life cycle
- software systems
- software requirements
- information systems development
- reference models
- development lifecycle
- goal oriented
- modeling language
- artificial intelligence
- safety critical
- formal specification
- software intensive systems
- software design
- reverse engineering
- software projects
- design patterns
- model checking
- development methodologies
- requirements engineering process
- security requirements
- software process
- knowledge based systems
- databases
- literature review
- description language
- security properties
- software components
- e learning