Toon 1 - 8 resultaten van 8 Voor zoekopdracht '"Specification languages."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

    Component-interaction automata as a verification-oriented component-based system specification. door Brim, Lubo?

    Gepubliceerd in Software engineering notes.
    Artikel

    Component-interaction automata as a verification-oriented component-based system specification.
  2. 2

    A micromodularity mechanism. door Jackson, Daniel

    Gepubliceerd in Software engineering notes.
    Artikel

    A micromodularity mechanism.
  3. 3

    Denotational linear time semantics and sequential composition. door Baier, Christel

    Artikel

    Denotational linear time semantics and sequential composition.
  4. 4

    A type system for object models. door Edwards, Jonathan

    Gepubliceerd in Software engineering notes.
    Artikel

    A type system for object models.
  5. 5

    Formal analysis of a space-craft controller using SPIN. door Havelund, K.

    Artikel

    Formal analysis of a space-craft controller using SPIN.
  6. 6

    Internal domain specific languages. door Miller, Jeremy

    Gepubliceerd in MSDN magazine
    Artikel

    Internal domain specific languages.
  7. 7

    Using mismatch negativity to study central auditory processing in developmental language and literacy impairments where are we, and where should we be going? [article]. door Bishop, D. V. M.

    Analytics

    Using mismatch negativity to study central auditory processing in developmental language and literacy impairments where are we, and where should we be going? [article].
  8. 8

    Relations among speech, language, and reading disorders. [article]. door Pennington, Bruce F.

    Analytics

    Relations among speech, language, and reading disorders. [article].

Zoekinstrumenten: