Showing 22,831 - 22,840 results of 25,982 for search '"Computability."', 查詢時間: 0.07s Refine Results
  1. 22831

    A micromodularity mechanism. 由 Jackson, Daniel

    Article

    A micromodularity mechanism.
  2. 22832

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

    Article

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

    Interface automata. 由 De Alfaro, Luca

    Article

    Interface automata.
  4. 22834

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

    Article

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

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

    Article

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

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

    Article

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

    Behavioral contracts and behavioral subtyping. 由 Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.
  8. 22838

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

    Article

    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. 由 Conradi, Reidar

    Article

    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. 由 Freimut, Bernd

    Article

    An industrial case study of implementing software risk management.

檢索工具: