Technical Dictionary
Data-Flow Analysis II CS 671 March 13, 2008. CS 671 – Spring 2008 1 Data-Flow Analysis Gather conservative, approximate information about what a program.
Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis Jennifer Horkoff 1 Eric Yu 2 Arup Ghose 1 Department of Computer.
Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis
Clousot A static contract checker based on abstract interpretation
