• English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
  • Einloggen
Dokumentanzeige 
  •   Startseite
  • Universität Ulm
  • Publikationsnachweise
  • Dokumentanzeige
  •   Startseite
  • Universität Ulm
  • Publikationsnachweise
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.

Defect Detection for Executable Specifications: An Experiment

Erstveröffentlichung
2002
Autoren
Houdek, Frank
Schwinn, Thilo
Ernst, Dietmar
Wissenschaftlicher Artikel


Erschienen in
International Journal of Software Engineering and Knowledge Engineering ; 12 (2002), 6. - S. 637-655. - ISSN 0218-1940. - eISSN 1793-6403
Link zur Veröffentlichung
https://dx.doi.org/10.1142/S0218194002001128
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutionen
Institut für Programmiermethodik und Compilerbau
Externe Kooperationen
Daimler AG
Daimler AG
Schlagwörter
[DDC Sachgruppe]: DDC 000 / Computer science, information & general works

Metadata
Zur Langanzeige

Leitlinien | kiz Service OPARU | Kontakt
Impressum | Datenschutzerklärung
 

 

Erweiterte Suche

Browsen

Gesamter BestandBereiche & SammlungenPersonenInstitutionenPublikationstypUlmer Reihen & ZeitschriftenDDC-SachgruppenEU-Projekte UlmDFG-Projekte UlmWeitere Projekte Ulm

Mein Benutzerkonto

EinloggenRegistrieren

Statistik

Benutzungsstatistik

Leitlinien | kiz Service OPARU | Kontakt
Impressum | Datenschutzerklärung