Electrical& Computer Electrical& Computer Electrical& Computer Electrical& Computer Ourresearchesfocusonhowtoenhancesoftwareusabilitysystematicallyandefficientlyatanearlystageofsoftwaredevelopment.TheValidationandVerification(V&V)ofsoftwarerequirementsareveryimportant.However,theircostisexpensivebecauseoffrequentmanualinspectionsand/orprototypecreation,etc.Therefore,V&Vactivitysupportisneeded.Wehavechallengedtorealizetoolssuchas“model-basedusabilityevaluationtool”and“prototypegenerationtool”,etc.sothatusabilitycanbeevaluatedefficiently.OkanoLab.researchesonsoftwareengineering,especiallyspecificationandverificationtechniques.RecentlywestudyonML4SEandSE4ML.Developmentofsoftwareproducesnotonlysoftwareprogramcodeitselfbutalsoalotofdocumentproductsincludingrequirement,specification,design,testsuitsandprogramassertions.Suchadocumentrelatedeachother.Maintenanceofsuchdocumentsis,thus,alsoimportant.Wealsoresearchonanalysisofsuchdocumentsforincreaseofreliabilityofsoftwareproducts.Variousdevicessuchassensorsand/ortouchdisplay,smartphones,etc.havebeenusedinbusinesswidely.Therefore,theusabilityoftheapplicationsusingvariousdeviceswillbeveryimportantinthefuture.Ourresearchwillcontributetotheefficientconstructionofusablesoftware.Modelingrequiresanabstractionability.Enterprisesforsoftwaredevelopmentlookforengineerswiththisability.Youcantrainthisabilityinourlab.researchisoneofSoftwareOurtheimportanttechniquesEngineering.Futuresocietywillneedmorereliableandtherefore,hugesoftware.Ourwillimportantfuture.Softwareengineerswithsuchtechniqueswillplayactivepartindevelopmentofsoftwareproducts.inresearch,inbeHalfofthegraduatesgotograduateschool.laboratorywillbeemployedbyGraduatesofourelectronicscompanies,ITcompaniesandetc.Manygraduatesareworkingassoftware/ITengineerswithabilityofsoftwareengineering.Designpatternmodelstoenhancesoftwareusability.Atooltosupportusabilityevaluation.ThistoolshowstheresultofanalyzinguseroperationlogsrecordedthroughaWebbrowser.ShinpeiOgataAssociateProfessorHe received Ph.D. degree in engineering from Shibaura Institute of Technology (2012). His research areas are model-driven engineering and requirements engineering.Kozo OkanoProfessorHe received his PhD degree from Osaka University. His research areas include Specification and Verification Techniques for Software Engineering and Dependable Systems.In the FutureAfter GraduationIn the FutureAfter GraduationEngineeringEngineeringEngineeringEngineeringAutomated Production of Transition diagrams from Natural Requirement Specifications based on ML techniquesBug Estimation by Ablation Techniques with Machine Learning on Test Trace JudgementStudy on Metrics for Estimating Buggy ModelsModel-Driven Engineering forEnhancing Software UsabilityHowCanWeEfficientlyDevelopReliableSoftware?
元のページ ../index.html#23