Nonfiction | Computer & Technology
Teaching Formal Methods
by C. Neville Dean 2020-04-19 20:28:21
image1
COMPARE PRICE
"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 standard... Read more
"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. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.02 X 5.98 X 0 in
  • 252
  • Springer-Verlag/Sci-Tech/Trade
  • October 11, 2004
  • eng
  • 9783540304722
autor-image
C. Neville Dean
Author
...
Compare Prices
image
PDF (drm free, digitally watermarked)
Buy USD 89.0
image
Buy CAD 126.64
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Privacy and Legal Issues in Cloud Computing:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:
image1
Drones For Dummies:
image1
Microsoft SharePoint 2013 Step by Step:
image1
LPIC-1:
image1
Make:
image1
The Seismic Analysis Code:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
Moodle Gradebook:
image1
Expanding and Networking Microcomputers:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
The Digital Filmmaking Handbook:
image1
Type Theory and Formal Proof:
image1
Complex Analysis with MATHEMATICA®:
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
Python Programming for Arduino:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Network Programmability and Automation:
image1
Windows 10 Bible:
image1
Abstract Methods in Information Theory:
image1
Practical Monitoring:
image1
CompTIA Network+ Study Guide:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Rapid Prototyping Software for Avionics Systems:

Stay in touch.

© 2024 AMPLE READS