reverse engineering Erlang software

Cached

Download Links

by Thomas Arts , Cecilia Holmqvist , Ericsson Ab

Active Bibliography

641 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
615 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
546 On Visual Formalisms – David Harel - 1988
575 An introduction to software architecture – David Garlan, Mary Shaw - 1993
469 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
431 Goal-directed Requirements Acquisition – Anne Dardenne , Axel van Lamsweerde, Stephen Fickas - 1993
402 STATEMATE: A Working Environment for the Development of Complex Reactive Systems – David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot - 1990
366 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
360 Executable Object Modeling with Statecharts – D Harel, E Gery - 1997