Tetsuo Tamai - RankMe

77 papers A* 6A 3B 8C 11Misc 2Journal 14Unranked 29

Year	Rank	Type	Title / Venue / Authors
2019	—	`ch.`	Assessing Security and Privacy Behavioural Risks for Self-Protection Systems. Engineering Adaptive Software Systems Yijun Yu, Nobukazu Yoshioka, Tetsuo Tamai
2019	—	`book`	Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh
2019	—	`ch.`	Key Software Engineering Paradigms and Modeling Methods. Handbook of Software Engineering Tetsuo Tamai
2018	B	`conf`	Quality Requirements Analysis with Machine Learning. ENASE Tetsuo Tamai, Taichi Anzai
2016	J	`jnl`	Context-Oriented Software Development with Generalized Layer Activation Mechanism. LNCS Trans. Modul. Compos. Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
2016	B	`conf`	Product-centered view vs process-centered view. SPLC Tetsuo Tamai
2015	J	`jnl`	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11). NII Shonan Meet. Rep. Tetsuo Tamai, Hausi A. Müller, Bashar Nuseibeh
2015	—	`conf`	Software Engineering View of a Large-Scale System Failure and the Following Lawsuit. SER&IP@ICSE Tetsuo Tamai
2014	—	`conf`	A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems. APSEC (1) Tetsuo Tamai, Supasit Monpratarnchai
2014	—	`conf`	Context-oriented software engineering: a modularity vision. MODULARITY Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
2011	J	`jnl`	A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. Shaoying Liu, Tetsuo Tamai, Shin Nakajima
2011	A	`conf`	A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context. RE Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, Tetsuo Tamai
2011	—	`conf`	Counterexample-Based Error Localization of Behavior Models. NASA Formal Methods Tsutomu Kumazawa, Tetsuo Tamai
2010	—	`conf`	Archface: a contract place where architectural design and code meet together. ICSE (1) Naoyasu Ubayashi, Jun Nomura, Tetsuo Tamai
2010	—	`conf`	Requirements engineering education for senior engineers: Course design and its evaluation. REET Takako Nakatani, Toshihiko Tsumaki, Tetsuo Tamai
2009	—	`conf`	A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process. NASA Formal Methods Yi Wang, Tetsuo Tamai
2009	Misc	`conf`	Integration of formal specification, review, and testing for software component quality assurance. SAC Shaoying Liu, Tetsuo Tamai, Shin Nakajima
2009	J	`jnl`	Introduction to the RE'08 special issue. Requir. Eng. Tetsuo Tamai
2009	J	`jnl`	Social Impact of Information System Failures. Computer Tetsuo Tamai
2009	—	`conf`	Towards safe and flexible object adaptation. COP@ECOOP Tetsuo Kamina, Tetsuo Tamai
2008	C	`conf`	Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. SERA Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai
2008	A*	`conf`	AspectM: UML-Based Extensible AOM Language. ASE Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai
2008	A	`conf`	Contract-Based Verification for Aspect-Oriented Refactoring. ICST Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai
2008	C	`conf`	Iterative Model Fixing with Counterexamples. APSEC Tsutomu Kumazawa, Tetsuo Tamai
2008	B	`conf`	Lightweight dependent classes. GPCE Tetsuo Kamina, Tetsuo Tamai
2008	C	`conf`	The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. SNPD Supasit Monpratarnchai, Tetsuo Tamai
2007	A*	`conf`	An aspect-oriented weaving mechanism based on component and connector architecture. ASE Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai
2007	—	`conf`	An interface mechanism for encapsulating weaving in class-based AOP. SPLAT Naoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai
2007	A	`conf`	How Does Requirements Quality Relate to Project Success or Failure? RE Mayumi Kamata-Itakura, Tetsuo Tamai
2007	B	`conf`	Lightweight scalable components. GPCE Tetsuo Kamina, Tetsuo Tamai
2006	C	`conf`	Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. SEKE Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
2006	—	`conf`	Aspect-oriented software design with a variant of UML/STD. SCESM Shin Nakajima, Tetsuo Tamai
2006	—	`conf`	Formal specification and analysis of JAAS framework. SESS@ICSE Shin Nakajima, Tetsuo Tamai
2006	J	`jnl`	Framework for matching requirements elicitation techniques to project characteristics. Softw. Process. Improv. Pract. Toshihiko Tsumaki, Tetsuo Tamai
2006	J	`jnl`	Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. Int. Trans. Syst. Sci. Appl. Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
2006	—	`conf`	Objects as Actors Assuming Roles in the Environment. SELMAS (LNCS) Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
2005	—	`conf`	A Pedagogical View on Software Modeling and Graph-Structured Diagrams. Software Education and Training Sessions @ ICSE Tetsuo Tamai
2005	A*	`conf`	A parameterized interpreter for modeling different AOP mechanisms. ASE Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai
2005	A*	`conf`	An adaptive object model with dynamic role binding. ICSE Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
2005	—	`conf`	Concern management for constructing model compilers. MACS@ICSE Naoyasu Ubayashi, Tetsuo Tamai
2005	J	`jnl`	Concern management for constructing model compilers. ACM SIGSOFT Softw. Eng. Notes Naoyasu Ubayashi, Tetsuo Tamai
2005	B	`conf`	Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. ICECCS Tetsuo Tamai
2005	J	`jnl`	Flexible Method Combination based on Mixin Subtyping. J. Object Technol. Tetsuo Kamina, Tetsuo Tamai
2005	A*	`conf`	How to teach software modeling. ICSE Tetsuo Tamai
2005	—	`conf`	Impact Analysis of Weaving in Aspect-Oriented Programming. ICSM Hideaki Shinomi, Tetsuo Tamai
2005	B	`conf`	Model Compiler Construction Based on Aspect-Oriented Mechanisms. GPCE Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
2005	—	`conf`	Model Evolution with Aspect-Oriented Mechanisms. IWPSE Naoyasu Ubayashi, Shinji Sano, Yusaku Maeno, Satoshi Murakami, Tetsuo Tamai
2005	Misc	`conf`	Selective method combination in mixin-based composition. SAC Tetsuo Kamina, Tetsuo Tamai
2004	—	`conf`	An AOP Implementation Framework for Extending Join Point Models. RAM-SE Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai
2004	B	`conf`	McJava - A Design and Implementation of Java with Mixin-Types. APLAS Tetsuo Kamina, Tetsuo Tamai
2003	—	`conf`	Loosely Connected RPC: An Approach for Extendable Interface of Web Services. WSMAI Tetsuo Kamina, Tetsuo Tamai
2002	—	`conf`	Analysis of software evolution processes using statistical distribution Models. IWPSE Tetsuo Tamai, Takako Nakatani
2002	—	`conf`	Aspect-oriented programming with model checking. AOSD Naoyasu Ubayashi, Tetsuo Tamai
2002	C	`conf`	Embedding XML Processing Toolkit on General Purpose Programming Language. APSEC Tetsuo Kamina, Tetsuo Tamai
2002	—	`conf`	Evolvable programming based on collaboration-field and role model. IWPSE Tetsuo Tamai
2002	J	`jnl`	Modeling collaborations among objects that change their roles dynamically and its modularization mechanism. Syst. Comput. Jpn. Naoyasu Ubayashi, Tetsuo Tamai
2002	C	`conf`	Process of Software Evolution. CW Tetsuo Tamai
2001	—	`conf`	A Case of Software Engineering Accreditation. CSEE&T Yoshihiro Matsumoto, Yoshihiro Akiyama, Osamu Dairiki, Tetsuo Tamai
2001	C	`conf`	A Requirements Description Metamodel for Use Cases. APSEC Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai
2001	—	`conf`	Behavioural Analysis of the Enterprise JavaBeans SPIN Shin Nakajima, Tetsuo Tamai
2001	—	`ed.`	Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, Vienna, Austria, September 10-11, 2001 IWPSE Tetsuo Tamai
2001	—	`conf`	Separation of Concerns in Mobile Agent Applications. Reflection Naoyasu Ubayashi, Tetsuo Tamai
2000	C	`conf`	Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. ICFEM Tetsuo Tamai
2000	J	`jnl`	Organizing process of objects viewed in multiple perspectives. Syst. Comput. Jpn. Takako Nakatani, Tetsuo Tamai
1999	C	`conf`	An Evolutional Cooperative Computation Based on Adaptation to Environment. APSEC Naoyasu Ubayashi, Tetsuo Tamai
1999	J	`jnl`	Automated analysis of the SCR-style requirements specifications. J. Comput. Sci. Technol. Guoqing Wu, Xiang Liu, Shi Ying, Tetsuo Tamai
1999	C	`conf`	Empirical Observations on Object Evolution. APSEC Takako Nakatani, Tetsuo Tamai
1999	—	`conf`	IDEFO-Based Software Process Analysis for Scheduling Systems Development. ICEIS Akihiro Abe, Tetsuo Tamai
1999	J	`jnl`	Objects and roles: modeling based on the dualistic view. Inf. Softw. Technol. Tetsuo Tamai
1998	J	`jnl`	Abstraction orientated property of software and its relation to patentability. Inf. Softw. Technol. Tetsuo Tamai
1998	—	`conf`	Formalization of Graph Search Algorithms and Its Applications. TPHOLs Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
1997	C	`conf`	Towards Constructing a Class Evolution Model. APSEC Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda
1996	—	`conf`	How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. IWSSD Tetsuo Tamai
1993	A*	`conf`	Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. ICSE Tetsuo Tamai, Akito Itou
1992	—	`conf`	Software lifetime and its evolution process over generations. ICSM Tetsuo Tamai, Yohsuke Torimitsu
1991	—	`conf`	Backtrack and foresight in software process. ISPW Tetsuo Tamai, Akito Itou
1991	B	`conf`	Formal and informal approaches for validation. COMPSAC Tetsuo Tamai