Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models

David Harel, Uwe Aßmann, Fabiana Fournier +3

Methodologies for development of complex systems and models include external reviews by domain and technology experts. Among others, such reviews can uncover undocumented built-in…