Back to Results
First PageMeta Content
Science / Theoretical computer science / Systems engineering / Software development methodology / Scientific modelling / Software development process / B-Method / Software testing / Formal proof / Software development / Software / Formal methods


University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint
Add to Reading List

Document Date: 2013-10-30 13:19:50


Open Document

File Size: 1,09 MB

Share Result on Facebook

IndustryTerm

software engineering / safety critical systems / software testing methods / correct software / software development processes / software problems / software costs / software methodologies / software product / software production / model software systems / industrial software productions / software development / software veri cation / software engineers use / software defects / /

Organization

National Aeronautics and Space Administration / National Science Foundation / University of Edinburgh / /

Person

Gudmund Grov / Sasan Padidar / Alan Bundy / /

Position

Software Engineering Viewpoint MSc Dissertation Author / Professor / programmer / /

ProgrammingLanguage

Z Notation / /

URL

www.ai4fm.org / /

SocialTag