Show simple item record  

dc.contributor.authorUtting, Mark
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-12-04T00:51:01Z
dc.date.available2008-12-04T00:51:01Z
dc.date.issued2001
dc.identifier.citationUtting, M. & Reeves, S.(2001). Teaching formal methods lite via testing. Software testing, verification and reliability, 11(3), 181-195.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1524
dc.description.abstractA new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can benefit each other, in both the validation and verification phases. It uses a tools-based approach, with practical work that reinforces formal specification techniques as well as traditional software engineering skills, such as unit and system testing, inspection and defensive programming with assertions. The two main results are to identify several practical uses of formal specifications that are not widely practised or taught and to demonstrate that teaching them results in a more interesting and relevant formal methods course.en_US
dc.language.isoen
dc.publisherJohn Wiley & Sons, Ltd.en_US
dc.relation.urihttp://www3.interscience.wiley.com/cgi-bin/fulltext/81502627/PDFSTARTen_US
dc.subjectcomputer scienceen_US
dc.subjecttestingen_US
dc.subjectspecificationsen_US
dc.subjectassertionsen_US
dc.subjectteachingen_US
dc.subjectformal methodsen_US
dc.titleTeaching formal methods lite via testingen_US
dc.typeJournal Articleen_US
dc.identifier.doi10.1002/stvr.233en_US
dc.relation.isPartOfSoftware Testing, Verification and Reliabilityen_NZ
pubs.begin-page181en_NZ
pubs.elements-id27062
pubs.end-page195en_NZ
pubs.issue3en_NZ
pubs.volume11en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record