Formal Aspects of Component Software (FACS'09).
Sun MengBernhard SchätzPublished in: Sci. Comput. Program. (2012)
Keyphrases
- software components
- formal methods
- software systems
- software development
- software design
- computer systems
- software developers
- software architecture
- requirements specification
- technical issues
- software package
- formal specification
- user interface
- artificial intelligence
- test cases
- source code
- software evolution
- neural network
- software platform
- reactive systems
- data sets