• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KAMINA Tetsuo  紙名 哲生

ORCIDConnect your ORCID iD *help
Researcher Number 90431882
Other IDs
Affiliation (Current) 2022: 大分大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help 2017 – 2021: 大分大学, 理工学部, 准教授
2015 – 2016: 立命館大学, 情報理工学部, 任期制講師
2014: 立命館大学, 情報理工学部, 講師
2013: 東京大学, 教育学研究科(研究院), 助教
2012: 東京大学, 大学院・教育学研究科, 特任助教 … More
2011 – 2012: 東京大学, 教育学研究科(研究院), 特任助教
2010: The University of Tokyo, 大学院・教育学研究科, 特任助教
2008 – 2009: Gunma University, 大学院・人文社会系研究科, 助教 Less
Review Section/Research Field
Principal Investigator
Software / Software / Basic Section 60050:Software-related
Except Principal Investigator
Software
Keywords
Principal Investigator
リアクティブプログラミング / プログラミングパラダイム / モジュラリティ / 文脈指向 / プログラミング言語 / プログラム言語論 / ソフトウェア工学 / 型システム / モジュール化 / モジュール合成 … More / 合成層 / EventCJ / プログラム変換 / 操作的意味論 / 計算体系 / イベント駆動 / 暗黙的モジュール合成 / 方法論 / 理論化 / 文脈指向プログラミング / 時系列データ / 永続化 / ソフトウェア学 / ソフトウェア開発効率化 / 時系列データベース / 言語設計 / 分散システム … More
Except Principal Investigator
ソフトウェア開発効率化・安定化 / アスペクト指向プログラミング / セキュリティ / ソフトウェア工学 / ディスペンダブル・コンピューティング / UML / 形式手法 / 要求工学 / ディスペンタブル・コンピューティング / プログラム言語 / ディペンダブル・コンピューティング / ディスペンダブル、コンピューティング / ソフトウェア開発効率化、安定化 / ソフトウェア・モジュール化 / オブジェクト指向 / アスペクト指向 / 文脈指向 / ソフトウェア学 / プログラミング言語 / モジュール化 / 型システム Less
  • Research Projects

    (7 results)
  • Research Products

    (80 results)
  • Co-Researchers

    (9 People)
  •  仮想空間と現実世界の融合を支援する反応的計算基盤の構築Principal Investigator

    • Principal Investigator
      紙名 哲生
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Oita University
  •  環境と密に繋がるソフトウェアの開発を支援する新たなプログラミングの基盤技術Principal Investigator

    • Principal Investigator
      紙名 哲生
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Oita University
  •  Deepening Study on Context-Oriented ProgrammingPrincipal Investigator

    • Principal Investigator
      KAMINA Tetsuo
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Ritsumeikan University
      The University of Tokyo
  •  Verification mechanism in programming languages with dynamic modulesPrincipal Investigator

    • Principal Investigator
      KAMINA Tetsuo
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era

    • Principal Investigator
      CHIBA Shigeru
    • Project Period (FY)
      2010 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
      Tokyo Institute of Technology
  •  Programming Language for Effective and Reliable Software DevelopmentPrincipal Investigator

    • Principal Investigator
      KAMINA Tetsuo
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
      Gunma University
  •  Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety

    • Principal Investigator
      TAMAI Tetsuo
    • Project Period (FY)
      2006 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo

All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007

All Journal Article Presentation Book

  • [Book] REBLS 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems2019

    • Author(s)
      Guido Salvaneschi, Wolfgang De Meuter, Patrick Th Eugster, Francisco Sant’Anna, Lukasz S Ziarek, Tetsuo Kamina, Hidehiko Masuhara
    • Total Pages
      41
    • Publisher
      Association for Computing Machinery
    • ISBN
      9781450369862
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Journal Article] Managing Persistent Signals using Signal Classes2020

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      7th Workshop on Reactive and Event-based Languages & Systems (REBLS 2020)

      Volume: 1 Pages: 1-7

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Journal Article] TinyCORP: A Calculus for Context-Oriented Reactive Programming2019

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani
    • Journal Title

      COP '19: Proceedings of the Workshop on Context-oriented Programming

      Volume: 1 Pages: 1-8

    • DOI

      10.1145/3340671.3343356

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
  • [Journal Article] An approach for persistent time-varying values2019

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani
    • Journal Title

      Onward! 2019: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

      Volume: 1 Pages: 17-31

    • DOI

      10.1145/3359591.3359730

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
  • [Journal Article] Visualizing Reactive Execution History using Propagation Traces2018

    • Author(s)
      Takumi Hikosaka, Tetsuo Kamina, Katsuhisa Maruyama
    • Journal Title

      5th Workshop on Reactive and Event-based Languages & Systems

      Volume: 1 Pages: 1-6

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Journal Article] Harmonizing Signals and Events with a Lightweight Extension to Java2018

    • Author(s)
      Kamina Tetsuo、Aotani Tomoyuki
    • Journal Title

      The Art, Science, and Engineering of Programming

      Volume: 2

    • DOI

      10.22152/programming-journal.org/2018/2/5

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
  • [Journal Article] Method Safety Mechanism for Asynchronous Layer Deactivation2018

    • Author(s)
      Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko、Igarashi Atsushi
    • Journal Title

      Science of Computer Programming

      Volume: 156 Pages: 104-120

    • DOI

      10.1016/j.scico.2018.01.006

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033, KAKENHI-PROJECT-17H01723
  • [Journal Article] Push-based reactive layer activation in context-oriented programming2017

    • Author(s)
      Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko
    • Journal Title

      Proceedings of the 9th International Workshop on Context-Oriented Programming

      Volume: 9 Pages: 17-21

    • DOI

      10.1145/3117802.3117805

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00115, KAKENHI-PROJECT-16K16033
  • [Journal Article] Context-Oriented Software Development with Generalized Layer Activation Mechanism2016

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
    • Journal Title

      LNCS Transactions on Modularity and Composition

      Volume: 印刷中

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Invalid Layer Combinations Using Control-Flow Analysis for Android2016

    • Author(s)
      Noriyuki Suzuki, Tetsuo Kamina, and Katsuhisa Maruyama
    • Journal Title

      Proceedings of the 8th International Workshop on Context-Oriented Programming (COP'16)

      Volume: 1 Pages: 27-32

    • DOI

      10.1145/2951965.2951970

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Generalized Layer Activation Mechanism for Context-Oriented Programming2016

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Journal Title

      LNCS Transactions on Modularity and Composition

      Volume: 印刷中

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Toward Fluent Module Interactions2016

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Journal Title

      Companion Proceedings of the 15th International Conference on Modularity (MODULARITY Companion'16)

      Volume: 1 Pages: 158-159

    • DOI

      10.1145/2892664.2892689

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Introducing Lightweight Reactive Values to Java2016

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      SPLASH'16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings

      Volume: 1 Pages: 27-28

    • DOI

      10.1145/2984043.2989215

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation2015

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
    • Journal Title

      Proceedings of the 7th International Workshop on Context-Oriented Programming (COP'15)

      Volume: 1

    • DOI

      10.1145/2786545.2786553

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Generalized Layer Activation Mechanism Through Contexts and Subscribers2015

    • Author(s)
      Tetsuo Kamina, Tomoyuki Anotani, and Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 14th International Conference on Modularity (MODULARITY'15)

      Volume: 1 Pages: 14-28

    • DOI

      10.1145/2724525.2724570

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Method Safety Mechanism for Asynchronous Layer Deactivation2015

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Atsushi Igarashi
    • Journal Title

      Proceedings of the 7th International Workshop on Context-Oriented Programming (COP'15)

      Volume: 1

    • DOI

      10.1145/2786545.2786550

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Context-Oriented Software Engineering: A Modularity Vision2014

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
    • Journal Title

      In Proceedings of the 13th International Conference on Modularity (MODULARITY'14)

      Volume: 1 Pages: 85-98

    • DOI

      10.1145/2577080.2579816

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] 文脈指向プログラミングの要素技術と展望2014

    • Author(s)
      紙名哲生
    • Journal Title

      コンピュータソフトウェア

      Volume: 31

    • NAID

      130004549331

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Unifying Multiple Layer Activation Mechanisms Using One Event Sequence2014

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP'14)

      Volume: 1

    • DOI

      10.1145/2637066.2637068

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language2014

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 2014 International Workshop on Foundations of Aspect-Oriented Languages (FOAL'14)

      Volume: 1 Pages: 3-6

    • DOI

      10.1145/2588548.2588552

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] On-Demand Layer Activation for Type-Safe Deactivation2014

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 6th International Workshop on Context-Oriented Programming (COP'14)

      Volume: 1

    • DOI

      10.1145/2637066.2637070

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ2013

    • Author(s)
      青谷知幸, 紙名哲生, 増原英彦
    • Journal Title

      コンピュータソフトウェア

      Volume: 30

    • NAID

      40020659193

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] A Core Calculus of Composite Layers.2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
    • Journal Title

      In FOAL'13

      Pages: 7-12

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Journal Article] Introducing Composite Layers in EventCJ2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Journal Title

      IPSJ Transactions on Programming

      Volume: 6 Pages: 1-8

    • NAID

      130003370005

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Journal Article] A Unified Context Activation Mechanism2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 5th International Workshop on Context-Oriented Programming (COP'13)

      Volume: 5

    • DOI

      10.1145/2489793.2489795

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Journal Article] Introducing Composite Layers in EventCJ.2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
    • Journal Title

      IPSJ Transactions on Programming

      Volume: 6(1) Pages: 1-8

    • NAID

      130003370005

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Journal Article] A Core Calculus of Composite Layers2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      International Workshop on Foundations of Aspect-Oriented Languages (FOAL'13)

      Volume: 12 Pages: 7-12

    • DOI

      10.1145/2451598.2451601

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
  • [Journal Article] Bridging Real-World Contexts and Units of Behavioral Variatios by Composite Layers.2012

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
    • Journal Title

      In COP'12

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Journal Article] Bridging Real-World Contexts and Units of Behavioral Variations by Composite Layers2012

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      International Workshop on Context-Oriented Programming (COP'12)

      Volume: 4

    • DOI

      10.1145/2307436.2307440

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
  • [Journal Article] Featherweight EventCJ A Core Calculus for a Context- Oriented Language with Event-Based Per- Instance Layer Transition.2011

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara.
    • Journal Title

      In COP'11

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition.2011

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      In Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD. 11)

      Pages: 253-264

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition2011

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      Proceedings of the 10^<th> Annual Aspect-Oriented Software Development Conference (AOSD'11)

      Pages: 253-264

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Featherweight EventCJ: A Core Calculus for a Context-Oriented Language with Event-Based Per-Instance Layer Transition2011

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
    • Journal Title

      International Workshop on Context-Oriented Programming (COP'11)

      Volume: 3 Pages: 1-6

    • DOI

      10.1145/2068736.2068737

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300006, KAKENHI-PROJECT-23700029
  • [Journal Article] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition2011

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      Aspect-Oriented Software Development 2011

      Pages: 21-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22240002
  • [Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages(FOAL2010)

      Pages: 15-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Designing Event-based Context Transition in Context-oriented Programming2010

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Journal Title

      Proceedings of the International Workshop on Context-oriented Programming (COP'10)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages(FOAL 2010)

      Pages: 15-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Lightweight Nested Inheritance in Layer Decomposition.2010

    • Author(s)
      Tetsuo Kamina. Tetsuo Tamai
    • Journal Title

      In Proceedings of the 2010 International Workshop on Foundations of Object-oriented Languages (FOOL'10)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Lightweight Nested Inheritance in Layer Decomposition2010

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the 2010 International Workshop on Foundation of Object-Oriented Languages

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Designing Event-based Context Transition in Context-oriented Programming2010

    • Author(s)
      Tetsuo Kamina, Tetsuo Aotani, Hidehiko Masuhara
    • Journal Title

      In Proceedings of the International Workshop on Context-oriented Programming (COP'10) article No.2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] A Smooth Combination of Role-based Languages and Context Activation2010

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      In Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages (FOAL 2010)

      Pages: 15-24

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Towards Safe and Flexible Object Adaptation2009

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the International Workshop on Context-Oriented Programming (COP09) article No.4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Towards Safe and Flexible Object Adaptation2009

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the International Workshop on Context-Oriented Programming(COP09) (articl no.4(電子出版))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Towards Safe and Flexible Object Adaptation2009

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the International Workshop on Context-Oriented Programming(COP09)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Lightweight Dependent Classes2008

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering

    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Flexible Object Adaptation for Java-like Languages2008

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the 7th ACM International Conferenceon on Generative Programming and Components Engineering

      Pages: 113-124

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Lightweight Dependent Classes2008

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the 7th ACM International Conference on Generative Programming an Components Engineering (GPCE'08)

      Pages: 113-124

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Flexible Object Adaptation for Java-like Languages2008

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008)

      Pages: 63-76

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Lightweight Dependent Classes.2008

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      Proceedings of the 7th ACM International Conference on Generative Programming and Components Engineering (GPCE'08) ACM Press

      Pages: 113-124

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Journal Article] Lightweight Dependent Classes, Proceedings of the 7th ACM Int'l Conf2008

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      on Generative Programming and Components Engineering

      Pages: 113-124

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Lightweight Scalable Components, Proceedings of the 6th ACM Int'l Conf2007

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Journal Title

      on Generative Programming and Components Engineering

      Pages: 145-154

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Journal Article] Lightweight Scalable Components2007

    • Author(s)
      Tetsuo Kamina
    • Journal Title

      Proceedings of the 6th ACM International Conference on Generative Programming and Components Engineering

      Pages: 145-154

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18200001
  • [Presentation] リアクティブプログラミングにおけるシグナルの永続化2019

    • Author(s)
      紙名哲生, 青谷知幸
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2019(SES2019)
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java2019

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java2018

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani
    • Organizer
      <Programming> 2018
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Presentation] イベントとシグナルの統合:プログラミング言語のアプローチ2017

    • Author(s)
      紙名哲生, 青谷知幸
    • Organizer
      第24回ソフトウェア工学の基礎ワークショップ(FOSE2017)
    • Data Source
      KAKENHI-PROJECT-17K00115
  • [Presentation] Javaにおける関数型インタフェースの拡張2016

    • Author(s)
      三宅皐, 紙名哲生, 丸山勝久
    • Organizer
      第193回ソフトウェア工学研究発表会
    • Place of Presentation
      北海道立道民活動センター(北海道札幌市)
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] ソースコード編集履歴を用いた競合解決支援ツール2016

    • Author(s)
      西村雄一,紙名哲生,丸山勝久
    • Organizer
      日本ソフトウェア科学会 FOSE2016
    • Place of Presentation
      ことひら温泉 琴参閣(香川県仲多度郡琴平町)
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] 層の組み合わせを考慮した文脈指向プログラミング支援2015

    • Author(s)
      鈴木紀之, 紙名哲生, 丸山勝久
    • Organizer
      第22回ソフトウェア工学の基礎ワークショップ(FOSE2015)
    • Place of Presentation
      山形県 天童市 ほほえみの宿 滝の湯
    • Year and Date
      2015-11-27
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] Generalized Layer Activation Mechanism in Context-Oriented Programming2014

    • Author(s)
      Tetsuo Kamina
    • Organizer
      In 6th Asian Joint Workshop on Information Technologies (RU-DUT Joint Workshop)
    • Place of Presentation
      立命館大学(滋賀県)
    • Year and Date
      2014-10-11
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] COSE: 文脈に依存した振る舞いをモジュール化するソフトウェア開発手法2013

    • Author(s)
      紙名哲生, 青谷知幸, 増原英彦, 玉井哲雄
    • Organizer
      第20回ソフトウェア工学の基礎ワークショップ(FOSE2013)
    • Place of Presentation
      加賀温泉
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] Mapping Context-Dependent Requirements to Event-Based Context-Oriented Programs for Modularity2013

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
    • Organizer
      Workshop on Reactivity, Events and Modularity (REM 2013)
    • Place of Presentation
      Indianapolis, USA
    • Data Source
      KAKENHI-PROJECT-25330078
  • [Presentation] JavaCat: Realizing Context as Fluent2013

    • Author(s)
      紙名哲生,青谷知幸,増原英彦.
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • Place of Presentation
      会津若松
    • Year and Date
      2013-03-05
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] 文脈指向言語EventCJへの合成層の導入2012

    • Author(s)
      紙名哲生,青谷知幸,増原英彦.
    • Organizer
      情報処理学会第89回プログラミング研究発表会
    • Place of Presentation
      小樽
    • Year and Date
      2012-06-21
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] Modeling Context Changes and Layers: A Use Case Driven Approach2012

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara.
    • Organizer
      In COP'12
    • Place of Presentation
      Beijing, China.
    • Year and Date
      2012-06-01
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] 文脈指向プログラムの資源利用解析に基づく層活性解析法2012

    • Author(s)
      青谷知幸, 紙名哲生, 増原英彦
    • Organizer
      情報処理学会第89回プログラミング研究発表会
    • Place of Presentation
      小樽
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] Modeling Context Changes and Layers: A Use Case Driven Approach2012

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Organizer
      International Workshop on Context-Oriented Programming (COP'12)
    • Place of Presentation
      Beijing, China
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ2011

    • Author(s)
      青谷知幸,紙名哲生,増原英彦
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業センター
    • Year and Date
      2011-09-28
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] Towards optimizing EventCJ programs2011

    • Author(s)
      Tomoyuki Aotani, Tetsuo Kamina, and Hidehiko Masuhara
    • Organizer
      AOAsia/Pacific'11(招待講演)
    • Place of Presentation
      上海交通大学(中国)
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Transition.2011

    • Author(s)
      紙名哲生, 青谷知幸, 増原英彦
    • Organizer
      PPL2011
    • Year and Date
      2011-03-11
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] ユースケースを用いた文脈指向ソフトウェア開発2011

    • Author(s)
      紙名哲生,青谷知幸,増原英彦,玉井哲雄.
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2011(SES2011)
    • Place of Presentation
      東京女子大学
    • Year and Date
      2011-09-13
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition2011

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
    • Organizer
      AOAsia/Pacific'11(招待講演)
    • Place of Presentation
      上海交通大学(中国)
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] EventCJ : A Context-Oriented Programming Language with Declarative Event-based Context Trantsition2011

    • Author(s)
      紙名哲生
    • Organizer
      AOSD'11
    • Place of Presentation
      Porto de Galinhas Pernambuco, Brzsil
    • Year and Date
      2011-03-24
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] Lightweight Nested Inheritance in Layer Decomposition2010

    • Author(s)
      紙名哲生
    • Organizer
      FOOL'10
    • Place of Presentation
      Reno, Nevada, USA
    • Year and Date
      2010-10-17
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] EventCJ : Realizing Declarative Event-based Context Transition.2010

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
    • Organizer
      In AOAsia/Pacific'10
    • Year and Date
      2010-09-24
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] COSE: Context-Oriented Software Engineering with Use Cases and Event-Based Context Transition2010

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai
    • Organizer
      In AOAsia/Pacific'11
    • Place of Presentation
      上海交通大学(中国)
    • Year and Date
      2010-10-17
    • Data Source
      KAKENHI-PROJECT-23700029
  • [Presentation] A Smooth Combination of Role-based Languages and Context Activation2010

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Organizer
      FOAL 2010
    • Place of Presentation
      Rennes, France
    • Year and Date
      2010-03-15
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] Towards Safe and Flexible Object Adaptation2009

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Organizer
      COP'10
    • Place of Presentation
      Genova, Italy
    • Year and Date
      2009-07-07
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] レイヤー合成のための型理論2009

    • Author(s)
      五十嵐淳, 紙名哲生
    • Organizer
      組木シンポジウム-ソフトウェアのコンポジション技術の最前線-
    • Year and Date
      2009-11-25
    • Data Source
      KAKENHI-PROJECT-20700022
  • [Presentation] Lightweight Dependent Classes2008

    • Author(s)
      Tetsuo Kamina, Tetsuo Tamai
    • Organizer
      GPCE'08
    • Place of Presentation
      Vashville, USA
    • Year and Date
      2008-10-19
    • Data Source
      KAKENHI-PROJECT-20700022
  • 1.  MASUHARA Hidehiko (40280937)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 18 results
  • 2.  TAMAI Tetsuo (60217172)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 3.  NAKAJIMA Shin (60350211)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  CHIBA Shigeru (80282713)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  UBAYASHI Naoyasu (80372762)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 7.  AOTANI Tomoyuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 18 results
  • 8.  MARUYAMA Katsuhisa
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 9.  SUZUKI Noriyuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi