Mostra 1 - 10 risultati di 32 ricerca '"Requirements/Specifications."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

    Compositional refinement of interactive systems. di Broy, Manfred

    Pubblicato in Journal of the ACM
    Articolo

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. di Blundell, Colin

    Articolo

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. di Ciobanu, Gabriel

    Articolo

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

    Articolo

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

    Articolo

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

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

    Articolo

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Articolo

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

    Lightweight object specification with typestates. di Bierhoff, Kevin

    Articolo

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. di Tillman, Nikolai

    Articolo

    Parameterized unit tests with unit meister.
  10. 10

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

    Articolo

    Inconsistency detection and resolution for context-aware middleware support.

Strumenti per la ricerca: