Hochschulschrift
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844069846
3844069844
- Maße
-
21 cm, 238 g
- Umfang
-
ix, 163 Seiten
- Ausgabe
-
[1. Auflage]
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen
RWTH Aachen University, Dissertation, 2019
- Erschienen in
-
Aachener Informatik-Berichte ; 2019-03
- Schlagwort
-
Klein- und Mittelbetrieb
Softwareentwicklung
Eingebettetes System
Formale Methode
Software
Unternehmen
Steuergerät
- Ereignis
-
Veröffentlichung
- (wo)
-
Düren
- (wer)
-
Shaker Verlag
- (wann)
-
[2019]
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:40 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Grobosch, Sebastian Patrick
- Shaker Verlag
- Shaker Verlag
Entstanden
- [2019]
Ähnliche Objekte (12)
Formale Methoden zur Konstruktion eingebetteter Software
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Spezifikation von Software-Modulen : ein Prozessmodell für die Spezifikation und Dokumentation von Software-Modulen
Software-basierter Selbsttest eingebetteter Speicher
Agile modellgetriebene Entwicklung von Software Security & Privacy
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen
Modellbasierte Unterstützung der Software Evolution im industriellen Kontext
Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies : = Verbesserung der Energieeffizienz von Fertigungssystemen mittels formaler Analyse von alternativen Strategien
Software radio systems engineering for URLLC industrie 4.0 applications
Design und Implementierung einer modularisierten Diskrete Elemente Methode Software
Software-gestützte Planung cyber-physischer Montagesysteme mittels durchgängiger Informationsnutzung
Energy-efficient context-aware software design for ambient assisted living applications
Formale Methoden zur Konstruktion eingebetteter Software
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Spezifikation von Software-Modulen : ein Prozessmodell für die Spezifikation und Dokumentation von Software-Modulen
Software-basierter Selbsttest eingebetteter Speicher
Agile modellgetriebene Entwicklung von Software Security & Privacy
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen
Modellbasierte Unterstützung der Software Evolution im industriellen Kontext
Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies : = Verbesserung der Energieeffizienz von Fertigungssystemen mittels formaler Analyse von alternativen Strategien
Software radio systems engineering for URLLC industrie 4.0 applications
Design und Implementierung einer modularisierten Diskrete Elemente Methode Software
Software-gestützte Planung cyber-physischer Montagesysteme mittels durchgängiger Informationsnutzung
Energy-efficient context-aware software design for ambient assisted living applications
Formale Methoden zur Konstruktion eingebetteter Software
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Spezifikation von Software-Modulen : ein Prozessmodell für die Spezifikation und Dokumentation von Software-Modulen
Software-basierter Selbsttest eingebetteter Speicher
Agile modellgetriebene Entwicklung von Software Security & Privacy
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen
Modellbasierte Unterstützung der Software Evolution im industriellen Kontext
Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies : = Verbesserung der Energieeffizienz von Fertigungssystemen mittels formaler Analyse von alternativen Strategien
Software radio systems engineering for URLLC industrie 4.0 applications
Design und Implementierung einer modularisierten Diskrete Elemente Methode Software
Software-gestützte Planung cyber-physischer Montagesysteme mittels durchgängiger Informationsnutzung