Näytetään 1 - 10 yhteensä 32 tuloksesta haulle '"Requirements/Specifications."', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Compositional refinement of interactive systems. Tekijä Broy, Manfred

    Julkaisussa Journal of the ACM
    Artikkeli

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. Tekijä Blundell, Colin

    Artikkeli

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. Tekijä Ciobanu, Gabriel

    Artikkeli

    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. Tekijä Mateescu, Radu

    Artikkeli

    π-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. Tekijä Singh Kushwaha, Dharmender

    Artikkeli

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

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

    Artikkeli

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Artikkeli

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

    Lightweight object specification with typestates. Tekijä Bierhoff, Kevin

    Artikkeli

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. Tekijä Tillman, Nikolai

    Artikkeli

    Parameterized unit tests with unit meister.
  10. 10

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

    Artikkeli

    Inconsistency detection and resolution for context-aware middleware support.

Työkalut: