Εμφανίζονται 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.

Εργαλεία αναζήτησης: