A mostrar 13,421 - 13,430 resultados de 13,981 para a pesquisa '"Design."', tempo de pesquisa: 0.05seg Refinar resultados
  1. 13421

    Specification and design of component-based coordination systems by integrating coordination patterns. Por Pérez-Serrano, Pedro L.

    Artigo

    Specification and design of component-based coordination systems by integrating coordination patterns.
  2. 13422

    Constraint satisfaction techniques for diagnosing errors in design by contract software. Por Ceballos, Rafael

    Artigo

    Constraint satisfaction techniques for diagnosing errors in design by contract software.
  3. 13423

    A categorical characterization for the compositional features of the # component model. Por Heron de Carvalho Junior, Francisco

    Artigo

    A categorical characterization for the compositional features of the # component model.
  4. 13424

    A component-based specification approach for embedded systems using FDTs. Por Guerrouat, Abdelaziz

    Artigo

    A component-based specification approach for embedded systems using FDTs.
  5. 13425

    SableSpMT a software framework for analysing speculative multithreading in Java. Por Pickett, Christopher J. F.

    Artigo

    SableSpMT a software framework for analysing speculative multithreading in Java.
  6. 13426

    Representation-independent program analysis. Por Strout, Michelle Mills

    Artigo

    Representation-independent program analysis.
  7. 13427

    LANCET a nifty code editing tool. Por Van Put, Ludo

    Artigo

    LANCET a nifty code editing tool.
  8. 13428

    Weakest-precondition of unstructured programs. Por Barnett, Mike

    Artigo

    Weakest-precondition of unstructured programs.
  9. 13429

    Automatically generating refactorings to support API evolution. Por Perkins, Jeff H.

    Artigo

    Automatically generating refactorings to support API evolution.
  10. 13430

    Importance of software component characterization for better software reusability. Por Gill, Nasib S.

    Artigo

    Importance of software component characterization for better software reusability.

Ferramentas de pesquisa: