Software Engineering Laboratory for Dependable Systems (SELDS)
Hosei University
3-7-2 Kajino-cho Koganei-shi
Tokyo, 184-8584
Rooms: W5027, W5028
Tel: +81-(042)-387-4550

The Software Engineering Laboratory for Dependable Systems (SELDS) conducts research on the latest software engineering technologies and their application to the development of dependable computer systems.

The major software engineering technologies we have developed and continue to work on are Formal Engineering Methods (FEM) and Intelligent Software Engineering Environments (ISEE). FEM offers effective ways to integrate formal methods into the entire software engineering process to achieve rigor, comprehensibility, and tool supportability of the software process. A successful result of our efforts over the last 15 years in this area is the Structured Object-Oriented Formal Language (SOFL). SOFL offers an intuitive but formal notation for systems modeling and specification, rigorous inspection and testing for verification and validation, and a cost-effective process for management and tool support. ISEE is a collection of inter-related software tools with sufficient knowledge of the software methods and/or the application domain it supports. ISEE differs from traditional software engineering environments in that it offers intelligent guidance to software developers and “control” of the software process.

We are profoundly interested in and have been working on the application of the above software engineering technologies to complex computer and computer-based systems for their dependability. The major domains of application include Cyber-Physical Systems (CPS), Intelligent Transport Systems (ITS), Financial Systems (FS), Digital Products (DS), Medicare Systems (MS), and Information Systems (IS).

• Systems and Software Modeling and Specification, including SOFL and UML.
• Rigorous Review and Inspection, including property-based review and specification-based inspection.
• Rigorous testing, including specification animation, testing, specification-based testing, integration of functional and structural testing, and automatic testing.
• Software Evolution and Transformation, including automated programming from specification, reverse engineering, and software change management.
• Systems Safety and Security Specification and Analysis.
• Intelligent software engineering environments to support production line for software development.

Professor

Ph.D Students

M.Sc Students

Former Ph.D Students

Books, Journal Papers, and Conference Papers

HISE, University of York, UK

Jeff Offutt, George Mason University, USA

School of Software, Shanghai Jiaotong University, China

AFMRG, Oxford Brookes University

Jin Song Dong, National University of Singapore

• ICST 2012, SAC 2012, TASE 2012, ICFEM 2011, ICST 2011, QSIC 2011, SoMet 2011,
  TASE 2011, SS 2011, ACM SAC 2010, AST 2010, COMPSAC 2010 (Track Co-Chair), QSIC 2010, SSIRI 2010, TASE 2010, ACM SAC 2009, AST 2009, ATVA 2009, AWFS 2009, ICFEM 2009, ICIS 2009, ICTAC 2009, QSIC 2009, SS2009, SSIRI 2009, TASE 2009, AST 2008, ATVA 2008, HASE 2008, ICECCS 2008, ICFEM 2008, QSIC 2008, SSIRI 2008, TASE 2008.
• 2007 International Conference on Software Engineering Theory and Practice (SETP-07), Orlando, USA, 9-12 July 2007.

• 29th International Conference on Software Engineering (ICSE2007), Minneapols, USA, 20-26 May 2007.

• 8th International Conference on Formal Engineering Methods (ICFEM2006), Macau, 29 Oct. - 3 Nov. 2006

• 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2006), Stanford University, USA, 14-18 August 2006.

• 6th International Conference on Quality Software (QSIC2006), Beijing, China, 26-28 Oct. 2006.

• 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC2006), Gammarth/Tunis, Tunisia, 20-24 November 2006.

• 5th International Conference on Methodologies, Tools, and Techniques (SOMET06).

• 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006), Tokyo, Japan, 18-22 Sept. 2006.

• 13th Asia-Pacific Software Engineering Conference (APSEC2006), Bangalore, India, 6-8 Dec. 2006.

• 2006 Japan Software Symposium, Kumamoto, Japan, 19-21 July, 2006.

• 1st International Conference on Software and Data Technologies (ICSOFT2006), Setubal, Portugal, 11-14 Sept. 2006.
  

1. English corner (17:00・18:00 every Friday, Seminar room 1)
2. International day (17:00- 18:00 on Friday 19th December 2008, Seminar room 1)