A Formal Approach to Designing Anonymous Software.

Yoshinobu Kawabe Hideki Sakurada

Published in: SERA (2007)

Keyphrases

software tools
software development
formal model
data sets
user interface
computer systems
embedded systems
formal methods
commercial software
artificial intelligence
digital libraries
software design
software package
computer software
mathematical theory
formal language