Mostrando 1 - 10 Resultados de 32 Para Buscar '"Requirements/Specifications."', tiempo de consulta: 0.01s Limitar resultados
  1. 1

    Compositional refinement of interactive systems. por Broy, Manfred

    Publicado en Journal of the ACM
    Artículo

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. por Blundell, Colin

    Artículo

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. por Ciobanu, Gabriel

    Artículo

    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

    Artículo

    π-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

    Artículo

    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

    Artículo

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Artículo

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

    Lightweight object specification with typestates. por Bierhoff, Kevin

    Artículo

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. por Tillman, Nikolai

    Artículo

    Parameterized unit tests with unit meister.
  10. 10

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

    Artículo

    Inconsistency detection and resolution for context-aware middleware support.

Herramientas de búsqueda: