Showing 22,831 - 22,840 results of 25,981 for search '"Computing."', सवाल का समय: 0.07सेकंड परिणाम को परिष्कृत करें
  1. 22831

    Detecting implied scenarios in message sequence chart specifications. द्वारा Uchitel, Sebastian

    में प्रकाशित Software engineering notes.
    लेख

    Detecting implied scenarios in message sequence chart specifications.
  2. 22832

    Interface automata. द्वारा De Alfaro, Luca

    में प्रकाशित Software engineering notes.
    लेख

    Interface automata.
  3. 22833

    Modular verification of collaboration-based software designs. द्वारा Fisler, Kathi

    में प्रकाशित Software engineering notes.
    लेख

    Modular verification of collaboration-based software designs.
  4. 22834

    Combining UML and formal notations for modelling real-time systems. द्वारा Lavazza, Luigi

    में प्रकाशित Software engineering notes.
    लेख

    Combining UML and formal notations for modelling real-time systems.
  5. 22835

    Engineering component-based net-centric systems for embedded applications. द्वारा Jahnke, Jens H.

    में प्रकाशित Software engineering notes.
    लेख

    Engineering component-based net-centric systems for embedded applications.
  6. 22836

    Behavioral contracts and behavioral subtyping. द्वारा Findler, Robert Bruce

    में प्रकाशित Software engineering notes.
    लेख

    Behavioral contracts and behavioral subtyping.
  7. 22837

    Analysis of the constraint solver in UNA based test data generation. द्वारा Edvardsson, Jon

    में प्रकाशित Software engineering notes.
    लेख

    Analysis of the constraint solver in UNA based test data generation.
  8. 22838

    An empirical study on the utility of formal routines to transfer knowledge and experience. द्वारा Conradi, Reidar

    में प्रकाशित Software engineering notes.
    लेख

    An empirical study on the utility of formal routines to transfer knowledge and experience.
  9. 22839

    An industrial case study of implementing software risk management. द्वारा Freimut, Bernd

    में प्रकाशित Software engineering notes.
    लेख

    An industrial case study of implementing software risk management.
  10. 22840

    An empirical methodology for introducing software processes. द्वारा Shull, Forrest

    में प्रकाशित Software engineering notes.
    लेख

    An empirical methodology for introducing software processes.

खोज साधन: