Formal Semantics and Verification Of Use Case Maps Год выпуска: 2013Автор: Jameleddine HassineИздательство: Scholars' PressСтраниц: 296ISBN: 9783639514995Описание This book proposes a novel methodology combining the semi-formal scenario-based Use Case Maps (UCM) language with formal techniques to help comprehend, validate and verify requirements. Use Case Maps (UCM), part of the ITU-T standard User Requirements Notation (URN) Z.151, allows for the description of functional requirements and high-level designs at early stages of the development process. The book proposes a rigorous formal semantics for Use Case Maps based on Abstract State Machines (ASM) formalism. The resulting semantics are expressed in AsmL, an advanced ASM-based executable specification language. Furthermore, the Use Case Maps language is extended to cover timing constraints. A potential timed version of UCM (called Timed UCM) is formalized using Clocked Transition Systems (CTS) and Timed Automata (TA). In addition, the book proposed a novel UCM-based property pattern system that combines qualitative, real-time and architectural properties into a single graphical...
Похожие книги
National Research Council and Institute of Medicine, Committee on the Health and Safety Implications of Child Labor. Protecting Youth at Work: Health, Safety, and Development of Working Children and Adolescents in the United States. – М.: , 0. – 0 с. Environmental, and Other External Costs and Benefits of Energy Production and Consumption Committee. Hidden Costs of Energy: Unpriced Consequences of Energy Production and Use. – М.: , 2010. – 506 с. Brian Scaddan. 17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations. – М.: , 2010. – 132 с. Roger E. Axtell. Do?s and Taboos of Using English Around the World. – М.: , 1995. – 224 с. Haitham J. Taha,Aied Kh. M. Al- Samarrie and Hadi T. Ziboon. Analysis and Performance of DWPT-OFDM and Sliding Window Techniques. – М.: LAP Lambert Academic Publishing, 2012. – 168 с. Ranganathan Sundaram. Design and Verification of Bus Bridge from OCP to AHB. – М.: LAP Lambert Academic Publishing, 2012. – 104 с. Ahmad Bilal. Design, Development and Fabrication of Solar Powered HALE UAV. – М.: LAP Lambert Academic Publishing, 2012. – 296 с. Jameleddine Hassine. Formal Semantics and Verification Of Use Case Maps. – М.: Scholars' Press, 2013. – 296 с. Alexey Moisseyev and . University of Nebraska. Effect of Social Media on Crowd Funding Project Results. – М.: LAP Lambert Academic Publishing, 2014. – 52 с. Daniel Izevbuwa Osasogie and Reuben Adeolu Alabi. Fertilizer Use and Efficiency of Rice Production. – М.: LAP Lambert Academic Publishing, 2012. – 148 с. Murali Krishna Gumma and Prasad S.Thenkabail. Methods and Approaches of irrigated area mapping using Remote Sensing. – М.: LAP Lambert Academic Publishing, 2011. – 156 с. Min Raj Pokhrel. Opportunities and threats of using microbial pest control agents. – М.: LAP Lambert Academic Publishing, 2011. – 104 с. Mai Zaki. The Semantics and Pragmatics of Demonstratives in English and Arabic. – М.: LAP Lambert Academic Publishing, 2012. – 364 с. Hasan N. Qunoo. Automated Verification of Dynamic Access Control Policies. – М.: LAP Lambert Academic Publishing, 2012. – 192 с. Muhammad Taimoor Khan. Formal Verification of Space Missions Communication Protocols. – М.: LAP Lambert Academic Publishing, 2012. – 72 с. Md. Rabiul Islam,Md. Fayzur Rahman and Faculty of Electrical-Computer Engineering RUET Rajshahi Bang. IMPROVEMENT OF NOISE ROBUST SPEAKER IDENTIFICATION. – М.: LAP Lambert Academic Publishing, 2010. – 88 с. Mary Kilonzo and . School of Business, Kenyatta University. How firms compete. – М.: LAP Lambert Academic Publishing, 2014. – 80 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Людмила, 18.02 Я защитилась на отлично! Спасибо Вам огромное!! Очень ответственно и добропорядочно подошли к работе! Многие получали свои дипломы, а что касалось доработок, то их просто кидали. Я очень Вам благодарная, желаю Вам успехов в работе, здоровья Вам и вашим близким и всего всего!! Побольше бы таких порядочных людей!! Спасибо!!! :))))
