Отображение 1 - 10 результаты of 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.

Инструменты поиска: