Showing 1 - 10 results of 32 for search '"Requirements/Specifications."', tempo de consulta: 0.02s Limitar resultados
  1. 1

    Compositional refinement of interactive systems. por Broy, Manfred

    Publicado en Journal of the ACM
    Artigo

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. por Blundell, Colin

    Artigo

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. por Ciobanu, Gabriel

    Artigo

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

    Artigo

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

    Artigo

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

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

    Artigo

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Artigo

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

    Lightweight object specification with typestates. por Bierhoff, Kevin

    Artigo

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. por Tillman, Nikolai

    Artigo

    Parameterized unit tests with unit meister.
  10. 10

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

    Artigo

    Inconsistency detection and resolution for context-aware middleware support.

Ferramentas de procura: