reverse engineering Erlang software

by Thomas Arts , Cecilia Holmqvist , Ericsson Ab

Active Bibliography

715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
575 On Visual Formalisms – David Harel - 1988
625 An introduction to software architecture – David Garlan, Mary Shaw - 1993
480 Goal-directed Requirements Acquisition – Anne Dardenne , Axel van Lamsweerde, Stephen Fickas - 1993
429 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
395 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
378 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001