工学部_研究紹介_2020_英語版
24/80

Kozo OkanoAssociate ProfessorHe received his PhD degree from Osaka University. His research areas include Specification and Verification Techniques for Software Engineering and Dependable Systems.HowCanWeEfficientlyDevelopReliableSoftware?InOkanoLab.,weresearchonsoftwareengineering,especiallyspecificationandverificationtechniques.Developmentofsoftwareproducesnotonlysoftwareprogramcodeitselfbutalsoalotofdocumentproductsincludingrequirement,specification,design,testsuitsandprogramassertions.Suchadocumentrelatedeachother.Maintenanceofsuchdocumentsis,thus,alsoimportant.Wealsoresearchonanalysisofsuchdocumentsforincreaseofreliabilityofsoftwareproducts.OurresearchisoneoftheimportanttechniquesinSoftwareEngineering.Futuresocietywillneedmorereliableandhugesoftware.Ourresearch,therefore,willbeimportantinfuture.Softwareengineerswithsuchtechniqueswillplayactivepartindevelopmentofsoftwareproducts.ComputerScience &EngineeringAfter GraduationIn the FutureModel Checking of Equivalence  of C FunctionsSpecification Analysis by NLPHalfofthegraduatesgotograduateschool.Graduatesofourlaboratorywillbeemployedbyelectronicscompanies,ITcompaniesandetc.Manygraduatesareworkingassoftware/ITengineerswithabilityofsoftwareengineering.Electrical& Computer EngineeringIn the FutureAfter GraduationShinpeiOgataDesignpatternmodelstoenhancesoftwareusability.Atooltosupportusabilityevaluation.ThistoolshowstheresultofanalyzinguseroperationlogsrecordedthroughaWebbrowser.Ourresearchesfocusonhowtoenhancesoftwareusabilitysystematicallyandefficientlyatanearlystageofsoftwaredevelopment.TheValidationandVerification(V&V)ofsoftwarerequirementsareveryimportant.However,theircostisexpensivebecauseoffrequentmanualinspectionsand/orprototypecreation,etc.Therefore,V&Vactivitysupportisneeded.Wehavechallengedtorealizetoolssuchas“model-basedusabilityevaluationtool”and“prototypegenerationtool”,etc.sothatusabilitycanbeevaluatedefficiently.Variousdevicessuchassensorsand/ortouchdisplay,smartphones,etc.havebeenusedinbusinesswidely.Therefore,theusabilityoftheapplicationsusingvariousdeviceswillbeveryimportantinthefuture.Ourresearchwillcontributetotheefficientconstructionofusablesoftware.Modelingrequiresanabstractionability.Enterprisesforsoftwaredevelopmentlookforengineerswiththisability.Youcantrainthisabilityinourlab.Assistant ProfessorHe received Ph.D. degree in engineering from Shibaura Institute of Technology (2012). His research areas are model-driven engineering and requirements engineering.Model-Driven Engineering forEnhancing Software Usability22

元のページ  ../index.html#24

このブックを見る