يعرض 1 - 10 نتائج من 33 نتيجة بحث عن '"Leszak, M."', وقت الاستعلام: 0.81s تنقيح النتائج
  1. 1
    مؤتمر
    A case study in root cause defect analysis

    المؤلفون: Leszak, M., Perry, D.E., Stoll, D.

    المصدر: Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium Software engineering 2000 Software Engineering, 2000. Proceedings of the 2000 International Conference on. :428-437 2000

    Relation: Proceedings of International Conference on Software Engineering

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Quantitative modeling of software reviews in an industrial setting

    المؤلفون: Laitenberger, O., Leszak, M., Stoll, D., El Emam, K.

    المصدر: Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403) Software metrics Software Metrics Symposium, 1999. Proceedings. Sixth International. :312-322 1999

    Relation: Proceedings of METRICS '99: Sixth International Symposium on Software Metrics

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    كتاب إلكتروني
    Integration Strukturierter Methoden zur Anforderungsspezifikation von Informationssystemen

    المؤلفون: Leszak, M.Aff3, Franzen, B.Aff3, Fritschi, K.Aff3

    المساهمون: Brauer, W., editorAff1, Timm, Michael, editorAff2

    المصدر: Requirements Engineering ’91 : „Structured Analysis“ und verwandte Ansätze Marburg, 10./11. April 1991. 273:139-159

    أضف إلى المفضلة
  4. 4
    كتاب إلكتروني
    Einleitung

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:1-4

    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Anhang A: Prover-Online-Dokumentation

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:137-147

    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Anhang B: Syntax und Semantik der Spezifikationssprache ‘PDL‘ (Predicate/Transition Net Description Language)

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:148-170

    أضف إلى المفضلة
  7. 7
    كتاب إلكتروني
    Funktionalität und Benutzeroberfläche des Petri-Netz-Werkzeuges ‘Prover‘

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:73-129

    أضف إلى المفضلة
  8. 8
    كتاب إلكتروني
    Ausblick

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:130-136

    أضف إلى المفضلة
  9. 9
    كتاب إلكتروني
    Eine Klassifikation Von Spezifikations- und Analysemethoden frür Petri-Netze

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:24-38

    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Klassifikation und Bewertung Existierender Petri-Netz-Werkzeuge

    المؤلفون: Leszak, M.Aff3, Eggert, H.Aff4

    المساهمون: Brauer, W., editor, Leszak, M.Aff1, Eggert, H.Aff2

    المصدر: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 197:39-65

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء