A mostrar 251 - 260 resultados de 433 para a pesquisa '"Specification."', tempo de pesquisa: 0.02seg Refinar resultados
  1. 251

    A Survey on web services in telecommunications. Por Griffin, Donna

    Artigo

    A Survey on web services in telecommunications.
  2. 252

    A survey on mobile WiMAX.

    Artigo

    A survey on mobile WiMAX.
  3. 253

    Compositional refinement of interactive systems. Por Broy, Manfred

    Publicado no Journal of the ACM
    Artigo

    Compositional refinement of interactive systems.
  4. 254

    Assume-guarantee testing. Por Blundell, Colin

    Artigo

    Assume-guarantee testing.
  5. 255

    Dream types a domain specific type system for component-based message-oriented middleware. Por Bidinger, Philippe

    Artigo

    Dream types a domain specific type system for component-based message-oriented middleware.
  6. 256

    A specification language for coordinated objects. Por Ciobanu, Gabriel

    Artigo

    A specification language for coordinated objects.
  7. 257

    Component-interaction automata as a verification-oriented component-based system specification. Por Brim, Lubo?

    Artigo

    Component-interaction automata as a verification-oriented component-based system specification.
  8. 258

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. Por Mateescu, Radu

    Artigo

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  9. 259

    Cognitive complexity metrics and its impact on software reliability based on cognitive software development model. Por Singh Kushwaha, Dharmender

    Artigo

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

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

    Artigo

    Reasoning about confidentiality at requirements engineering time.

Ferramentas de pesquisa: