Erakusten 1 - 4 emaitzak -- 4 bilaketa honetara '"Architecture analysis."', Bilaketaren denbora: 0,02s 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.
  2. 2

    Fluent temporal logic for discrete-time event-based models. nork Letier, Emmanuel

    Argitaratua izan da Software engineering notes.
    Artikulua

    Fluent temporal logic for discrete-time event-based models.
  3. 3

    A notation for problematic architecture interactions. nork Davis, L.

    Argitaratua izan da Software engineering notes.
    Artikulua

    A notation for problematic architecture interactions.
  4. 4

    The origin and evolution of cities nork Sjoberg, Gideon

    Analytics

    The origin and evolution of cities

Bilaketa egiteko lanabesak: