検索結果 1 - 10 結果 / 32 検索語 '"Requirements/Specifications."', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Compositional refinement of interactive systems. 著者: Broy, Manfred

    出版年 Journal of the ACM
    論文

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. 著者: Blundell, Colin

    論文

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. 著者: Ciobanu, Gabriel

    論文

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

    論文

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

    論文

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

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

    論文

    Reasoning about confidentiality at requirements engineering time.
  7. 7

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

    論文

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

    Lightweight object specification with typestates. 著者: Bierhoff, Kevin

    論文

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. 著者: Tillman, Nikolai

    論文

    Parameterized unit tests with unit meister.
  10. 10

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

    論文

    Inconsistency detection and resolution for context-aware middleware support.

検索ツール: