Formal Description Techniques IX: Theory
โ Reinhard Gotzhein, Jan Bredereke (eds.)
๐ Library
๐
1996
๐ Springer US
๐ English
โฆ LIBER โฆ
๐
Formal Specification: Techniques and Applications
โ Scribed by Nimal Nissanke MSc, PhD (auth.)
- Publisher
- Springer-Verlag London
- Year
- 1999
- Tongue
- English
- Leaves
- 304
- Edition
- 1
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
โฆ Table of Contents
Front Matter....Pages I-XIX
Introduction....Pages 1-9
Schema Language....Pages 11-47
An Approach to Specification....Pages 49-67
Specification for Fun....Pages 69-80
A Specification for Clocks....Pages 81-93
Reasoning About Specifications....Pages 95-110
Specification of a Network Protocol....Pages 111-140
Object Oriented Specification....Pages 141-162
Specification of Safety....Pages 163-187
An Overview of VDM....Pages 189-212
Algebraic Approach to Specification....Pages 213-239
Algebraic Specification in CLEAR....Pages 241-263
Back Matter....Pages 265-295
โฆ Subjects
Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering
๐ SIMILAR VOLUMES
MT6517 GPIO Formal Application Specifica
โ Peng Chen
๐ Library
๐
2012
๐ Mediatek Inc.
๐ English
MT6575 GPIO Formal Application Specifica
โ Peng Chen
๐ Library
๐
2012
๐ Mediatek Inc.
๐ English
MT6575 GPIO Formal Application Specifica
โ Peng Chen
๐ Library
๐
2012
๐ Mediatek Inc.
๐ English
Formal Specification Techniques for Engi
โ Yang Meng Tan (auth.)
๐ Library
๐
1996
๐ Springer US
๐ English
<p>Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain
Applied Soft Computing: Techniques and A
โ Samarjeet Borah (editor), Ranjit Panigrahi (editor)
๐ Library
๐
2022
๐ Apple Academic Press
๐ English
<p><em>Applied Soft Computing: Techniques and Applications</em> explores a variety of modern techniques that deal with estimated models and give resolutions to complex real-life issues. Involving the concepts and practices of soft computing in conjunction with other frontier research domains, this b