Visas 1 - 10 av 32 resultat för sökning '"Requirements/Specifications."', Sökningstid: 0,02s Förfina resultatet
  1. 1

    Compositional refinement of interactive systems. av Broy, Manfred

    I publikationen Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. av Blundell, Colin

    I publikationen Software engineering notes.
    Artikel

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. av Ciobanu, Gabriel

    I publikationen 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. av Mateescu, Radu

    I publikationen 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. av Singh Kushwaha, Dharmender

    I publikationen 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. av De Landtsheer, Renaud

    I publikationen Software engineering notes.
    Artikel

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    I publikationen Software engineering notes.
    Artikel

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

    Lightweight object specification with typestates. av Bierhoff, Kevin

    I publikationen Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. av Tillman, Nikolai

    I publikationen Software engineering notes.
    Artikel

    Parameterized unit tests with unit meister.
  10. 10

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

    I publikationen Software engineering notes.
    Artikel

    Inconsistency detection and resolution for context-aware middleware support.

Sökverktyg: