Applying the VDM formalism across systems engineering lifecycles.
Claus Ballegaard NielsenPublished in: SysCon (2017)
Keyphrases
- systems engineering
- knowledge extraction
- software engineering
- systems development
- topics covered include
- requirements engineering
- web information systems
- industrial applications
- theoretical framework
- data mining
- engineering and computer science
- computational modeling
- computational biology
- software development
- databases
- knowledge based systems
- computational properties
- logic programs
- relational databases
- social networks
- design thinking