Review of software abstractions: logic, language and analysis by Daniel Jackson M.I.T. Press, 2006.

Published in: SIGACT News (2010)

Keyphrases

modeling language
image analysis
information systems
data analysis
natural language
software development
statistical analysis
software systems
modal logic
software tools
literature review
analysis tool