@leonardo

π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures

. SIGSOFT Softw. Eng. Notes, 29 (5): 1--20 (September 2004)
DOI: 10.1145/1022494.1022517

Links and resources

Tags