Formal Aspects of Component Software (FACS 2010 selected and extended papers).
Luís Soares BarbosaMarkus LumpePublished in: Sci. Comput. Program. (2014)
Keyphrases
- software components
- special issue
- special section
- software development
- software systems
- formal methods
- related topics
- software tools
- facial expression recognition
- computer systems
- aspect oriented
- formal model
- carefully selected
- artificial intelligence
- aspect oriented programming
- requirements specification
- component based development
- software reuse
- selected papers
- software design
- human computer interaction
- user interface
- video sequences
- high level