Fun with formal methods is more than fun

dc.contributor.authorShilov, N. V.
dc.date.accessioned2015-11-05T08:30:41Z
dc.date.available2015-11-05T08:30:41Z
dc.date.issued2014
dc.description.abstractAlmost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking "Formal Methods", to question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. So, things are right where they started decades ago? Not at all, since industrial applications of Formal Methods are not the unique measure of success. Another dimension where we can discuss utility of Formal Methods could be better education. A very popular (in Russia) aphorism of Mikhail Lomonosov (the first Russian academician) says: "Mathematics should be learned just because it disciplines and bring up the mind". Similarly, Formal Methods discipline and bring up minds in Computer Science. and help to bridge a "cultural gap" (E.W.Dijkstra) between Mathematics and Computer Science.ru_RU
dc.identifier.isbn9786018046728
dc.identifier.urihttp://nur.nu.edu.kz/handle/123456789/790
dc.language.isoenru_RU
dc.publisherNazarbayev Universityru_RU
dc.subjectformal methodsru_RU
dc.subjectmethodru_RU
dc.titleFun with formal methods is more than funru_RU
dc.typeAbstractru_RU

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
F U N W I T H F O R M A L.pdf
Size:
85.19 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: