| Document Date: 2013-10-30 13:19:50
Open Document File Size: 1,09 MBShare 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 |
University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint