Showing 1 - 10 results of 32 for search '"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.

खोज साधन: