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.AssociateProfessorHe 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 UsabilityKozo OkanoProfessorHe 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.After GraduationIn the FutureModel Checking of Equivalence of C FunctionsSpecification Analysis by NLPHalfofthegraduatesgotograduateschool.Graduatesofourlaboratorywillbeemployedbyelectronicscompanies,ITcompaniesandetc.Manygraduatesareworkingassoftware/ITengineerswithabilityofsoftwareengineering.Electrical& Computer EngineeringSpecification by SessameRequirement SpecificationXML
元のページ ../index.html#23