Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Symbolisches Model Checking variabler Verhaltensspezifikationen

Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung

Taal DuitsDuits
Boek Gebonden (paperback)
Boek Symbolisches Model Checking variabler Verhaltensspezifikationen Tim Jonischkat
Libristo-code: 06835279
Uitgeverij VDM Verlag Dr. Müller, november 2009
Die Nutzung von Software beschränkt sich aufgrund der steigenden Durchdringung des wirtschaftlichen... Volledige beschrijving
? points 152 b
62.64 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Moral Difficulties Connected with the Bible James Augustus Hessey / Boek Gebonden (paperback)
common.buy 23.19 €
The Mountain Bard: Consisting Of Ballads And Songs Founded On Facts And Legendary Tales (1807) James Hogg / Boek Gebonden (paperback)
common.buy 27.73 €
Animal Spirits with Chinese Characteristics M. DeWeaver / Boek Gebonden (paperback)
common.buy 106.02 €
The Chrysolite: New Zealand Immigration Ship 1861-1862 Belinda Lansley / Boek Gebonden (paperback)
common.buy 19.26 €
"The SISTERHOOD / Psychology of Female Power" Part III: Psychology of Female Power Iya Afin Ayobunmi Sangode / Boek Gebonden (paperback)
common.buy 19.26 €
Diverse Voices in Modern US Moral Theology Charles E. Curran / Boek Gebonden (paperback)
common.buy 43.27 €
El perquè de tot plegat QUIM MONZO / Boek Gebonden (paperback)
common.buy 12.70 €
JUEGOS DE LÓGICA PARA BRILLAR / Boek Gebonden (harde band)
common.buy 10.58 €
I Am A Nice Girl: 17 Helping Items To Be a Nice Girl Isyaias Sawing / Boek Gebonden (paperback)
common.buy 10.28 €
Memoir of the Late Reverend John Baird, Minister of Yetholm, Roxburghshire: With an Account of His Labors in Reforming the Gypsy Population of That Pa William Baird / Boek Gebonden (paperback)
common.buy 21.18 €
W. M. Hunt's Talks About Art: With A Letter (1878) William Morris Hunt / Boek Gebonden (harde band)
common.buy 37.22 €
Rhetorics of Welfare K. Brown / Boek Gebonden (paperback)
common.buy 119.44 €
Practical Discourses On Regeneration: In Ten Sermons (1803) Philip Doddridge / Boek Gebonden (paperback)
common.buy 28.74 €
Philosophie et pratique de la haute magie Osborne Phillips / Boek Gebonden (harde band)
common.buy 22.19 €
Zaburzenie wykorzystania substancji Souto Jandirlly J. Souto / Boek Gebonden (paperback)
common.buy 35.60 €
Voordelig
Executive Playbook Pamela J. Green / Boek Gebonden (harde band)
common.buy 18.65 €
Daughters of Izdihar ELSBAI / Boek Gebonden (paperback)
common.buy 12.60 €
The Rule Book Adams / Boek Gebonden (paperback)
common.buy 10.78 €
Delta Lake: The Definitive Guide Prashanth Babu / Boek Gebonden (paperback)
common.buy 59.71 €
Critical Care Nursing Kathleen M Stacy / Boek Gebonden (paperback)
common.buy 140.63 €
Much Ado About Numbers Rob Eastaway / Boek Gebonden (paperback)
common.buy 12.60 €
In the Valley of Death Geoff Mosse / E-book Adobe ePub DRM
common.buy 6.04 €
Market Liberalism, Growth, and Economic Development in Latin America Gerardo Angeles Castro / Boek Gebonden (harde band)
common.buy 76.16 €
Chief Plays of Corneille Pierre Corneille / Boek Gebonden (paperback)
common.buy 72.93 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Symbolisches Model Checking variabler Verhaltensspezifikationen
Auteur Tim Jonischkat
Taal Duits
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 124
EAN 9783639280937
Libristo-code 06835279
Uitgeverij VDM Verlag Dr. Müller
Gewicht 201
Afmetingen 150 x 220 x 7
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Die Mumins (5). Sturm im Mumintal Tove Jansson / Boek Gebonden (paperback)
common.buy 10.89 €
Mysticism and the New Physics Michael Talbot / Boek Gebonden (paperback)
common.buy 22.39 €
Transformative Learning in Practice - Insights from Community, Workplace, and Higher Education Jack Mezirow / Boek Gebonden (harde band)
common.buy 52.35 €
Musics of Many Cultures Elizabeth May / Boek Gebonden (paperback)
common.buy 48.92 €
La doctrine canonique medievale Jean Gaudemet / Boek Gebonden (harde band)
common.buy 64.36 €
German Liberalism and the Dissolution of the Weimar Party System, 1918-1933 Larry Eugene Jones / Boek Gebonden (paperback)
common.buy 94.72 €
Essential MATLAB and Octave Jesus Rogel-Salazar / Boek Gebonden (paperback)
common.buy 128.72 €
HIV / AIDS Dr. Savitri Ramaiah / Boek Gebonden (paperback)
common.buy 5.44 €
Easy Jazz Standards Fake Book Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 26.12 €
Jack Pierson Richard Marshall / Boek Gebonden (harde band)
common.buy 33.58 €
Children and Learning to Read (RLE Edu I) Elizabeth Goodacre / Boek Gebonden (paperback)
common.buy 38.33 €
Knowledge Grid, The: Toward Cyber-physical Society (2nd Edition) Hai Zhuge / Boek Gebonden (harde band)
common.buy 197.12 €
Wordt verwacht
Electric Propulsion in Transport Eric Semail / Boek Gebonden (harde band)
common.buy 132.55 €
Research Perspectives and Case Studies in System Test and Diagnosis John W. Sheppard / Boek Gebonden (paperback)
common.buy 153.94 €
Using Your iPad Basics James Stables / Boek Gebonden (paperback)
common.buy 12.50 €
House by the Railroad Li Bloom / Boek Gebonden (paperback)
common.buy 10.58 €
W.A. MOZART La Flute Enchantee Pour Violon et Violoncelle (partie de Violoncelle) Marianne Rambert (Arrangement) / Boek Gebonden (paperback)
common.buy 17.85 €
Selected Themes in Nursing Home Management Edwin A Ngeri / Boek Gebonden (harde band)
common.buy 23.70 €
Frocking Life Jean Druesedow (Foreword by) / Boek Gebonden (harde band)
common.buy 35.80 €
London Carl Keith Greene / Boek Gebonden (paperback)
common.buy 22.08 €
Night of the Ninjas Mary Pope Osborne / Boek Gebonden (paperback)
common.buy 20.87 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?