Hochschulschrift
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844069846
3844069844
- Dimensions
-
21 cm, 238 g
- Extent
-
ix, 163 Seiten
- Edition
-
[1. Auflage]
- Language
-
Deutsch
- Notes
-
Illustrationen
RWTH Aachen University, Dissertation, 2019
- Bibliographic citation
-
Aachener Informatik-Berichte ; 2019-03
- Keyword
-
Klein- und Mittelbetrieb
Softwareentwicklung
Eingebettetes System
Formale Methode
Software
Unternehmen
Steuergerät
- Event
-
Veröffentlichung
- (where)
-
Düren
- (who)
-
Shaker Verlag
- (when)
-
[2019]
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:40 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Grobosch, Sebastian Patrick
- Shaker Verlag
- Shaker Verlag
Time of origin
- [2019]
Other Objects (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