Showing 1 - 10 results of 32 for search '"Requirements/Specifications."', Forespørselstid: 0.01s Refine Results
  1. 1

    Compositional refinement of interactive systems. af Broy, Manfred

    Udgivet i Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. af Blundell, Colin

    Article

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. af Ciobanu, Gabriel

    Article

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

    Article

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

    Article

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

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

    Article

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Article

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

    Lightweight object specification with typestates. af Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. af Tillman, Nikolai

    Article

    Parameterized unit tests with unit meister.
  10. 10

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

    Article

    Inconsistency detection and resolution for context-aware middleware support.

Søgeredskaber: