Gösterilen 1 - 10 sonuçlar arası kayıtlar. 32 sonuç. Aranan kelime '"Requirements/Specifications."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Compositional refinement of interactive systems. Yazar: Broy, Manfred

    Yayımlandı Journal of the ACM
    Makale

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. Yazar: Blundell, Colin

    Makale

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. Yazar: Ciobanu, Gabriel

    Makale

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

    Makale

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

    Makale

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

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

    Makale

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    Makale

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

    Lightweight object specification with typestates. Yazar: Bierhoff, Kevin

    Makale

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. Yazar: Tillman, Nikolai

    Makale

    Parameterized unit tests with unit meister.
  10. 10

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

    Makale

    Inconsistency detection and resolution for context-aware middleware support.

Arama Araçları: