Hochschulschrift

Sustainable structures in software implementations by live compliance checking

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783839602331
Maße
25 cm
Umfang
XX, 207 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2010

Erschienen in
PhD theses in experimental software engineering ; Vol. 35

Schlagwort
Softwarewartung
Model Checking
Software Engineering

Ereignis
Veröffentlichung
(wo)
Stuttgart
(wer)
Fraunhofer-Verl.
(wann)
2011
Urheber
Beteiligte Personen und Organisationen
Rombach, Dieter
Liggesmeyer, Peter
Bomarius, Frank
Fraunhofer IESE, Kaiserslautern
Univ. of Kaiserslautern, Computer Science Department, AG Software Engineering

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:04 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Knodel, Jens
  • Rombach, Dieter
  • Liggesmeyer, Peter
  • Bomarius, Frank
  • Fraunhofer IESE, Kaiserslautern
  • Univ. of Kaiserslautern, Computer Science Department, AG Software Engineering
  • Fraunhofer-Verl.

Entstanden

  • 2011

Ähnliche Objekte (12)

MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki

MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki

Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]

Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]

Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts

Konferenzschrift

Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht

Entwicklung eines DNA-Mikroarrays zur Identifizierung und Resistenzcharakterisierung Sepsis-assoziierter humanpathogener Mikroorganismen unter Anwendung der Receiver Operating Characteristic (ROC)-Analyse

Hochschulschrift

Entwicklung eines DNA-Mikroarrays zur Identifizierung und Resistenzcharakterisierung Sepsis-assoziierter humanpathogener Mikroorganismen unter Anwendung der Receiver Operating Characteristic (ROC)-Analyse

Synthesis and characterization of polymers with phosphorus side chains

Hochschulschrift

Synthesis and characterization of polymers with phosphorus side chains

Kathodische Kontaktierung in planaren Hochtemperatur-Brennstoffzellen

Hochschulschrift

Kathodische Kontaktierung in planaren Hochtemperatur-Brennstoffzellen

Systematik für eine kontinuierliche und langfristig ausgerichtete Planung technologischer und kapazitiver Werksentwicklungen

Hochschulschrift

Systematik für eine kontinuierliche und langfristig ausgerichtete Planung technologischer und kapazitiver Werksentwicklungen

Transfer von Forschungsergebnissen in die mittelständische Industrie : Zusammenfassung der Ergebnisse einer Voruntersuchung

Transfer von Forschungsergebnissen in die mittelständische Industrie : Zusammenfassung der Ergebnisse einer Voruntersuchung

Verbundene Objekte