Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

0 avg rating
( 0 ratings by Goodreads )
9783540199779: Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program­ ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: • Object Technology • Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com­ ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com­ ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

"synopsis" may belong to another edition of this title.

Product Description:

This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 1996. Paperback. Book Condition: New. book. Bookseller Inventory # 3540199772

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 119.32
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Stephen J. Goldsack
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1996. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540199779

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 123.36
Convert Currency

Add to Basket

Shipping: US$ 11.53
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

STEPHEN J. GOLDSACK
Published by Springer (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1996. Paperback. Book Condition: NEW. 9783540199779 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0329399

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 128.02
Convert Currency

Add to Basket

Shipping: US$ 10.25
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Goldsack, Stephen J.
Published by Springer (2016)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783540199779_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 134.12
Convert Currency

Add to Basket

Shipping: US$ 4.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Stephen J. Goldsack (Editor), Stuart J.H. Kent (Editor)
Published by Springer (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 1
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1996. Paperback. Book Condition: New. Softcover reprint of the origina. This item is printed on demand. Bookseller Inventory # DADAX3540199772

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 150.96
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Stephen J. Goldsack
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Quantity Available: > 20
Print on Demand
Seller
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1996. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783540199779

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 153.52
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Softcover Quantity Available: 15
Print on Demand
Seller
Rating
[?]

Book Description Springer, 1996. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9783540199779

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 164.37
Convert Currency

Add to Basket

Shipping: US$ 5.02
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Published by Springer
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 20
Seller
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Book Condition: New. Paperback. 368 pages. Dimensions: 9.2in. x 6.1in. x 1.0in.Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: Object Technology Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970s introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783540199779

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 192.84
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

9.

Published by Springer London (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer London, 1996. Paperback. Book Condition: Brand New. 1st edition. edition. 386 pages. 9.25x6.50x1.00 inches. In Stock. Bookseller Inventory # x-3540199772

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 201.01
Convert Currency

Add to Basket

Shipping: US$ 7.69
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (1996)
ISBN 10: 3540199772 ISBN 13: 9783540199779
New Paperback Quantity Available: > 20
Print on Demand
Seller
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 1996. Paperback. Book Condition: New. 234 x 156 mm. Language: English . Brand New Book ***** Print on Demand *****.Rationale Software engineering aims to develop software by using approaches which en- able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program- ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: * Object Technology * Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970 s introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com- ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects.This gives the software com- ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. Softcover reprint of the original 1st ed. 1996. Bookseller Inventory # AAV9783540199779

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.95
Convert Currency

Add to Basket

Shipping: US$ 3.84
From United Kingdom to U.S.A.
Destination, Rates & Speeds