Showing 22,821 - 22,830 results of 25,968 for search '"Computer."', query time: 0.08s Refine Results
  1. 22821

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  2. 22822

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

    Article

    Modular verification of collaboration-based software designs.
  3. 22823

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

    Article

    Combining UML and formal notations for modelling real-time systems.
  4. 22824

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

    Article

    Engineering component-based net-centric systems for embedded applications.
  5. 22825

    Behavioral contracts and behavioral subtyping. by Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.
  6. 22826

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

    Article

    Analysis of the constraint solver in UNA based test data generation.
  7. 22827

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

    Article

    An empirical study on the utility of formal routines to transfer knowledge and experience.
  8. 22828

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

    Article

    An industrial case study of implementing software risk management.
  9. 22829

    An empirical methodology for introducing software processes. by Shull, Forrest

    Article

    An empirical methodology for introducing software processes.
  10. 22830

    Embedded Modem Fundamentals and Glossary Part I.

    Article

    Embedded Modem Fundamentals and Glossary Part I.

Search Tools: