Εμφανίζονται 3.121 - 3.130 Αποτελέσματα από 3.253 για την αναζήτηση '"PROGRAMMING LANGUAGES."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 3121

    Matching execution histories of program versions. ανά Zhang, Xiangyu

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Matching execution histories of program versions.
  2. 3122

    Matching execution histories of program versions. ανά Zhang, Xiangyu

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Matching execution histories of program versions.
  3. 3123

    Quantitative assessment of UML dynamic models. ανά Baroni, Aline Lúcia

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Quantitative assessment of UML dynamic models.
  4. 3124

    A middleware-independent model and language for component distribution. ανά Schmid, Hans Albrecht

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A middleware-independent model and language for component distribution.
  5. 3125

    Software performance modelling using PEPA nets. ανά Gilmore, Stephen

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Software performance modelling using PEPA nets.
  6. 3126

    Topology based automation of distributed applications management. ανά Bellur, Umesh

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Topology based automation of distributed applications management.
  7. 3127

    A graph based architectural (Re)configuration language. ανά Wermelinger, Michel

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A graph based architectural (Re)configuration language.
  8. 3128

    Deadlock detection in distribution object systems. ανά Kaveh, Nima

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Deadlock detection in distribution object systems.
  9. 3129

    Using symbolic execution for verifying safety-critical systems. ανά Coen-Porisini, Alberto

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Using symbolic execution for verifying safety-critical systems.
  10. 3130

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. ανά Engels, Gregor

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.

Εργαλεία αναζήτησης: