Search results for Improving Scalability of Model Checking Software Architectur...
Seller Image
Improving Scalability of Model Checking Software Architectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905200-n
Seller Image
Improving Scalability of Model Checking Software Architectures (Paperback or Softback)
Published by
VDM Verlag 11/18/2008, 2008
ISBN 10: 3639101421
ISBN 13: 9783639101423
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Improving Scalability of Model Checking Software Architectures. Book. Seller Inventory # BBS-9783639101423
Stock Image
Improving Scalability of Model Checking Software Architectures
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639101423
Seller Image
Improving Scalability of Model Checking Software Architectures
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9783639101423
Buy New
US$ 58.04
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Improving Scalability of Model Checking Software Architectures
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639101423
Buy New
US$ 56.08
US$ 4.38 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Improving Scalability of Model Checking Software Architectures
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783639101423_new
Buy New
US$ 54.12
US$ 15.96 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Improving Scalability of Model Checking Software Architectures
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783639101423
Buy New
US$ 51.38
US$ 20.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Improving Scalability of Model Checking Software Architectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905200-n
Buy New
US$ 54.10
US$ 19.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Improving Scalability of Model Checking SoftwareArchitectures
Published by
VDM Verlag Dr. Müller, 2013
ISBN 10: 3639101421
ISBN 13: 9783639101423
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: 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. Seller Inventory # 4957521
Buy New
US$ 62.32
US$ 56.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
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 DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783639101423
Buy New
US$ 59.81
US$ 70.57 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available