?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Formal+Methods+in+Industry%3A+The+State+of+Practice+of+Formal+Methods+in+South+America+and+Far+East&rft.creator=Russo+Jr%2C+Aryldo+G&rft.subject=Transportation&rft.subject=Other&rft.description=The+use+of+formal+methods+has+constantly+increased%2C+al-+though+with+basically+two+constraints%3A+their+use+has+been+concentrated+mostly+in+Europe%2C+their+Mother+land+and+they+have+been+used+only+by+big+companies+which+are+in+charge+to+develop+some+kind+of+safety+critical+applications%2C+what%2C+in+a+first+look+seems+correct.+The+aim+of+this+paper+is+to+present+the+usage+stage+of+formal+methods+in+other+parts+of+the+world%2C+mainly+South+America%2C+and+Far+East.+A+personal+comparison+of+some+formal+method+tools%2C+namely%3A+Atelier+B%5B1%5D%2C+RODIN%5B2%5D%2C+and+SCADE%5B3%5Dis+also+presented.+The+comparison+methodology+is+based+on+three+different+points+of+view%3A+capability%2C+I+mean%2C+how+these+tools+can+satisfy+project+constraints%2C+usability%2C+basically%2C+what%E2%80%99s+the+difficulty+the+user+faces+when+trying+to+use+the+tool%2C+and+adequacy+to+the+current+development+pro-+cess.This+work+describes+also+real+applications+in+industry%2C+sometimes+not+the+formal+method+usage+itself%2C+but+how+the+formal+method+culture+can+drasticaly+helps+on+the+development+process.+Finally%2C+some+of+the+gaps+in+industry+wishes+that+could+be+fulfilled+by+some+applications+are+sorted.&rft.date=2009-09-14&rft.type=DEPLOY+Associate+Item&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F169%2F1%2FICFEM_2009_ind_app.pdf&rft.identifier=++Russo+Jr%2C+Aryldo+G++(2009)+Formal+Methods+in+Industry%3A+The+State+of+Practice+of+Formal+Methods+in+South+America+and+Far+East.++%5BDEPLOY+Associate+Item%5D++++(Submitted)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F169%2F