Sinossi
Improving Scalability of Model Checking Software Architectures Improving Scalability of Model Checking Software Architectures
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Improving Scalability of Model Checking Software Architectur...
Immagini fornite dal venditore
Improving Scalability of Model Checking Software Architectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905200-n
Compra nuovo
EUR 47,53
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Improving Scalability of Model Checking Software Architectures (Paperback or Softback)
Editore:
VDM Verlag 11/18/2008, 2008
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Improving Scalability of Model Checking Software Architectures. Book. Codice articolo BBS-9783639101423
Compra nuovo
EUR 49,88
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Improving Scalability of Model Checking Software Architectures
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783639101423
Compra nuovo
EUR 50,81
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Improving Scalability of Model Checking Software Architectures
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo LU-9783639101423
Compra nuovo
EUR 51,46
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Improving Scalability of Model Checking Software Architectures
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783639101423
Compra nuovo
EUR 48,59
Spedizione EUR 3,80
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Improving Scalability of Model Checking Software Architectures
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783639101423_new
Compra nuovo
EUR 47,23
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Improving Scalability of Model Checking Software Architectures
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783639101423
Compra nuovo
EUR 44,53
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Improving Scalability of Model Checking Software Architectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905200-n
Compra nuovo
EUR 47,22
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Improving Scalability of Model Checking SoftwareArchitectures
Editore:
VDM Verlag Dr. Müller, 2013
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. This thesis presents a methodology that shows howabstraction can be considered during modeltransformation to reduce the resulting Color PetriNet (CPN) state space while preserving the expectedbehavior of the software. Detailed descri. Codice articolo 4957521
Compra nuovo
EUR 52,05
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Improving Scalability of Model Checking Software Architectures : A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This thesis presents a methodology that shows howabstraction can be considered during modeltransformation to reduce the resulting Color PetriNet (CPN) state space while preserving the expectedbehavior of the software. Detailed descriptions ofthe transformation process from UML model to CPNmodel for software architectures of applicationsystems are presented as well as two case studies -Automated Teller Machine (ATM) system and Elevatorsystem. The state spaces generated during analysis ofeach case study are presented, and the practicalfeasibility of this methodology is described usingresults of each case study. Codice articolo 9783639101423
Compra nuovo
EUR 49,95
Spedizione EUR 60,71
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili