Analysis as a First-Class Citizen: An Application to Architecture Description Languages.

Jrme Hugues, Guillaume Brau

Browse the full ISORC paper archive.