Dangos 1 - 10 canlyniadau o 32 ar gyfer chwilio '"Requirements/Specifications."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1

    Compositional refinement of interactive systems. gan Broy, Manfred

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Compositional refinement of interactive systems.
  2. 2

    Assume-guarantee testing. gan Blundell, Colin

    Erthygl

    Assume-guarantee testing.
  3. 3

    A specification language for coordinated objects. gan Ciobanu, Gabriel

    Erthygl

    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. gan Mateescu, Radu

    Erthygl

    π-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. gan Singh Kushwaha, Dharmender

    Erthygl

    Cognitive complexity metrics and its impact on software reliability based on cognitive software development model.
  6. 6

    Reasoning about confidentiality at requirements engineering time. gan De Landtsheer, Renaud

    Erthygl

    Reasoning about confidentiality at requirements engineering time.
  7. 7

    Detecting and resolving semantic pathologies in UML sequence diagrams. gan Baker, Paul

    Erthygl

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

    Lightweight object specification with typestates. gan Bierhoff, Kevin

    Erthygl

    Lightweight object specification with typestates.
  9. 9

    Parameterized unit tests with unit meister. gan Tillman, Nikolai

    Erthygl

    Parameterized unit tests with unit meister.
  10. 10

    Inconsistency detection and resolution for context-aware middleware support. gan Xu, Chang

    Erthygl

    Inconsistency detection and resolution for context-aware middleware support.

Offerynnau Chwilio: