Đang hiển thị 1 - 10 kết quả của 32 cho tìm kiếm '"Requirements/Specifications."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1

    Compositional refinement of interactive systems. Bằng Broy, Manfred

    Xuất bản năm Journal of the ACM
    Bài viết

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. Bằng Blundell, Colin

    Xuất bản năm Software engineering notes.
    Bài viết

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. Bằng Ciobanu, Gabriel

    Xuất bản năm Software engineering notes.
    Bài viết

    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. Bằng Mateescu, Radu

    Xuất bản năm Software engineering notes.
    Bài viết

    π-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. Bằng Singh Kushwaha, Dharmender

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Reasoning about confidentiality at requirements engineering time. Bằng De Landtsheer, Renaud

    Xuất bản năm Software engineering notes.
    Bài viết

    Reasoning about confidentiality at requirements engineering time.
  7. 7

    Detecting and resolving semantic pathologies in UML sequence diagrams. Bằng Baker, Paul

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Lightweight object specification with typestates. Bằng Bierhoff, Kevin

    Xuất bản năm Software engineering notes.
    Bài viết

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. Bằng Tillman, Nikolai

    Xuất bản năm Software engineering notes.
    Bài viết

    Parameterized unit tests with unit meister.
  10. 10

    Inconsistency detection and resolution for context-aware middleware support. Bằng Xu, Chang

    Xuất bản năm Software engineering notes.
    Bài viết

    Inconsistency detection and resolution for context-aware middleware support.

Công cụ tìm kiếm: