Prikaz rezultata 22.831 – 22.840 od 25.982 za pretragu '"Computers."', vrijeme upita: 0,07s Detaljiziraj rezultate
  1. 22831

    A micromodularity mechanism. od Jackson, Daniel

    Članak

    A micromodularity mechanism.
  2. 22832

    Detecting implied scenarios in message sequence chart specifications. od Uchitel, Sebastian

    Članak

    Detecting implied scenarios in message sequence chart specifications.
  3. 22833

    Interface automata. od De Alfaro, Luca

    Članak

    Interface automata.
  4. 22834

    Modular verification of collaboration-based software designs. od Fisler, Kathi

    Članak

    Modular verification of collaboration-based software designs.
  5. 22835

    Combining UML and formal notations for modelling real-time systems. od Lavazza, Luigi

    Članak

    Combining UML and formal notations for modelling real-time systems.
  6. 22836

    Engineering component-based net-centric systems for embedded applications. od Jahnke, Jens H.

    Članak

    Engineering component-based net-centric systems for embedded applications.
  7. 22837

    Behavioral contracts and behavioral subtyping. od Findler, Robert Bruce

    Članak

    Behavioral contracts and behavioral subtyping.
  8. 22838

    Analysis of the constraint solver in UNA based test data generation. od Edvardsson, Jon

    Članak

    Analysis of the constraint solver in UNA based test data generation.
  9. 22839

    An empirical study on the utility of formal routines to transfer knowledge and experience. od Conradi, Reidar

    Članak

    An empirical study on the utility of formal routines to transfer knowledge and experience.
  10. 22840

    An industrial case study of implementing software risk management. od Freimut, Bernd

    Članak

    An industrial case study of implementing software risk management.

Alati za pretragu: