An Overview of Anna: a Specification Language for Ada PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download An Overview of Anna: a Specification Language for Ada PDF full book. Access full book title An Overview of Anna: a Specification Language for Ada by David C. Luckham. Download full books in PDF and EPUB format.
Author: David C. Luckham
Publisher:
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 23
Get Book Here
Book Description
A specification language permits information about various aspects of a program to be expressed in a precise machine processable form. This information is not normally part of the program itself. Specification languages are viewed as evolving from modern high level programming languages. The first step in this evolution is cautious extension of the programming language. Some of the features of Anna, a specification language extending Ada, are discussed. The extensions include generalizations of constructs (such as type constraints) that are already in Ada, and new constructs for specifying subprograms, packages, exceptions, and contexts.
Author: David C. Luckham
Publisher:
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 23
Get Book Here
Book Description
A specification language permits information about various aspects of a program to be expressed in a precise machine processable form. This information is not normally part of the program itself. Specification languages are viewed as evolving from modern high level programming languages. The first step in this evolution is cautious extension of the programming language. Some of the features of Anna, a specification language extending Ada, are discussed. The extensions include generalizations of constructs (such as type constraints) that are already in Ada, and new constructs for specifying subprograms, packages, exceptions, and contexts.
Author: David Luckham
Publisher: Springer Science & Business Media
ISBN: 1461396859
Category : Computers
Languages : en
Pages : 433
Get Book Here
Book Description
Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.
Author: David C. Luckham
Publisher: Springer Science & Business Media
ISBN: 9783540179801
Category : Computers
Languages : en
Pages : 154
Get Book Here
Book Description
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.
Author: Angel Alvarez
Publisher: Cambridge University Press
ISBN: 9780521381307
Category : Computers
Languages : en
Pages : 290
Get Book Here
Book Description
This book contains the proceedings of the 1989 Ada-Europe conference. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. The theme of this year's conference is design methods; this is of major importance since both Ada compilers and the applications built with Ada are huge. Papers in this volume, which have all been carefully refereed, study the design methods within Ada, and how they may need to be augmented with additional methods and tools where necessary. They make informed and essential reading for all involved in the use of Ada in industry and research.
Author: 王振宇
Publisher: 清华大学出版社有限公司
ISBN: 9787302125518
Category :
Languages : en
Pages : 448
Get Book Here
Book Description
本书内容分七部分,即:理论数学(函数论);计算数学;树枚举与算法复杂性分析;Ada语言、编译与工具;程序复杂性度量等。
Author: Michel Gauthier
Publisher: Springer Science & Business Media
ISBN: 9783540568025
Category : Computers
Languages : en
Pages : 372
Get Book Here
Book Description
This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.
Author: Jeannette M. Wing
Publisher: Springer
ISBN: 3540481184
Category : Computers
Languages : en
Pages : 955
Get Book Here
Book Description
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
Author: Gary T. Leavens
Publisher: Cambridge University Press
ISBN: 9780521771641
Category : Computers
Languages : en
Pages : 326
Get Book Here
Book Description
Articles, originally published in 2000, by experts including theoretical frameworks and models plus case studies and findings.
Author: Neel Madhav
Publisher:
ISBN:
Category : ANNA (Computer program language)
Languages : en
Pages : 24
Get Book Here
Book Description
We present software tools which help the process of specification and implementation.
Author: Peter Gutmann
Publisher: Springer Science & Business Media
ISBN: 0387215514
Category : Computers
Languages : en
Pages : 331
Get Book Here
Book Description
Presents a novel design that allows for a great deal of customization, which many current methods fail to include; Details a flexible, comprehensive design that can be easily extended when necessary; Proven results: the versatility of the design has been effectively tested in implementations ranging from microcontrollers to supercomputers
