Specification for Generic Enablers as Software.
John Paul BroganChristoph ThuemmlerPublished in: ITNG (2014)
Keyphrases
- high level
- software package
- real time
- software systems
- control flow
- software design
- case study
- source code
- formal methods
- personal computer
- domain specific
- software packages
- software application
- tool suite
- specification language
- generic model
- highly modular
- model checking
- formal specification
- test cases
- software development
- programming language
- user interface
- information retrieval
- neural network
- data sets