David Trachtenherz
Vieweg+Teubner Verlag
2010e druk, 2010
9783834810298
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Specificaties
Paperback, 431 blz.
|
Duits
Vieweg+Teubner Verlag |
2010e druk, 2010
ISBN13: 9783834810298
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.
Specificaties
ISBN13:9783834810298
Taal:Duits
Bindwijze:paperback
Aantal pagina's:431
Uitgever:Vieweg+Teubner Verlag
Druk:2010
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Logische Architektur.- Formale Grundlagen.- Grundlagen eigenschaftsorientierter Architekturbeschreibung.- Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation.- Eigenschaftsorientierte Architekturmuster.- Fallstudie.- Zusammenfassung und Ausblick.