Treffer 1 - 10 von 32 für Suche '"Requirements/Specifications."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

    Compositional refinement of interactive systems. von Broy, Manfred

    Veröffentlicht in Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. von Blundell, Colin

    Veröffentlicht in Software engineering notes.
    Artikel

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. von Ciobanu, Gabriel

    Veröffentlicht 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. von Mateescu, Radu

    Veröffentlicht 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. von Singh Kushwaha, Dharmender

    Veröffentlicht 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. von De Landtsheer, Renaud

    Veröffentlicht in Software engineering notes.
    Artikel

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Lightweight object specification with typestates. von Bierhoff, Kevin

    Veröffentlicht in Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. von Tillman, Nikolai

    Veröffentlicht in Software engineering notes.
    Artikel

    Parameterized unit tests with unit meister.
  10. 10

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

    Veröffentlicht in Software engineering notes.
    Artikel

    Inconsistency detection and resolution for context-aware middleware support.

Suchwerkzeuge: