Erakusten 1 - 10 emaitzak -- 32 bilaketa honetara '"Requirements/Specifications."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

    Compositional refinement of interactive systems. nork Broy, Manfred

    Argitaratua izan da Journal of the ACM
    Artikulua

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. nork Blundell, Colin

    Argitaratua izan da Software engineering notes.
    Artikulua

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. nork Ciobanu, Gabriel

    Argitaratua izan da Software engineering notes.
    Artikulua

    A specification language for coordinated objects.
  4. 4

    π-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.
  5. 5

    Cognitive complexity metrics and its impact on software reliability based on cognitive software development model. nork Singh Kushwaha, Dharmender

    Argitaratua izan da Software engineering notes.
    Artikulua

    Cognitive complexity metrics and its impact on software reliability based on cognitive software development model.
  6. 6

    Reasoning about confidentiality at requirements engineering time. nork De Landtsheer, Renaud

    Argitaratua izan da Software engineering notes.
    Artikulua

    Reasoning about confidentiality at requirements engineering time.
  7. 7

    Detecting and resolving semantic pathologies in UML sequence diagrams. nork Baker, Paul

    Argitaratua izan da Software engineering notes.
    Artikulua

    Detecting and resolving semantic pathologies in UML sequence diagrams.
  8. 8

    Lightweight object specification with typestates. nork Bierhoff, Kevin

    Argitaratua izan da Software engineering notes.
    Artikulua

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. nork Tillman, Nikolai

    Argitaratua izan da Software engineering notes.
    Artikulua

    Parameterized unit tests with unit meister.
  10. 10

    Inconsistency detection and resolution for context-aware middleware support. nork Xu, Chang

    Argitaratua izan da Software engineering notes.
    Artikulua

    Inconsistency detection and resolution for context-aware middleware support.

Bilaketa egiteko lanabesak: