Toon 3.061 - 3.070 resultaten van 3.416 Voor zoekopdracht '"Software"', zoektijd: 0,02s Verfijn jouw resultaten
  1. 3061

    Classboxes an experiment in modeling compositional abstractions using explicit contexts. door Lumpe, Markus

    Gepubliceerd in Software engineering notes.
    Artikel

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  2. 3062

    A specification-based approach to reasoning about pointers. door Kulczycki, Gregory

    Gepubliceerd in Software engineering notes.
    Artikel

    A specification-based approach to reasoning about pointers.
  3. 3063

    Specification and verification of inter-component constraints in CTL. door Thang, Nguyen Truong

    Gepubliceerd in Software engineering notes.
    Artikel

    Specification and verification of inter-component constraints in CTL.
  4. 3064

    Non-null references by default in the Java modeling language. door Chalin, Patrice

    Gepubliceerd in Software engineering notes.
    Artikel

    Non-null references by default in the Java modeling language.
  5. 3065

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Specification and design of component-based coordination systems by integrating coordination patterns.
  6. 3066

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Constraint satisfaction techniques for diagnosing errors in design by contract software.
  7. 3067

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

    Gepubliceerd in Software engineering notes.
    Artikel

    A categorical characterization for the compositional features of the # component model.
  8. 3068

    Software product lines structuring based upon market demands. door Ereño, Montse

    Gepubliceerd in Software engineering notes.
    Artikel

    Software product lines structuring based upon market demands.
  9. 3069

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

    Gepubliceerd in Software engineering notes.
    Artikel

    A component-based specification approach for embedded systems using FDTs.
  10. 3070

    Automated data verification in a format-free environment. door Collins, Michael

    Gepubliceerd in Software engineering notes.
    Artikel

    Automated data verification in a format-free environment.

Zoekinstrumenten: