| Naoyasu Ubayashi | Last modified date：2013.5.15 |
Professor /
Advanced Software Engineering
Department of Advanced Information Technology
Faculty of Information Science and Electrical Engineering
Department of Advanced Information Technology
Faculty of Information Science and Electrical Engineering
Graduate School
Undergraduate School
Administration Post
Other
Homepage
[URL].
Academic Degree
Ph.D.
Field of Specialization
Software Engineering
Outline Activities
Software Engineering, Programming Language, Software Architecture, and Formal Verification
Research
Research Interests
- Software engineering, Programming language
keyword : Dependable software development, Software engineering, Software architecture, Software testing, Formal methods / Formal verification, Programming language mechanisms, Module mechanisms
2003.10.
Papers
| 1. | Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, and Tetsuo Tamai,A Context Analysis Method for Embedded Systems ---Exploring a Requirement Boundary between a System and Its Context,19th IEEE International Requirements Engineering Conference (RE 2011),pp.pp.143-152,2011.08. |
| 2. | Naoyasu Ubayashi, Jun Nomura, and Tetsuo Tamai,Archface: A Contract Place Where Architectural Design and Code Meet Together,32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010),pp.pp.75-84,2010.05. |
| 3. | Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, and Jun Yoshida,An Extensible Aspect-oriented Modeling Environment,21st International Conference on Advanced Information Systems (CAiSE 2009),2009.06. |
| 4. | Naoyasu Ubayashi, Akihiro Sakai, and Tetsuo Tamai,An Aspect-oriented Weaving Mechanism Based on Component and Connector Architecture,22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007),2007.11. |
| 5. | Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, and Tetsuo Tamai,A Parameterized Interpreter for Modeling Different AOP Mechanisms,20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),2005.11. |
| 6. | Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama,An Adaptive Object Model with Dynamic Role Binding,27th IEEE/ACM International Conference on Software Engineering (ICSE 2005),2005.05. |
| 7. | Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, and Seiichi Komiya,Association Aspects,3rd International Conference on Aspect-Oriented Software Development (AOSD 2004),2004.03. |
| 8. | Naoyasu Ubayashi and Tetsuo Tamai,Aspect-Oriented Programming with Model Checking,1st International Conference on Aspect-Oriented Software Development (AOSD 2002),2002.04. |
The fact that no permission it reprints contents of this data base is prohibitted.