Книга: Ashish Kumar Dwivedi «Formalization and Model Checking of Software Architectural Style»
|
Производитель: "LAP Lambert Academic Publishing" In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block of software architecture is an architectural style that provides domain specific design semantics. In the analysis of complex architectural style, an attempt has been made in our work to formalize one complex style e. g., C2 (component and connector) using formal specification language Alloy. For consistency checking of modeling notations, the model checker tool e. g., Alloy Analyzer is used. ISBN:9783659682360 Издательство: "LAP Lambert Academic Publishing" (2015)
ISBN: 9783659682360 |
См. также в других словарях:
Chintu Chinki Aur Ek Badi Si Love Story — (sometimes misspelled as Chintu Chinky ... ) is simple, relatable light hearted romantic comedy is an August 2011 offering from SAB TV. SAB TV The show is produced by JD Majethia and Aatish Kapadia from Hats off Productions and co produced by… … Wikipedia
Chanakya (TV series) — Chanakya Genre Historical drama, Costume drama Created by Chandraprakash Dwivedi Written by … Wikipedia
List of Jats — The Jat (Jatt or Jutt جاٹ یا جٹ) people is a 31 million strong ethnic group spread over of north west India and Pakistan and with large populations living in the EU, US, Canada, Australia and UK. This is a partial list of the Jat people born in… … Wikipedia
Mukesh — This article is about the playback singer. For other uses, see Mukesh (disambiguation). Mukesh Background information Birth name Mukesh Chand Mathur Born July 22, 1923 … Wikipedia
List of people from Uttar Pradesh — This is a list of famous and people from Uttar Pradesh, a state in India. The criteria of this list includes those persons who were born in the state of Uttar Pradesh and that part of the former United Provinces that now are part of the modern… … Wikipedia
List of Oriya writers — This is a list of famous and notable Oriya language writers from Orissa, India. This would include writers starting from 8th century onward and covers the contemporary age. Obviously this list as of now is far from being complete in any… … Wikipedia
