Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12).
Corina S. PasareanuGwen SalaünPublished in: Sci. Comput. Program. (2014)
Keyphrases
- special issue
- selected papers
- software components
- international workshop
- annual conference
- software systems
- international journal
- databases and information systems
- ecml pkdd
- computer science
- invited talk
- ai edam
- special section
- software development
- review process
- asia pacific
- applied intelligence
- user interface
- facial expression recognition
- formal methods
- development process
- source code
- information systems
- artificial intelligence
- real world