Formal aspects of component software (FACS 2018).
Kyungmin BaePeter Csaba ÖlveczkyPublished in: Sci. Comput. Program. (2020)
Keyphrases
- software components
- software systems
- software development
- neural network
- software design
- formal specification
- formal model
- formal methods
- source code
- open source
- computer systems
- software package
- user interface
- software quality
- personal computer
- knowledge base
- technical issues
- reactive systems
- requirements specification
- embedded systems
- life cycle
- software engineering
- high level
- case study
- website