Lecture Notes in Computer Science : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings - C. Neville Dean

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

By: C. Neville Dean (Editor), Raymond T. Boute (Editor)

Write A Review

Paperback | 17 November 2004

At a Glance

Paperback
264 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

"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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Graphical & Digital Media Applications 3D Graphics & Modelling

Education Education Equipment & Technology Databases Artificial Intelligence

A Beginner's Course on Reasoning About Imperative Programs	p. 1
Designing Algorithms in High School Mathematics	p. 17
Motivating Study of Formal Methods in the Classroom	p. 32
Formal Systems, Not Methods	p. 47
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis	p. 65
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns	p. 85
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods	p. 107
Integrating Formal Specification and Software Verification and Validation	p. 124
Distributed Teaching of Formal Methods	p. 140
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students	p. 153
Linking Paradigms, Semi-formal and Formal Notations	p. 166
Teaching Formal Methods in Context	p. 185
Embedding Formal Development in Software Engineering	p. 203
Advertising Formal Methods and Organizing Their Teaching: Yes, but	p. 214
Retrospect and Prospect of Formal Methods Education in China	p. 225
A Survey of Formal Methods Courses in European Higher Education: The FME Subgroup on Education	p. 235
Author Index	p. 249
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Databases

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

Getting to Know ArcGIS Pro 3.6

Getting to Know

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Stochastic Control in Energy, Environmental and Resource Management Applications

Emerging Methodologies and Applications in Modelling, Identification and Control

Architecting an Apache Iceberg Lakehouse

A Scalable, Open-Source Data Platform

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7-8, Ji'an, China

Python All-in-One For Dummies

3rd Edition

Hands-On Programming with R

Write Your Own Functions and Simulations

SPSS Survival Manual

7th Edition - A step by step guide to data analysis using IBM SPSS

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Microsoft Excel 365 Bible

Bible

The Value of People Analytics

Using HR Data and AI to Drive Business Results

Social Research Methods

4th Edition

Coding All-in-One For Dummies

2nd Edition

Microsoft 365 Access For Dummies

Access for Dummies

The Art of Explanation

How to Communicate with Clarity and Confidence

Data-driven BIM for Energy Efficient Building Design

1st Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Data Analytics for Accounting ISE

3rd Edition

Learning Data Science

Data Wrangling, Exploration, Visualization, and Modeling with Python

Database Systems 6ed

A Practical Approach to Design, Implementation, and Management, Global Edition

Building a Scalable Data Warehouse with Data Vault 2.0

This product is categorised by