Erstellung vollständiger Systemspezifikationen im Embedded Computing
| dc.contributor.author | Kapeller, Roland | |
| dc.date.accessioned | 2023-05-23T08:29:22Z | |
| dc.date.available | 2023-05-23T08:29:22Z | |
| dc.date.issued | 2006 | |
| dc.description.abstract | Im Bereich der Entwicklung eingebetteter Systeme sind formale und semiformale Ansätze zur Spezifikation seit langem gang und gäbe. Mit Blick auf die Produktion elektronischer Steuergeräte im Automobilbereich wird ein praktikables Verfahren vorgestellt, welches die Prozesse des Lieferanten (hier konkret der Automobilzulieferer) solcher Systeme möglichst gut unterstützt. Besonderen Wert wurde dabei auf die methodische Unterstützung der konkreten Tätigkeit des Spezifizierens gelegt. Ergänzende Hinweise betreffen die Realisierung eines entsprechenden Workflows mithilfe gängiger Tools. | de |
| dc.identifier.pissn | 0720-8928 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/41641 | |
| dc.language.iso | de | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 26, Heft 1 | |
| dc.title | Erstellung vollständiger Systemspezifikationen im Embedded Computing | de |
| dc.type | Text/Journal Article | |
| gi.citation.publisherPlace | Bonn | |
| gi.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen |
Dateien
Originalbündel
1 - 1 von 1