publications:
- title: "Secrecy of cryptographic protocols under equational theory"
  author:
  - name: "Hanane Houmani"
    link: "http://e"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.004"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/HoumaniMF09"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "22"
  number: "3"
  pages: "160-173"
  kind: "article"
  key: "HoumaniMF09"
- title: "Design Concept of Automatic Program Generation Tool for Reactive Requirement"
  author:
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  tags:
  - "reactive programming"
  - "design"
  researchr: "https://researchr.org/publication/AraiF08"
  cites: 0
  citedby: 0
  pages: "377-388"
  booktitle: "somet"
  kind: "inproceedings"
  key: "AraiF08"
- title: "Static analysis of Lyee requirements"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "M. M. Erhioui"
    link: "http://e"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.002"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/MejriKFE03"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "16"
  number: "7-8"
  pages: "361-382"
  kind: "article"
  key: "MejriKFE03"
- title: "Enforcing Security Policies Using Algebraic Approach"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  tags:
  - "security"
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MejriF08"
  cites: 0
  citedby: 0
  pages: "84-98"
  booktitle: "somet"
  kind: "inproceedings"
  key: "MejriF08"
- title: "Silicon periodic nano-structures obtained by laser exposure of nano-wires"
  author:
  - name: "K. Kakushima"
    link: "https://researchr.org/alias/k.-kakushima"
  - name: "T. Bourouina"
    link: "https://researchr.org/alias/t.-bourouina"
  - name: "T. Sarnet"
    link: "https://researchr.org/alias/t.-sarnet"
  - name: "G. Kerrien"
    link: "https://researchr.org/alias/g.-kerrien"
  - name: "D. Débarre"
    link: "https://researchr.org/alias/d.-d%C3%A9barre"
  - name: "J. Boulmer"
    link: "https://researchr.org/alias/j.-boulmer"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.mejo.2005.04.034"
  links:
    doi: "http://dx.doi.org/10.1016/j.mejo.2005.04.034"
  researchr: "https://researchr.org/publication/KakushimaBSKDBF05"
  cites: 0
  citedby: 0
  journal: "mj"
  volume: "36"
  number: "7"
  pages: "629-633"
  kind: "article"
  key: "KakushimaBSKDBF05"
- title: "Special Issue on  Intelligent Software Design "
  author:
  - name: "Volker Gruhn"
    link: "http://e"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.001"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/GruhnF06"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "19"
  number: "2"
  pages: "105-106"
  kind: "article"
  key: "GruhnF06"
- title: "Special issue on  Legacy systems and software change "
  author:
  - name: "Paul Johannesson"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.001"
  researchr: "https://researchr.org/publication/JohannessonF04"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "17"
  number: "5-6"
  pages: "237-238"
  kind: "article"
  key: "JohannessonF04"
- title: "Towards Verifying Declarative Specifications of Reactive Systems"
  author:
  - name: "Tae Kameda"
    link: "https://researchr.org/alias/tae-kameda"
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  researchr: "https://researchr.org/publication/KamedaAGF08"
  cites: 0
  citedby: 0
  pages: "389-400"
  booktitle: "somet"
  kind: "inproceedings"
  key: "KamedaAGF08"
- title: "Special issue on  Intention and Software Process "
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.005"
  researchr: "https://researchr.org/publication/Fujita03"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "16"
  number: "7-8"
  pages: "339"
  kind: "article"
  key: "Fujita03"
- title: "Verification of the Lyee requirement"
  author:
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2006"
  researchr: "https://researchr.org/publication/AraiF06"
  cites: 0
  citedby: 0
  pages: "340-361"
  booktitle: "somet"
  kind: "inproceedings"
  key: "AraiF06"
- title: "Clayworks: Toward user-oriented software for collaborative modeling and simulation"
  author:
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Jens Müller-Iden"
    link: "https://researchr.org/alias/jens-m%C3%BCller-iden"
  - name: "Martin Alt"
    link: "https://researchr.org/alias/martin-alt"
  - name: "Jan Dünnweber"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Yutaka Funyu"
    link: "https://researchr.org/alias/yutaka-funyu"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.12.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.12.001"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/GorlatchMADFF09"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "22"
  number: "3"
  pages: "209-215"
  kind: "article"
  key: "GorlatchMADFF09"
- title: "About Strategies to Engineer Situational Methods"
  author:
  - name: "Colette Rolland"
    link: "http://ee"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-22"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-22"
  researchr: "https://researchr.org/publication/RollandF09"
  cites: 0
  citedby: 0
  pages: "22-38"
  booktitle: "somet"
  kind: "inproceedings"
  key: "RollandF09"
- title: "Legacy system program transformation by Lyee methodology"
  author:
  - name: "Yozo Takeda"
    link: "https://researchr.org/alias/yozo-takeda"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.002"
  tags:
  - "transformation system"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/TakedaF04"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "17"
  number: "5-6"
  pages: "283-302"
  kind: "article"
  key: "TakedaF04"
- title: "Intelligent human interface based on mental cloning-based software"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.005"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/FujitaHK09"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "22"
  number: "3"
  pages: "216-234"
  kind: "article"
  key: "FujitaHK09"
- title: "Formal Specification and Analysis of Firewalls"
  author:
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Kamel Adi"
    link: "https://researchr.org/alias/kamel-adi"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-284"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-284"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/MejriAF09"
  cites: 0
  citedby: 0
  pages: "284-293"
  booktitle: "somet"
  kind: "inproceedings"
  key: "MejriAF09"
- title: "Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Shigekazu Chida"
    link: "https://researchr.org/alias/shigekazu-chida"
  - name: "Yuko Arakawa"
    link: "https://researchr.org/alias/yuko-arakawa"
  year: "2008"
  tags:
  - "empirical"
  - "interaction design"
  - "rule-based"
  - "analysis"
  - "human-computer interaction"
  - "design"
  researchr: "https://researchr.org/publication/FujitaHKCA08"
  cites: 0
  citedby: 0
  pages: "257-277"
  booktitle: "somet"
  kind: "inproceedings"
  key: "FujitaHKCA08"
- title: "Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation"
  author:
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Jens Müller"
    link: "http://e"
  - name: "Martin Alt"
    link: "https://researchr.org/alias/martin-alt"
  - name: "Jan Dünnweber"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Yutaka Funyu"
    link: "https://researchr.org/alias/yutaka-funyu"
  year: "2007"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/GorlatchMADFF07"
  cites: 0
  citedby: 0
  pages: "403-415"
  booktitle: "somet"
  kind: "inproceedings"
  key: "GorlatchMADFF07"
- title: "Facial Expression Invariants for Estimating Mental States of Person"
  author:
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-518"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-518"
  researchr: "https://researchr.org/publication/HakuraFK09"
  cites: 0
  citedby: 0
  pages: "518-530"
  booktitle: "somet"
  kind: "inproceedings"
  key: "HakuraFK09"
- title: "Implementing Lyee-Calculus in Java"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Mohamed Mejri"
    link: "http://www"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2005.10.004"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/FujitaKM06"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "19"
  number: "2"
  pages: "116-129"
  kind: "article"
  key: "FujitaKM06"
- title: "A Study of How to Implement a Listener Estimate Emotion in Speech"
  author:
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Marina Ohashi"
    link: "https://researchr.org/alias/marina-ohashi"
  - name: "Orimi Kinosita"
    link: "https://researchr.org/alias/orimi-kinosita"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-531"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-531"
  researchr: "https://researchr.org/publication/KurematsuOKHF09"
  cites: 0
  citedby: 0
  pages: "531-540"
  booktitle: "somet"
  kind: "inproceedings"
  key: "KurematsuOKHF09"
- title: "Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences"
  author:
  - name: "Jun Sasaki"
    link: "http://www"
  - name: "Keizo Yamada"
    link: "https://researchr.org/alias/keizo-yamada"
  - name: "Michiru Tanaka"
    link: "https://researchr.org/alias/michiru-tanaka"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Domenico M. Pisanelli"
    link: "http://www"
  - name: "Riccardo Rasconi"
    link: "https://researchr.org/alias/riccardo-rasconi"
  - name: "Lorenza Tiberio"
    link: "https://researchr.org/alias/lorenza-tiberio"
  - name: "Claudio De Lazzari"
    link: "http://ff"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-585"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-585"
  researchr: "https://researchr.org/publication/SasakiYTFPRTL09"
  cites: 0
  citedby: 0
  pages: "585-598"
  booktitle: "somet"
  kind: "inproceedings"
  key: "SasakiYTFPRTL09"
- title: "Cognitive Modeling in Software and Relation to Human Emotional Reasoning"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  year: "2007"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/FujitaHK07"
  cites: 0
  citedby: 0
  pages: "145-165"
  booktitle: "somet"
  kind: "inproceedings"
  key: "FujitaHK07"
- title: "An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize"
  author:
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Marina Ohashi"
    link: "https://researchr.org/alias/marina-ohashi"
  - name: "Orimi Kinosita"
    link: "https://researchr.org/alias/orimi-kinosita"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  researchr: "https://researchr.org/publication/KurematsuOKHF08"
  cites: 0
  citedby: 0
  pages: "278-289"
  booktitle: "somet"
  kind: "inproceedings"
  key: "KurematsuOKHF08"
- title: "Mathematical structure model for Word-Based Program"
  author:
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2003.08.006"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/AraiF03"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "16"
  number: "7-8"
  pages: "399-411"
  kind: "article"
  key: "AraiF03"
- title: "Special issue on  Intelligent Software Design "
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.08.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.08.001"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Fujita09"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "22"
  number: "3"
  pages: "129-131"
  kind: "article"
  key: "Fujita09"
- title: "Towards Developing Adjustable Software: A Case Study with the Lyee Approach"
  author:
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Tae Kameda"
    link: "https://researchr.org/alias/tae-kameda"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Michiru Tanaka"
    link: "https://researchr.org/alias/michiru-tanaka"
  - name: "Yutaka Funyu"
    link: "https://researchr.org/alias/yutaka-funyu"
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  year: "2006"
  tags:
  - "case study"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GorlatchKFTFA06"
  cites: 0
  citedby: 0
  pages: "423-438"
  booktitle: "somet"
  kind: "inproceedings"
  key: "GorlatchKFTFA06"
- title: "Self-assembly technique for MEMS vertical comb electrostatic actuator"
  author:
  - name: "K. Isamoto"
    link: "https://researchr.org/alias/k.-isamoto"
  - name: "T. Makino"
    link: "https://researchr.org/alias/t.-makino"
  - name: "A. Moroswa"
    link: "https://researchr.org/alias/a.-moroswa"
  - name: "C. Chong"
    link: "https://researchr.org/alias/c.-chong"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "H. Toshiyoshi"
    link: "https://researchr.org/alias/h.-toshiyoshi"
  year: "2005"
  doi: "http://dx.doi.org/10.1587/elex.2.311"
  links:
    doi: "http://dx.doi.org/10.1587/elex.2.311"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/IsamotoMMCFT05"
  cites: 0
  citedby: 0
  journal: "ieiceee"
  volume: "2"
  number: "9"
  pages: "311-315"
  kind: "article"
  key: "IsamotoMMCFT05"
- title: "Theory on Software Diagnosis for Program Code Validation"
  author:
  - name: "Fumio Negoro"
    link: "http://www."
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2006"
  researchr: "https://researchr.org/publication/NegoroF06"
  cites: 0
  citedby: 0
  pages: "245-271"
  booktitle: "somet"
  kind: "inproceedings"
  key: "NegoroF06"
- title: "Filmification of Methods: Representation of Particle-In-Cell Algorithms"
  author:
  - name: "Yutaka Watanobe"
    link: "https://researchr.org/alias/yutaka-watanobe"
  - name: "Victor E. Malyshkin"
    link: "http://e"
  - name: "Rentaro Yoshioka"
    link: "https://researchr.org/alias/rentaro-yoshioka"
  - name: "Nikolay N. Mirenkov"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03275-2_36"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03275-2_36"
  researchr: "https://researchr.org/publication/WatanobeMYMF09"
  cites: 0
  citedby: 0
  pages: "360-376"
  booktitle: "pact"
  kind: "inproceedings"
  key: "WatanobeMYMF09"
- title: "User-Oriented Software Development for Real-Time Online Applications"
  author:
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Frank Glinka"
    link: "https://researchr.org/alias/frank-glinka"
  - name: "Alexander Ploss"
    link: "https://researchr.org/alias/alexander-ploss"
  - name: "Allaithy Raed"
    link: "https://researchr.org/alias/allaithy-raed"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  researchr: "https://researchr.org/publication/GorlatchGPRF08"
  cites: 0
  citedby: 0
  pages: "339-360"
  booktitle: "somet"
  kind: "inproceedings"
  key: "GorlatchGPRF08"
- title: "LyeeBuilder"
  author:
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Daniel Godbout"
    link: "http://ww"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2005"
  researchr: "https://researchr.org/publication/KtariMGF05"
  cites: 0
  citedby: 0
  pages: "83-99"
  booktitle: "somet"
  kind: "inproceedings"
  key: "KtariMGF05"
- title: "Towards a Verification-Based Development Approach for Reactive Systems"
  author:
  - name: "Tae Kameda"
    link: "https://researchr.org/alias/tae-kameda"
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Sergei Gorlatch"
    link: "http://e"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-350"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-350"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KamedaAGF09"
  cites: 0
  citedby: 0
  pages: "350-363"
  booktitle: "somet"
  kind: "inproceedings"
  key: "KamedaAGF09"
- title: "A process algebra to formalize the Lyee methodology"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2004.07.006"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/FujitaMK04"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "17"
  number: "5-6"
  pages: "263-281"
  kind: "article"
  key: "FujitaMK04"
- title: "Virtual Medical Doctor Interaction Based on Transactional Analysis"
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-503"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-049-0-503"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/FujitaHK09-1"
  cites: 0
  citedby: 0
  pages: "503-517"
  booktitle: "somet"
  kind: "inproceedings"
  key: "FujitaHK09-1"
- title: "Special issue on  techniques to produce Intelligent_Secure software "
  author:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.001"
  researchr: "https://researchr.org/publication/Fujita07"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "20"
  number: "7"
  pages: "614-616"
  kind: "article"
  key: "Fujita07"
- title: "An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information"
  author:
  - name: "Jun Hakura"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Shigekazu Chida"
    link: "https://researchr.org/alias/shigekazu-chida"
  - name: "Masaki Kurematsu"
    link: "http://www.fujita.soft.iwate-pu.ac.jp/"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2008"
  tags:
  - "classification"
  - "user profiling"
  researchr: "https://researchr.org/publication/HakuraCKF08"
  cites: 0
  citedby: 0
  pages: "290-306"
  booktitle: "somet"
  kind: "inproceedings"
  key: "HakuraCKF08"
- title: "New Verification of Reactive Requirement for Lyee Method"
  author:
  - name: "Osamu Arai"
    link: "https://researchr.org/alias/osamu-arai"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  year: "2007"
  researchr: "https://researchr.org/publication/AraiF07"
  cites: 0
  citedby: 0
  pages: "225-238"
  booktitle: "somet"
  kind: "inproceedings"
  key: "AraiF07"
- title: "Toward a new software development environment"
  author:
  - name: "Béchir Ktari"
    link: "http://www.ift.ulaval.ca/?id=216"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Daniel Godbout"
    link: "http://ww"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2007.05.006"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KtariFMG07"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "20"
  number: "7"
  pages: "683-693"
  kind: "article"
  key: "KtariFMG07"
- title: "Automatic Enforcement of Security in Computer Networks"
  author:
  - name: "T. Mechri"
    link: "https://researchr.org/alias/t.-mechri"
  - name: "Mahjoub Langar"
    link: "http://ww"
  - name: "Mohamed Mejri"
    link: "http://www"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Yutaka Funyu"
    link: "https://researchr.org/alias/yutaka-funyu"
  year: "2007"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/MechriLMFF07"
  cites: 0
  citedby: 0
  pages: "200-222"
  booktitle: "somet"
  kind: "inproceedings"
  key: "MechriLMFF07"
- title: "Generalizing WYSIWYT visual testing to screen transition languages"
  author:
  - name: "Darren Brown"
    link: "http://eee"
  - name: "Margaret M. Burnett"
    link: "http://ee"
  - name: "Gregg Rothermel"
    link: "http://eee"
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Fumio Negoro"
    link: "http://www."
  year: "2003"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BrownBRFN03"
  cites: 0
  citedby: 0
  pages: "203-210"
  booktitle: "vl"
  kind: "inproceedings"
  key: "BrownBRFN03"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada"
  year: "2006"
  researchr: "https://researchr.org/publication/somet%3A2006"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "147"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-673-7"
  kind: "proceedings"
  key: "somet:2006"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic"
  year: "2009"
  researchr: "https://researchr.org/publication/somet-2009"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Vladimír Marík"
    link: "http://e"
  volume: "199"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-60750-049-0"
  kind: "proceedings"
  key: "somet-2009"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the seventh SoMeT 2008, October 15-17,2008, Sharjah, United Arab Emirates"
  year: "2008"
  researchr: "https://researchr.org/publication/somet%3A2008"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the seventh SoMeT 2008, October 15-17,2008, Sharjah, United Arab Emirates"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Imran A. Zualkernan"
    link: "http://ww"
  volume: "182"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-916-5"
  kind: "proceedings"
  key: "somet:2008"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan"
  year: "2005"
  researchr: "https://researchr.org/publication/somet%3A2005"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "129"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  kind: "proceedings"
  key: "somet:2005"
- title: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy"
  year: "2007"
  researchr: "https://researchr.org/publication/somet%3A2007"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy"
  conference: "somet"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Domenico M. Pisanelli"
    link: "http://www"
  volume: "161"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-794-9"
  kind: "proceedings"
  key: "somet:2007"