Items related to Teaching Formal Methods: CoLogNET/FME Symposium, TFM...

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science, 3294) - Softcover

 
9783540236115: Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science, 3294)

Synopsis

“Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway’s words “aspire to be engineers.” The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? – failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome a phobia of formality and mathematics; – failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.

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

Buy Used

Condition: Good
Soft cover. Lecture Notes in Computer...
View this item

US$ 4.00 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9783662194706: Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Featured Edition

ISBN 10:  3662194708 ISBN 13:  9783662194706
Publisher: Springer, 2014
Softcover

Search results for Teaching Formal Methods: CoLogNET/FME Symposium, TFM...

Stock Image

C. Neville Dean; Raymond T. Boute (editors)
Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
Used Soft Cover

Seller: BookOrders, Russell, IA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Soft Cover. Condition: Good. Soft cover. Lecture Notes in Computer Science (LNCS) 3294. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear and has library label on spine. 248 pages. Ex-Library. Seller Inventory # 033719

Contact seller

Buy Used

US$ 40.00
Convert currency
Shipping: US$ 4.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Dean, C. Neville [Editor]; Boute, Raymond T. [Editor];
Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1422633

Contact seller

Buy Used

US$ 48.14
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Dean, C. Neville (EDT); Boute, R. T. (EDT)
Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 3333391-n

Contact seller

Buy New

US$ 60.32
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540236115

Contact seller

Buy New

US$ 54.99
Convert currency
Shipping: US$ 7.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020163684

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Dean, C. Neville (EDT); Boute, R. T. (EDT)
Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 3333391

Contact seller

Buy Used

US$ 71.89
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540236115_new

Contact seller

Buy New

US$ 70.05
Convert currency
Shipping: US$ 16.03
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Dean, C. Neville
Published by Springer 2004-11, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540236115

Contact seller

Buy New

US$ 65.74
Convert currency
Shipping: US$ 20.73
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Dean, C. Neville (EDT); Boute, R. T. (EDT)
Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 3333391-n

Contact seller

Buy New

US$ 69.16
Convert currency
Shipping: US$ 20.07
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2004
ISBN 10: 3540236112 ISBN 13: 9783540236115
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 264. Seller Inventory # 263066771

Contact seller

Buy New

US$ 86.84
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 7 more copies of this book

View all search results for this book