Andere Kunden interessierten sich auch für
![Improving Scalability of Model Checking Software Architectures]( "Improving Scalability of Model Checking Software Architectures")
Improving Scalability of Model Checking Software Architectures32,99 €![Handbook of Model Checking]( "Handbook of Model Checking")
Handbook of Model Checking102,99 €![Stochastic Model Checking]( "Stochastic Model Checking")
Stochastic Model Checking36,99 €![Model Checking Software]( "Model Checking Software")
Model Checking Software37,99 €![Fact checking by data partitioning]( "Fact checking by data partitioning")
Fact checking by data partitioning26,99 €![Formalization and Model Checking of Software Architectural Style]( "Formalization and Model Checking of Software Architectural Style")
Formalization and Model Checking of Software Architectural Style26,99 €![Using Model Checking to Generate Test Cases for Critical Systems]( "Using Model Checking to Generate Test Cases for Critical Systems")
Using Model Checking to Generate Test Cases for Critical Systems32,99 €
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 Softwareartefakte in der Domänenentwicklung einer Softwareproduktlinie dar. Der beschriebene Ansatz konzentriert sich dabei auf das Model Checking formaler Verhaltensspezifikationen als Ergebnis der Designphase gegen formale Anforderungsspezifikationen aus der Anforderungsanalyse. Er dient damit der zeitnahen Aufdeckung von Designfehlern in Basisartefakten einer Produktlinie mit Methoden der Inter-Modell- Konsistenzprüfung. In dieser Arbeit wird das symbolische Model Checking für den Einsatz zur Konsistenzprüfung variabler Verhaltensspezifikationen und variablen CTL- Spezifikationen erweitert.