AtheneForschung - Informationsportal der UniBw M

Benutzer: Gast

Home / Alle Inhalte

Publikationen (Universitätsbibliografie)

Fakultäten (univ.) (21743)

Fakultät für Bauingenieurwesen und Umweltwissenschaften (3615)

Fakultät für Elektrotechnik und Informationstechnik (2057)

Fakultät für Humanwissenschaften (2286)

Fakultät für Informatik (3288)

Fakultät für Luft- und Raumfahrttechnik (5304)

Fakultät für Staats- und Sozialwissenschaften (2658)

Fakultät für Wirtschafts- und Organisationswissenschaften (2559)

Fakultäten (HAW) (1719)

Forschungszentren und -initiativen (2004)

Weitere Einrichtungen (17)

Projekte

Elektronische Prüfungsarbeiten

Open-Access-Publikationen

Patente

Forschungsdaten

Forschungsprofile

Videos für die UniBw M-Webseite

Digitalisierte Medien

AG E-Learning

Materialien der Universitätsbibliothek

Home / Alle InhaltePublikationen (Universitätsbibliografie)Fakultäten (univ.)

Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt

Autoren:

Scheffczyk, Jan; Stutz, Christiane; Borghoff, Uwe M.; Siedersleben, Johannes

Dokumenttyp:

Zeitschriftenartikel / Journal Article

Titel:

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Zeitschrift:

Informatik, Forschung und Entwicklung (IFE)

Jahrgang:

19

Heftnummer:

1

Jahr:

2004

Seiten von - bis:

17-29

Sprache:

Deutsch

DOI:

10.1007/s00450-004-0161-9

URL zum Inhalt:

https://doi.org/10.1007/s00450-004-0161-9

Fakultät:

Fakultät für Informatik

Institut:

INF 2 - Institut für Softwaretechnologie

Professur:

Borghoff, Uwe M.

Vorkommen:

Home / Alle Inhalte Publikationen (Universitätsbibliografie)Fakultäten (univ.)Fakultät für Informatik INF 2 - Institut für Softwaretechnologie