资源描述：
《Personal reflections on automation, programming culture, and model-based software engineering》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、AutomSoftwEng(2008)15:379391DOI10.1007/s10515-008-0035-7Personalreflectionsonautomation,programmingculture,andmodel-basedsoftwareengineeringBranSelicReceived:21July2008/Accepted:1August2008/Publishedonline:3September2008©SpringerScience+BusinessMedia,LLC2008AbstractModel-basedsoftwareengineer
2、ing(MBSE)isanapproachtosoftwarede-velopmentcharacterizedinpartbysignificantlygreaterlevelsofautomationwhencomparedtomoretraditionaldevelopmentmethods.Computer-basedtoolsplayafundamentalroleinanumberofkeyaspectsofdevelopment,includingauthor-ingsupport(manyMBSElanguagesarepredominantlyvisual),a
3、utomaticorsemi-automaticverification,automatedtranslationofspecificationsintocorrespondingprograms,andsoon.Giventhehistoricalprecedents,suchastheintroductionofcompilationtechnol-ogy,thereislittledoubtthatautomation,whenproperlyconceivedandrealized,candramaticallyincreasetheproductivityofsoftwa
4、redevelopersandimprovethequal-ityoftheirsoftware.Therefore,itisnaturaltoassumethatMBSEwouldquicklybecomethedominantformofsoftwaredevelopment,similartotherapidadoptionofcomputer-aideddesignapproachesforhardware.Yet,thishasnotbeenthecase.Inthisopinion-basedarticle,derivedfromtheauthorslong-ter
5、mexperiencewithMBSEanditsapplicationinindustry,weexaminethecausesbehindthisseeminglyparadoxicalsituation.KeywordsModel-drivendevelopment·Computer-aidedsoftwareengineering·Psychologyofprogramming·Usability·Computerautomation·Softwaretools1IntroductionTheuseofcomputertechnologyinsupportofsoftw
6、aredesignanddevelopmentdatesbacktotheearliestdaysofprogramming.Itisanobviousfit,giventhatthecomputeris,ineffect,theultimateautomationmachineandthattheprimaryartifactsoftheB.Selic()MalinaSoftwareCorp.,10BlueridgeCourt,Nepean,Ontario,CanadaK2J2J3e-mail:selic@acm.org380AutomSoftwEng(2008)15:379
7、391developmentprocessarethemselvesstored,manipulated,andexecutedoncomput-ers.Computer-basedautomationhasbeenusedforavarietyoffunctionsrelatedtosoftwaredevelopmentincludingcompilation,programlinkingandloading,sourceprogramcreationandediting,versionm
