Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Apr0316110250648
Quantity: Over 20 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9786202802994
Quantity: Over 20 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9786202802994
Quantity: Over 20 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
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-9786202802994
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9786202802994_new
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lustre is a formal declarative and synchronous dataflow programming language that can be also used as a temporal logic of the past. Variables and expressions are represented by data flows, that is, infinite sequences of values whose evaluation is governed by a discrete global clock. SCADE is a graphical environment commercialized. It is based on the synchronous language Lustre. Therefore, it is often referred to as Lustre/SCADE. Lustre/SCADE is usually used to build the applications of reactive systems.Regression testing purpose is to make sure that the changes and modifications to the software did not introduced new bugs. Regression testing can be applied for testing a system efficiently by methodically selecting the proper minimum test sets needed to cover a specific modification adequately. This book presents regression testing process issues with a focus on automating test data generation, in the framework of reactive systems developed in Lustre/SCADE. 132 pp. Englisch. Seller Inventory # 9786202802994
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Lustre is a formal declarative and synchronous dataflow programming language that can be also used as a temporal logic of the past. Variables and expressions are represented by data flows, that is, infinite sequences of values whose evaluation is governed by a discrete global clock. SCADE is a graphical environment commercialized. It is based on the synchronous language Lustre. Therefore, it is often referred to as Lustre/SCADE. Lustre/SCADE is usually used to build the applications of reactive systems.Regression testing purpose is to make sure that the changes and modifications to the software did not introduced new bugs. Regression testing can be applied for testing a system efficiently by methodically selecting the proper minimum test sets needed to cover a specific modification adequately. This book presents regression testing process issues with a focus on automating test data generation, in the framework of reactive systems developed in Lustre/SCADE. Seller Inventory # 9786202802994
Quantity: 1 available
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Trinh DuyDr. Duy Trinh is doing research and teaching at University of Science and Technology - The University of Danang in Vietnam. He has experience in embedded systems, reactive systems and Internet Of Things.Lustre is a forma. Seller Inventory # 408603459
Quantity: Over 20 available