Showing 1 - 10 results of 32 for search '"Requirements/Specifications."', זמן שאילתה: 0.02s Refine Results
  1. 1

    Compositional refinement of interactive systems. מאת Broy, Manfred

    הוצא לאור ב Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. מאת Blundell, Colin

    הוצא לאור ב Software engineering notes.
    Article

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. מאת Ciobanu, Gabriel

    הוצא לאור ב Software engineering notes.
    Article

    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.
    Article

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

    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.
    Article

    Reasoning about confidentiality at requirements engineering time.
  7. 7

    Detecting and resolving semantic pathologies in UML sequence diagrams. מאת Baker, Paul

    הוצא לאור ב Software engineering notes.
    Article

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

    Lightweight object specification with typestates. מאת Bierhoff, Kevin

    הוצא לאור ב Software engineering notes.
    Article

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. מאת Tillman, Nikolai

    הוצא לאור ב Software engineering notes.
    Article

    Parameterized unit tests with unit meister.
  10. 10

    Inconsistency detection and resolution for context-aware middleware support. מאת Xu, Chang

    הוצא לאור ב Software engineering notes.
    Article

    Inconsistency detection and resolution for context-aware middleware support.

כלי חיפוש: