Formal Aspects of Component Software (FACS 2013).

José Luiz Fiadeiro Zhiming Liu

Published in: Sci. Comput. Program. (2015)

Keyphrases

software components
software development
software systems
formal methods
computer systems
software maintenance
software architecture
user interface
formal model
commercial software
technical issues
software tools
source code
formal specification
software design
development process
hardware design
test cases