Monografie
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
- Ausgabe
-
[1. Auflage]
- Sprache
-
Deutsch
- Umfang
-
ix, 163 Seiten
- ISBN
-
978-3-8440-6984-6
- Identifier
-
1197320059
- Reihe
-
Aachener Informatik-Berichte; 2019-03
Thema
Klein- und Mittelbetrieb ; Softwareentwicklung ; Eingebettetes System ; Formale Methode; Software; Unternehmen; Steuergerät; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:31 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
Operation-based model recommenders
Agile modellgetriebene Entwicklung von Software Security & Privacy
Improving the quality of enterprise architecture models : processes and techniques
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
Operation-based model recommenders
Agile modellgetriebene Entwicklung von Software Security & Privacy
Improving the quality of enterprise architecture models : processes and techniques
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
Operation-based model recommenders
Agile modellgetriebene Entwicklung von Software Security & Privacy