?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Mastering+System+Analysis+and+Design+through+Abstraction+and+Refinement&rft.creator=Butler%2C+Michael&rft.subject=ADVANCE+Project&rft.subject=Training&rft.description=The+complexity+of+requirements+and+complexity+of+operating+environments+make+error+detection+in+early+stages+of+software+system+development+difficult.++This+paper+makes+an+argument+for+the+use+of+formal+modelling+and+verification+in+early+stages+of+system+development+to+identify+and+eliminate+errors+in+a+timely+fashion.%0D%0APrecision+is+key+to+eliminating+errors+in+requirements+while+abstraction+is+key+to+mastering+requirements+complexity.+The+paper+outlines+the+way+in+which+precision+and+abstraction+may+be+achieved+through+modelling+and+how+refinement+allows+the+complexity+to+be+managed+through+layering.+++The+role+of+model+validation+and+model+verification+in+improving+the+quality+of+formal+models+and+in+improving+the+quality+of+the+requirements+is+also+outlined.+The+formalism+used+throughout+is+Event-B+supported+by+the+Rodin+toolset.%0D%0A%0D%0ABased+on+lectures+given+at+2012+Marktoberdorf+International+Summer+School+on+Engineering+Dependable+Software+Systems%0D%0A&rft.date=2012-12-06&rft.type=Teaching+Resource&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F459%2F14%2FButler.pdf&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F459%2F2%2Fslides-butler.pdf&rft.identifier=++Butler%2C+Michael++(2012)+Mastering+System+Analysis+and+Design+through+Abstraction+and+Refinement.++%5BTeaching+Resource%5D++++(Submitted)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F459%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>