|
Showing 1 - 4 of
4 matches in All Departments
This book constitutes the refereed proceedings of the 18th
International Symposium Fundamentals of Computation Theory, FCT
2011, held in Oslo, Norway, in August 2011. The 28 revised full
papers presented were carefully reviewed and selected from 78
submissions. FCT 2011 focused on algorithms, formal methods, and
emerging fields, such as ad hoc, dynamic and evolving systems;
algorithmic game theory; computational biology; foundations of
cloud computing and ubiquitous systems; and quantum computation.
|
Recent Trends in Data Type Specification - 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers (Paperback, 1996 ed.)
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
|
R1,830
Discovery Miles 18 300
|
Ships in 10 - 15 working days
|
This book contains a strictly refereed selection of revised full
papers chosen from the papers accepted for presentation during the
11th Workshop on Abstract Data Types held jointly with the 8th
COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected
workshop presentations; also included are six invited
contributions. The volume reports the progress achieved in the area
of algebraic specification since the predecessor meeting held in
May 1994.
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.
After Ole-Johan's retirement at the beginning of the new
millennium, some of us had thought and talked about making a
"Festschrift" in his honor. When Donald Knuth took the initiative
by sending us the ?rst contribution, the p- cess began to roll! In
early 2002 an editing group was formed, including Kristen Nygaard,
who had known Ole-Johan since their student days, and with whom he
had developed the Simula language. Then we invited a number of
prominent researchers familiar with Ole-Johan to submit
contributions for a book hon- ing Ole-Johan on the occasion of his
70th birthday. Invitees included several members of the IFIP 2. 3
working group, a forum that Ole-Johan treasured and
enjoyedparticipating in throughouthis career. In spite of the
shortdeadline, the response to the invitations was overwhelmingly
positive. The original idea was to complete the book rather quickly
to make it a gift he could read and enjoy, because by then he had
had cancer for three years, and his health was gradually
deteriorating. Kristen had been regularly visiting Ole-Johan,who
was in the hospitalat that time, and they were workingon their
Turing award speech. Ole-Johan was grati?ed to hear about the
contributions to this book, but modestly expressed the feeling that
there was no special need to undertake a book project on his
behalf. Peacefully accepting his destiny, Ole- Johan died on June
29, 2002.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|