Symbolisches Model Checking variabler Verhaltensspezifikationen
Tim Jonischkat
Broschiertes Buch

Symbolisches Model Checking variabler Verhaltensspezifikationen

Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung

Versandkostenfrei!
Versandfertig in 6-10 Tagen
59,00 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
Die Nutzung von Software beschränkt sich aufgrund der steigenden Durchdringung des wirtschaftlichen und sozialen Lebens mit Technologie nicht nur auf Informationssysteme im Unternehmen, sie findet auch zunehmenden Gebrauch in Automobilen, in der Unterhaltungselektronik und anderen Gegenständen des alltäglichen Gebrauchs. Der Markt erfordert zudem eine zunehmende Individualisierbarkeit und schnelle Innovationszyklen dieser Produkte, denen durch die Softwareproduktlinienentwicklung begegnet wird. Die vorliegende Arbeit stellt dazu einen Beitrag zur Qualitätssicherung früher Softwareartefakt...