Toon 1 - 10 resultaten van 32 Voor zoekopdracht '"Requirements/Specifications."', zoektijd: 0,01s Verfijn jouw resultaten
  1. 1

    Compositional refinement of interactive systems. door Broy, Manfred

    Gepubliceerd in Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. door Blundell, Colin

    Gepubliceerd in Software engineering notes.
    Artikel

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. door Ciobanu, Gabriel

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Lightweight object specification with typestates. door Bierhoff, Kevin

    Gepubliceerd in Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. door Tillman, Nikolai

    Gepubliceerd in Software engineering notes.
    Artikel

    Parameterized unit tests with unit meister.
  10. 10

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Inconsistency detection and resolution for context-aware middleware support.

Zoekinstrumenten: