Tetsuo Tamai

Proceedings of the Engineering Adaptive Software Systems, 2019

Key Software Engineering Paradigms and Modeling Methods.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Software Engineering., 2019

2018

Quality Requirements Analysis with Machine Learning.

[BibT_eX]

[DOI]

Taichi Anzai

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2016

Context-Oriented Software Development with Generalized Layer Activation Mechanism.

[BibT_eX]

[DOI]

LNCS Trans. Modul. Compos., 2016

Product-centered view vs process-centered view.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11).

[BibT_eX]

[DOI]

Hausi A. Müller

Bashar Nuseibeh

NII Shonan Meet. Rep., 2015

Software Engineering View of a Large-Scale System Failure and the Following Lawsuit.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

2014

A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems.

[BibT_eX]

[DOI]

Supasit Monpratarnchai

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Context-oriented software engineering: a modularity vision.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

2011

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.

[BibT_eX]

[DOI]

Shaoying Liu

Int. J. Softw. Eng. Knowl. Eng., 2011

A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context.

[BibT_eX]

[DOI]

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Counterexample-Based Error Localization of Behavior Models.

[BibT_eX]

[DOI]

Tsutomu Kumazawa

Proceedings of the NASA Formal Methods, 2011

2010

Requirements engineering education for senior engineers: Course design and its evaluation.

[BibT_eX]

[DOI]

Toshihiko Tsumaki

Proceedings of the 5th International Workshop on Requirements Engineering Education and Training, 2010

Archface: a contract place where architectural design and code meet together.

[BibT_eX]

[DOI]

Jun Nomura

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Introduction to the RE'08 special issue.

[BibT_eX]

[DOI]

Requir. Eng., 2009

Social Impact of Information System Failures.

[BibT_eX]

[DOI]

Computer, 2009

Integration of formal specification, review, and testing for software component quality assurance.

[BibT_eX]

[DOI]

Shaoying Liu

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process.

[BibT_eX]

Yi Wang

Proceedings of the First NASA Formal Methods Symposium, 2009

Towards safe and flexible object adaptation.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Context-Oriented Programming, 2009

2008

The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ.

[BibT_eX]

[DOI]

Supasit Monpratarnchai

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

AspectM: UML-Based Extensible AOM Language.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Contract-Based Verification for Aspect-Oriented Refactoring.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Lightweight dependent classes.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

Iterative Model Fixing with Counterexamples.

[BibT_eX]

[DOI]

Tsutomu Kumazawa

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

How Does Requirements Quality Relate to Project Success or Failure?

[BibT_eX]

[DOI]

Mayumi Itakura Kamata

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

An aspect-oriented weaving mechanism based on component and connector architecture.

[BibT_eX]

[DOI]

Akihiro Sakai

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Lightweight scalable components.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2007

An interface mechanism for encapsulating weaving in class-based AOP.

[BibT_eX]

[DOI]

Akihiro Sakai

Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007

2006

Framework for matching requirements elicitation techniques to project characteristics.

[BibT_eX]

[DOI]

Toshihiko Tsumaki

Softw. Process. Improv. Pract., 2006

Metamodel Access Protocols for Extensible Aspect-Oriented Modeling.

[BibT_eX]

Int. Trans. Syst. Sci. Appl., 2006

Objects as Actors Assuming Roles in the Environment.

[BibT_eX]

[DOI]

Ryoichi Ichiyama

Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Aspect-oriented software design with a variant of UML/STD.

[BibT_eX]

[DOI]

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Formal specification and analysis of JAAS framework.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

2005

Concern management for constructing model compilers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Flexible Method Combination based on Mixin Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2005

Selective method combination in mixin-based composition.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A parameterized interpreter for modeling different AOP mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Model Evolution with Aspect-Oriented Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

Impact Analysis of Weaving in Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Hideaki Shinomi

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

An adaptive object model with dynamic role binding.

[BibT_eX]

[DOI]

Ryoichi Ichiyama

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Pedagogical View on Software Modeling and Graph-Structured Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education in the Modern Age, 2005

How to teach software modeling.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Model Compiler Construction Based on Aspect-Oriented Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2005

2004

An AOP Implementation Framework for Extending Join Point Models.

[BibT_eX]

[DOI]

Hidehiko Masuhara

Proceedings of the RAM-SE'04-ECOOP'04 Workshop on Reflection, 2004

McJava - A Design and Implementation of Java with Mixin-Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Loosely Connected RPC: An Approach for Extendable Interface of Web Services.

[BibT_eX]

Proceedings of the Web Services: Modeling, 2003

2002

Modeling collaborations among objects that change their roles dynamically and its modularization mechanism.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2002

Analysis of software evolution processes using statistical distribution Models.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Evolvable programming based on collaboration-field and role model.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Process of Software Evolution.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

Embedding XML Processing Toolkit on General Purpose Programming Language.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

Aspect-oriented programming with model checking.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001

Behavioural Analysis of the Enterprise JavaBeans<sup>TM</sup> Component Architecture.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

Separation of Concerns in Mobile Agent Applications.

[BibT_eX]

[DOI]

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

A Case of Software Engineering Accreditation.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

A Requirements Description Metamodel for Use Cases.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Organizing process of objects viewed in multiple perspectives.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2000

Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

Automated analysis of the SCR-style requirements specifications.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

Objects and roles: modeling based on the dualistic view.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

IDEFO-Based Software Process Analysis for Scheduling Systems Development.

[BibT_eX]

Akihiro Abe

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

An Evolutional Cooperative Computation Based on Adaptation to Environment.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

Empirical Observations on Object Evolution.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Abstraction orientated property of software and its relation to patentability.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1998

Formalization of Graph Search Algorithms and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Towards Constructing a Class Evolution Model.

[BibT_eX]

[DOI]

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

1993

Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking.

[BibT_eX]

[DOI]

Akito Itou

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Software lifetime and its evolution process over generations.

[BibT_eX]

[DOI]

Yohsuke Torimitsu

Proceedings of the Conference on Software Maintenance, 1992

1991

Backtrack and foresight in software process.

[BibT_eX]

[DOI]

Akito Itou

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

Formal and informal approaches for validation.

[BibT_eX]

[DOI]