Erakusten 1 - 1 emaitzak -- 1 bilaketa honetara 'Mateescu, Radu', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. nork Mateescu, Radu

    Argitaratua izan da Software engineering notes.
    Artikulua

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.

Bilaketa egiteko lanabesak: