প্রদর্শন 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

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. অনুযায়ী Ciobanu, Gabriel

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    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

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

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

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    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

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Reasoning about confidentiality at requirements engineering time.
  7. 7

    Detecting and resolving semantic pathologies in UML sequence diagrams. অনুযায়ী Baker, Paul

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

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

    Lightweight object specification with typestates. অনুযায়ী Bierhoff, Kevin

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. অনুযায়ী Tillman, Nikolai

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Parameterized unit tests with unit meister.
  10. 10

    Inconsistency detection and resolution for context-aware middleware support. অনুযায়ী Xu, Chang

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Inconsistency detection and resolution for context-aware middleware support.

অনুসন্ধান সাধনীগুলি: