本位田 真一

研究成果

年別の研究成果 1984 2021

• 1940 被引用数
• 21 h-index
• 197 Conference contribution
• 69 Article
• 13 Paper
• 10 Conference article
• 12 その他
  • 5 Chapter
  • 4 Editorial
  • 1 Book
  • 1 Foreword/postscript
  • 1 Review article

年別の研究成果

年別の研究成果

検索結果

• 2021

  Self-adaptive hydroponics care system for human-hydroponics coexistence

  Li, J., Mao, Z., Cao, Z., Tei, K. & Honiden, S., 2021 3 9, LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies. Institute of Electrical and Electronics Engineers Inc., p. 204-206 3 p. 9391909. (LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies).

  研究成果: Conference contribution

  • Hydroponics
  • coexistence
  • system control
  • ecological system
  • interference
• 2020

  A robust and flexible operating system compatibility architecture

  Saeki, T., Nishiwaki, Y., Shinagawa, T. & Shinichi, H., 2020 3 17, VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 129-142 14 p. (VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments).

  研究成果: Conference contribution

  Open Access

  • Linux
  • Virtualization
  • Virtual machine
  • Costs

• Dynamic Update of Discrete Event Controllers

  Nahabedian, L., Braberman, V., Dippolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2020 11 1, In: IEEE Transactions on Software Engineering. 46, 11, p. 1220-1240 21 p., 8500345.

  研究成果: Article › 査読

  • Controllers
  • Specifications
  1 被引用数 (Scopus)

• Efficient difference analysis algorithm for runtime requirement degradation under system functional fault

  Li, J., Aizawa, K., Tei, K. & Honiden, S., 2020 12, Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020. Wang, G., Perez, G. M., Fowler, S. & Li, K-C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 33-40 8 p. 9343402. (Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020).

  研究成果: Conference contribution

  • degradation
  • Degradation
  • requirements
  • safety
  • Adaptive systems

• Message from the Chairs of SEAMS 2020

  Honiden, S., Nitto, E. D. & Calinescu, R., 2020 6 29, In: Proceedings - 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2020. p. IX-X

  研究成果: Editorial › 査読

• Method for Low-Cost Environment Partitioning Modeling in Dynamic Update

  Yamauchi, T., Tei, K. & Honiden, S., 2020 12, Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020. Institute of Electrical and Electronics Engineers Inc., p. 183-187 5 p. 9355483. (Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020).

  研究成果: Conference contribution

  • Partitioning
  • Modeling
  • Costs
  • Fault
  • Controller

• Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis

  Kuwana, K., Tei, K., Fukazawa, Y. & Honiden, S., 2020 12, Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020. Institute of Electrical and Electronics Engineers Inc., p. 168-173 6 p. 9355444. (Proceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020).

  研究成果: Conference contribution

  • Controller
  • Controllers
  • Explosion
  • Explosions
  • Chemical analysis

• Smart SE: Smart Systems and Services Innovative Professional Education Program

  Washizaki, H., Tei, K., Ueda, K., Yamana, H., Fukazawa, Y., Honiden, S., Okazaki, S., Yoshioka, N. & Uchihira, N., 2020 7, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Chan, W. K., Claycomb, B., Takakura, H., Yang, J-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1113-1114 2 p. 9202715. (Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020).

  研究成果: Conference contribution

  • Education
  • information technology
  • Information technology
  • sports science
  • education
• 2019

  Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

  Aizawa, K., Tei, K. & Honiden, S., 2019 8, Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019. Institute of Electrical and Electronics Engineers Inc., p. 1363-1370 8 p. 9060271. (Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019).

  研究成果: Conference contribution

  • Adaptive systems
  • Merging
  • Safety
  • safety
  • analysis

• Change impact analysis for refinement-based formal specification

  Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2019, In: IEICE Transactions on Information and Systems. E102D, 8, p. 1462-1477 16 p.

  研究成果: Article › 査読

  Open Access

  • Formal specification
  • Formal methods
  • Labels
  • Large scale systems
  • Engineers

• Consistency-preserving refactoring of refinement structures in Event-B models

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2019 6 1, In: Formal Aspects of Computing. 31, 3, p. 287-320 34 p.

  研究成果: Article › 査読

  • Refactoring
  • Event-B
  • Refinement
  • Model
  • Predicate
  1 被引用数 (Scopus)

• Engineering adaptive software systems: Communications of NII shonan meetings

  Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 1 14, Springer Singapore. 169 p.

  研究成果: Book

  • Adaptive systems
  • Communication
  • Systems engineering
  • Risk assessment
  • Testbeds

• Modelling and Analysing Resilient Cyber-Physical Systems

  Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., Dustdar, S., Hu, Z., Honiden, S., Ishikawa, F., Jin, Z., Kramer, J., Litoiu, M., Loreti, M., Moreno, G., Muller, H., Nenzi, L., Nuseibeh, B., Pasquale, L., Reisig, W. & 3 others, Schmidt, H., Tsigkanos, C. & Zhao, H., 2019 5, Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, p. 70-76 7 p. 8787077. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; vol. 2019-May).

  研究成果: Conference contribution

  • Cyber Physical System
  • Technical presentations
  • Intelligent buildings
  • Open systems
  • Biomedical equipment
  7 被引用数 (Scopus)

• Preface

  Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 1 14, Engineering adaptive software systems: Communications of nii shonan meetings. Springer Singapore, p. v-vi

  研究成果: Foreword/postscript
• 2018

  Applicability of earned value management for deadline energy constrained applications

  Suenaga, S., Tei, K. & Honiden, S., 2018 2 9, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society, Vol. 2017-December. p. 691-695 5 p.

  研究成果: Conference contribution

  • Earned Value Management
  • Deadline
  • Energy
  • Project management
  • Project Management
  1 被引用数 (Scopus)

• AutoPUT: An automated technique for retrofitting closed unit tests into parameterized unit tests

  Tsukamoto, K., Maezawa, Y. & Honiden, S., 2018 4 9, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1944-1951 8 p. (Proceedings of the ACM Symposium on Applied Computing).

  研究成果: Conference contribution

  • Retrofitting
  • Degradation
  • Testing
  • Experiments

• Extracting Traceability between Predicates in Event-B Refinement

  Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2018 3 1, Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017. Lv, J., Zhang, H., Liu, X. & Hinchey, M. (eds.). IEEE Computer Society, p. 61-70 10 p. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2017-December).

  研究成果: Conference contribution

  • Engineers
  • Reverse engineering
  • Refining
  • Concretes
  1 被引用数 (Scopus)

• Falsification of cyber-physical systems with reinforcement learning

  Kato, K., Ishikawa, F. & Honiden, S., 2018 8 7, Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 5-6 2 p. 8429476. (Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018).

  研究成果: Conference contribution

  • Cyber Physical System
  • Reinforcement learning
  • Specifications
  • Temporal logic
  • Testing
  3 被引用数 (Scopus)

• Foreword from the 2018 General Chairs - Volume 1

  Honiden, S. & Fujii, R. U., 2018 6 8, In: Proceedings - International Computer Software and Applications Conference. 1, p. xxix-xxx 8377629.

  研究成果: Editorial › 査読

• Identifying safety properties guaranteed in changed environment at runtime

  Aizawa, K., Tei, K. & Honiden, S., 2018 9 10, Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc., p. 75-80 6 p. 8460083. (Proceedings - 2018 IEEE International Conference on Agents, ICA 2018).

  研究成果: Conference contribution

  • Safety
  • Algorithm Analysis
  • Availability
  • Efficient Algorithms
  • Game
  2 被引用数 (Scopus)
• 2017

  Bash on ubuntu on macOS

  Saeki, T., Nishiwaki, Y., Shinagawa, T. & Honiden, S., 2017 9 2, Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124733. (Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017).

  研究成果: Conference contribution

  • Linux
  • Virtual machine
  • Computer operating systems
  • Virtualization
  • Costs
  3 被引用数 (Scopus)

• Construction of abstract state graphs for understanding event-B models

  Morita, D., Ishikawa, F. & Honiden, S., 2017, Dependable Software Engineering: Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Proceedings. Wang, J., Larsen, K. G. & Sokolsky, O. (eds.). Springer Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10606 LNCS).

  研究成果: Conference contribution

  • Event-B
  • Refinement
  • State Space
  • Graph in graph theory
  • Model

• Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects

  Tahara, Y., Ohsuga, A. & Honiden, S., 2017 7 3, Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. Institute of Electrical and Electronics Engineers Inc., p. 152-162 11 p. 7968143. (Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017).

  研究成果: Conference contribution

  • Unified Modeling Language
  • Language Model
  • Formal Verification
  • Formal verification
  • Maude
  3 被引用数 (Scopus)

• Learning environment model at runtime for self-adaptive systems

  Tanabe, M., Tei, K., Fukazawa, Y. & Honiden, S., 2017 4 3, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 1198-1204 7 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

  研究成果: Conference contribution

  • Adaptive systems
  6 被引用数 (Scopus)

• Test suite reduction in idempotence testing of infrastructure as code

  Ikeshita, K., Ishikawa, F. & Honiden, S., 2017, Tests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings. Johnsen, E. B. & Gabmeyer, S. (eds.). Springer Verlag, p. 98-115 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10375 LNCS).

  研究成果: Conference contribution

  • Infrastructure
  • Testing
  • Idempotent
  • Decrease
  • Converge
  2 被引用数 (Scopus)
• 2016

  Assured and correct dynamic update of controllers

  Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2016 5 14, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, p. 96-107 12 p. (Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016).

  研究成果: Conference contribution

  • Update
  • Controller
  • Controllers
  • Specification
  • Requirements
  13 被引用数 (Scopus)

• Automatic generation of potentially pathological instances for validating alloy models

  Saeki, T., Ishikawa, F. & Honiden, S., 2016 1 1, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. Springer-Verlag, p. 41-56 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10009 LNCS).

  研究成果: Conference contribution

  • Specification
  • Specifications
  • Model
  • Verify
  • Formal Specification
  1 被引用数 (Scopus)

• Fast live migration for IO-intensive VMs with parallel and adaptive transfer of page cache via SAN

  Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2016 12, In: IEICE Transactions on Information and Systems. E99D, 12, p. 3024-3034 11 p.

  研究成果: Article › 査読

  • Virtual machine
  • Tuning
  • Experiments

• MuVM: Higher Order Mutation Analysis Virtual Machine for C

  Tokumoto, S., Yoshida, H., Sakamoto, K. & Honiden, S., 2016 7 18, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 320-329 10 p. 7515483

  研究成果: Conference contribution

  • Virtual machine
  • Testing
  • Costs
  • Experiments
  12 被引用数 (Scopus)

• Refactoring refinement structure of event-B machines

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer Verlag, p. 444-459 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

  研究成果: Conference contribution

  • Refactoring
  • Event-B
  • Formal specification
  • Refinement
  • Formal Specification
  7 被引用数 (Scopus)

• Robust Service Compositions with Functional and Location Diversity

  Wagner, F., Ishikawa, F. & Honiden, S., 2016 3 1, In: IEEE Transactions on Services Computing. 9, 2, p. 277-290 14 p., 6690106.

  研究成果: Article › 査読

  • Functional Diversity
  • Service Composition
  • Quality of service
  • Chemical analysis
  • Planning
  17 被引用数 (Scopus)

• Stepwise refinement of software development problem analysis

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2016 1 1, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Springer-Verlag, p. 488-495 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

  研究成果: Conference contribution

  • Software Development
  • Refinement
  • Software engineering
  • Experiments
  • Abstraction
• 2015

  Abstract rewriting approach to solve datalog programs

  Morales, F. T., Isihikawa, F. & Honiden, S., 2015 10 27, DBPL 2015 - Proceedings of the 15th Symposium on Database Programming Languages. Association for Computing Machinery, Inc, p. 29-36 8 p.

  研究成果: Conference contribution

• An Application Conflict Detection and Resolution System for Smart Homes

  Yagita, M., Ishikawa, F. & Honiden, S., 2015 7 30, Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc., p. 33-39 7 p. 7173941

  研究成果: Conference contribution

  • Application programs
  • Actuators
  • Cyber Physical System
  • Model checking
  • Sensors
  9 被引用数 (Scopus)

• Evaluating impact of live migration on data center energy saving

  Akiyama, S., Hirofuchi, T. & Honiden, S., 2015 2 9, Proceedings - 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014. February ed. IEEE Computer Society, p. 759-762 4 p. 7037757. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom; vol. 2015-February, no. February).

  研究成果: Conference contribution

  • Virtual Machine
  • Energy Saving
  • Data Center
  • Migration
  • Virtual machine
  6 被引用数 (Scopus)

• Feedback-controlled random test generation

  Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2015 7 13, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, Inc, p. 316-326 11 p.

  研究成果: Conference contribution

  • Feedback
  • Experiments
  8 被引用数 (Scopus)

• Investigating country differences in mobile app user behavior and challenges for software engineering

  Lim, S. L., Bentley, P. J., Kanakam, N., Ishikawa, F. & Honiden, S., 2015 1 1, In: IEEE Transactions on Software Engineering. 41, 1, p. 40-64 25 p., 6913003.

  研究成果: Article › 査読

  • Software engineering
  • Application programs
  • Medical applications
  • Ecosystems
  • Packaging
  88 被引用数 (Scopus)

• Model-driven-development-based stepwise software development process for wireless sensor networks

  Tei, K., Shimizu, R., Fukazawa, Y. & Honiden, S., 2015 4 1, In: IEEE Transactions on Systems, Man, and Cybernetics: Systems. 45, 4, p. 675-687 13 p., 6928496.

  研究成果: Article › 査読

  • Software engineering
  • Wireless sensor networks
  26 被引用数 (Scopus)
• 2014

  An approach for evaluating and suggesting method names using N-gram models

  Suzuki, T., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 6 2, 22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings. Association for Computing Machinery, Inc, p. 271-274 4 p. (22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings).

  研究成果: Conference contribution

  • Software engineering
  • Experiments
  6 被引用数 (Scopus)

• Application of requirements prioritization decision rules in software product line evolution

  Inoki, M., Kitagawa, T. & Honiden, S., 2014 1 1, 2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. 6895216. (2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings).

  研究成果: Conference contribution

  • Software engineering
  • Costs
  3 被引用数 (Scopus)

• ArbitCheck: A highly automated property-based testing tool for Java

  Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 1 1, Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014. IEEE Computer Society, p. 405-412 8 p. 6825695. (Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014).

  研究成果: Conference contribution

  • Testing
  • Function generators
  • Feedback
  2 被引用数 (Scopus)

• Fast live migration with small IO performance penalty by exploiting SAN in parallel

  Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2014 12 3, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 40-47 8 p. 6973722. (IEEE International Conference on Cloud Computing, CLOUD).

  研究成果: Conference contribution

  • Virtual machine
  • Data storage equipment
  • Virtualization
  • Energy resources
  • Cloud computing
  4 被引用数 (Scopus)

• Sample efficiency improvement on neuroevolution via estimation-based elimination strategy

  Xu, S., Inoue, Y., Inamura, T., Moriguchi, H. & Honiden, S., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1537-1538 2 p. (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; vol. 2).

  研究成果: Conference contribution

  • Poles

• SanGA: A self-adaptive network-aware approach to service composition

  Klein, A., Ishikawa, F. & Honiden, S., 2014 7 1, In: IEEE Transactions on Services Computing. 7, 3, p. 452-464 13 p., 6409350.

  研究成果: Article › 査読

  • Service Composition
  • Quality of Service
  • Latency
  • Quality of service
  • Chemical analysis
  43 被引用数 (Scopus)

• Toward a portability framework with multi-level models for wireless sensor network software

  Shimizu, R., Tei, K., Fukazawa, Y. & Honiden, S., 2014 2 17, Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014. Institute of Electrical and Electronics Engineers Inc., p. 253-260 8 p. 7043866. (Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014).

  研究成果: Conference contribution

  • Wireless sensor networks
  • Cyber Physical System
  • Middleware
  • Internet of things
  • Computer hardware
  2 被引用数 (Scopus)

• Understanding and planning Event-B refinement through primitive rationales

  Kobayashi, T., Ishikawa, F. & Honiden, S., 2014 1 1, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. Springer Verlag, p. 277-283 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8477 LNCS).

  研究成果: Conference contribution

  • Event-B
  • Formal specification
  • Planning
  • Refinement
  • Large scale systems
  3 被引用数 (Scopus)

• Validating Ajax applications using a delay-based mutation technique

  Maezawa, Y., Nishiura, K., Honiden, S. & Washizaki, H., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 491-501 11 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

  研究成果: Conference contribution

  • XML
  • Testing
  6 被引用数 (Scopus)
• 2013

  A goal model elaboration for localizing changes in software evolution

  Nakagawa, H., Ohsuga, A. & Honiden, S., 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. IEEE Computer Society, p. 155-164 10 p. 6636715. (2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings).

  研究成果: Conference contribution

  • Software engineering
  10 被引用数 (Scopus)

• Automated verification of pattern-based interaction invariants in Ajax applications

  Maezawa, Y., Washizaki, H., Tanabe, Y. & Honiden, S., 2013 12 1, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 158-168 11 p. 6693076. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

  研究成果: Conference contribution

  • XML
  4 被引用数 (Scopus)

• Automatic image description by using word-level features

  Horiuchi, S., Moriguchi, H., Honiden, S. & Xu, S., 2013, ICIMCS 2013 - Proceedings of the 5th International Conference on Internet Multimedia Computing and Service. p. 309-314 6 p. (ACM International Conference Proceeding Series).

  研究成果: Conference contribution

  • Image recognition
  • Experiments