يعرض 1 - 10 نتائج من 32 نتيجة بحث عن '"Requirements/Specifications."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: