Versenden
Drucken
Stierand, Ingo (2024) Contract-Based Design in Model-Based Systems Engineering. In: 7th Workshop on Software Engineering for Cyber-Physical Production Systems. 7th Workshop on Software Engineering for Cyber-Physical Production Systems, 2024-05-21 - 2024-05-23, Oldenburg, Deutschland.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
2MB |
Kurzfassung
Contract-Based Design can greatly support model-based systems engineering by providing the formal underpinning of many engineering tasks and thus enables automated tool support. The talk gives an overview on the relation between contract-based design and modeling frameworks.
| elib-URL des Eintrags: | https://elib.dlr.de/204383/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||
| Titel: | Contract-Based Design in Model-Based Systems Engineering | ||||||||
| Autoren: |
| ||||||||
| Datum: | 22 Mai 2024 | ||||||||
| Erschienen in: | 7th Workshop on Software Engineering for Cyber-Physical Production Systems | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Ja | ||||||||
| Gold Open Access: | Nein | ||||||||
| In SCOPUS: | Nein | ||||||||
| In ISI Web of Science: | Nein | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | MBSE, Contract-based Design | ||||||||
| Veranstaltungstitel: | 7th Workshop on Software Engineering for Cyber-Physical Production Systems | ||||||||
| Veranstaltungsort: | Oldenburg, Deutschland | ||||||||
| Veranstaltungsart: | Workshop | ||||||||
| Veranstaltungsbeginn: | 21 Mai 2024 | ||||||||
| Veranstaltungsende: | 23 Mai 2024 | ||||||||
| Veranstalter : | OFFIS e.V. | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Verkehr | ||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||
| Standort: | Oldenburg | ||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität | ||||||||
| Hinterlegt von: | Stierand, Dr. Ingo | ||||||||
| Hinterlegt am: | 28 Mai 2024 10:20 | ||||||||
| Letzte Änderung: | 28 Mai 2024 10:20 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
