Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

FM
2008
Springer

favoriteEmaildiscussreport

135views Formal Methods» more FM 2008»

Secret Ninja Formal Methods

13 years 5 months ago

Secret Ninja Formal Methods

Download kind.ucd.ie

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses. 1 Enter the Ninja Software development tools and techniques based on formal methods hold great promise for improving software quality. Unfortunately, many undergraduate computer science and software engineering curricula include no formal methods in

Joseph R. Kiniry, Daniel M. Zimmerman

Real-time Traffic

Applied Formal Methods | FM 2008 | Formal Methods | Formal Methods Tools |

claim paper

Related Content

» Counting Votes with Formal Methods

» Verifying PrivacyType Properties in a Modular Way

» The Secret Art of Computer Programming

» Secrets of Optical Flow Estimation and Their Principles

» Equational Approach to Formal Analysis of TLS

» Automated Analysis of Java Methods for Confidentiality

» Discriminative Feature Selection by Nonparametric Bayes Error Minimization

» Confidentiality Policies and Their Enforcement for Controlled Query Evaluation

» Epigenetic acquisition of inducibility of type III cytotoxicity in P aeruginosa

Post Info
More Details (n/a)

Added	26 Oct 2010
Updated	26 Oct 2010
Type	Conference
Year	2008
Where	FM
Authors	Joseph R. Kiniry, Daniel M. Zimmerman

Comments (0)