論文
研究プロジェクトの論文
- BiG プロジェクト
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu,
SWIN: Towards Type-Safe Java Program Adaptation between APIs
,ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015), Mumbai, India, January 13-14, 2015.Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu,
Feature-Based Classification of Bidirectional Transformation Approaches
,Software and Systems Modeling, Springer 2015全件表示 »Hugo Pacheco, Tao Zan, Zhenjiang Hu, BiFluX: A Bidirectional Functional Update Language for XML
,16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, UK, September 8-10, 2014.Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. 29(4): 724-736 (2014)Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu: Optimization for iterative queries on MapReduce, PVLDB 7(4), pp.241 – 252, 2013.
Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer:
Monadic combinators for “Putback” style bidirectional programming. PEPM 2014: 39-50Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. MODELSWARD 2014: 466-471Zhenjiang Hu, Kazutaka Matsuda, Meng Wang,Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins, Janis Voigtlander,Journal of Functional Programing 23(5) 515-551 Sep.2013
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano, A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches,15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), to appear.
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano, Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), to appear.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model TransformationsProgress in Informatics, No. 10, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs, pp. 131-148. Mar. 2013.
John Wilson-Kanamori and Soichiro Hidaka, A Bidirectional Collaboration Framework for Bio-Model Development, Second International Workshop on Bidirectional Transformations (BX 2013), Rome, Italy, colocated with ETAPS 2013, March 17, 2013.
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, blinkit: Maintaining Invariant Traceability through Bidirectional Transformations, 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, pp. 540-550. 2012.
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, View Updatability Checking with Simulation-based Graph Schema, JSSST Computer Software, Vol. 29, No. 2 pp.174-192. Apr 2012.
Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger, Dagstuhl Seminar on Bidirectional Transformations, SIGMOD Record, Vol.40, No.1 2011. pp.35-39.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, 2011.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano, Marker-Directed Optimization of UnCAL Graph Transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 18-20, 2011.
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 20-22, 2011.
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Toward bidirectionalization of ATL with GRoundTram, International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 27-28, 2011. LNCS 6707. pp.138-151.
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting Runtime Software Architecture: A Bidirectional-Transformation- Based Approach, Journal of Systems and Software, Elsevier, Volume 84, Issue 5, May 2011. pp. 711-723.
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, January 2011.
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei, A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models,ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), Oslo, Norway, October 3-8, 2010.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010.
Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang, Combining Syntactic and Semantic Bidirectionalization, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010.
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu, Gradual Refinement: Blending Pattern Matching with Data Abstraction, 9th International Conference on Mathematics of Program Construction (MPC 2010), Quebec City, Canada, 21-23 June 2010.
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming(ESOP 2010), Paphos, Cyprus, March 22-26, 2010. LNCS 6012, 448-467.
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, International Journal on Software Tools for Technology Transfer (STTT), Vol.11, No.6, 2009. pp.453-468. (This is an extended version of the paper presented in 10th IEEE International Symposium on Web Site Evolution(WSE 2008), Beijing, China, October 3-4, 2008. )
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach, Journal of Systems and Software, Elsevier, to appear.
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei, Generating Synchronization Engines between Running Systems and their Model-Based Views, Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS’09), Denver, USA, October 5th, 2009. pp.11-20.
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009.
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, New Ideas and Emerging Results Track of 31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano,Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009),Savannah, Georgia, USA, Jan 24, 2009.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009.
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation, Vol. 21, No. 1-2, Springer, June 2008. pp. 89-118.
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.
Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.
- PerQASプロジェクト
Quanwang Wu, Fuyuki Ishikawa,
Heterogeneous Virtual Machine Consolidation using an Improved Grouping Genetic Algorithm,
The 17th IEEE International Conference on High Performance Computing and Communications (HPCC 2015) 2015年8月Feedback-controlled Random Test Generation
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honieden
International Symposium on Software Testing and Analysis (ISSTA 2015) July 2015全件表示 »Jun Maeoka, Yoshinori Tanabe, Fuyuki Ishikawa,
Depth-First Heuristic Search for Software Model Checking,
The 14th IEEE/ACIS International Conference on Computer and Information Science 2015 (ICIS2015) June 2015Naoto Sato, Fuyuki Ishikawa,
Separation of Considerations in Event-B Refinement toward Industrial Use,
1st Formal Methods in SW Engineering Education and Training Workshop (FMSEET 2015) at FM 2015 June 2015Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe,
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program,
1st Formal Methods in SW Engineering Education and Training Workshop (FMSEET 2015) at FM 2015 June 2015Fuyuki Ishikawa,
Case Studies on Combination of VDM and Test-Driven Approaches: Application, Model Finding and Refinement,
The 13th Overture Workshop at FM 2015 June 2015Taro Kurita, Fuyuki Ishikawa, Keijiro Araki,
Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware,
The 20th International Symposium on Formal Methods (FM 2015, Industry Track) 593-596 June 2015Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden,
An Application Conflict Detection and Resolution System for Smart Homes
International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015) at The 37th International Conference on Software Engineering (ICSE 2015) June 2015Masayuki Nii, Kenji Tei and Fuyuki Ishikawa,
Framework Enabling End-Users to Maintain Web Applications.
IAENG International Conference on Internet Computing and Web Services (ICICWS 2015) 387-394 March 2015Soo Ling Lim, Peter Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden,
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering,
IEEE Transactions on Software Engineering 41(1) 40-64 2015年1月Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa,
Broker-based SLA-aware composite service provisioning,
Journal of Systems and Software 96 194-201 Oct. 2014Quanwang Wu, Fuyuki Ishikawa,
Towards Service Skyline for Multi-granularity Service Composition,
International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014, Short Paper) 1-6 2014年9月Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa, A Graph-based Approach Enhancing Correctness and Speed of Web Services Composition through Explicit Specification of Functional Semantics, International Journal of Web and Grid Services (IJWGS), Vol.10, No.4, pp.297-318, September 2014
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden,
Robust Service Compositions with Functional and Location Diversity,
IEEE Transactions on Services Computing Preprint Dec. 2013Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa,
Intention-based Automated Composition Approach for Coordination Protocol,
The IEEE 11th International Conference on Web Services (ICWS 2013 Application & Experience Track) 260-267 June 2013Sajid Ibrahim Hashmi, Fuyuki Ishikawa, Ita Richardson,
A Communication Process for Global Requirements Engineering,
The International Conference on Software and System Process (ICSSP 2013) 136-140 May 2013Soo Ling Lim, Daniela Damian, Fuyuki Ishikawa and Anthony Finkelstein, Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects – Book Chapter in Managing Requirements Knowledge, ISBN 978-3642344183, Springer, May 2013
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, SanGA: A Self-adaptive Network-aware Approach to Service Composition, IEEE Transactions on Services Computing, Vol.7 No.3, pp.452-464, July 2014
Fuyuki Ishikawa, QoS-based Service Selection – Book Chapter in Handbook on Web Services Foundations, ISBN 978-1461475170, Springer, Jun 2013
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden,
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition,
International Joint Agent Workshop and Symposium (iJAWS 2012) Oct. 2012Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden,
Multi-objective Service Composition with Time- and Input-Dependent QoS,
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track) 234-241 June. 2012Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden,
A Probabilistic Approach for Long-Term B2B Service Compositions,
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track) 259-266 June. 2012Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Web Service Selection Algorithm using Vickrey Auction,
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track) 336-342 June.2012Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Towards Robust Service Compositions in the Context of Functionally Diverse Services, The 21st International World Wide Web Conference (WWW 2012), April 2012
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Towards Network-aware Service Composition in the Cloud, The 21st International World Wide Web Conference (WWW 2012), April 2012
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust in Web Service Compositions Using Bayesian Networks, AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing, March 2012
高橋 竜一，石川 冬樹，本位田 真一，深澤 良彰，メタデータ制約を用いた協調プロトコルの自動合成手法，情報処理学会論文誌，Vol.53 No.2，pp.683-697，2012年2月
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden, Applying QoS-aware Service Selection on Functionally Diverse Services, The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC’11) at ICSOC 2011, December 2011
平塚 信明，石川 冬樹，本位田 真一，同種サービスの併用を考慮した効率的なサービス選択，情報処理学会論文誌Vol.52 No.10，pp.2920-2933，2011年10月
Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi, Formal Verification of Business Processes with Temporal and Resource Constraints, The 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), pp.1173-1180, October 2011
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011), pp.89-96, July 2011
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition, The 9th International Conference on Web Services (ICWS 2011) (Application and Experience Track), pp.436-443, July 2011
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden, Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures, The 8th International Conference on Services Computing (SCC 2011), pp.152-159, July 2011
石川 冬樹，山本 佳代子，本位田 真一，物理的相互作用に着目した，スマート空間の形式仕様記述と検証，情報処理学会論文誌Vol.52 No.1，2011年01月.
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy, The 8th International Conference on Service-Oriented Computing (ICSOC 2010), December 2010
Fuyuki Ishikawa, Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper), December 2010
Benjamin Klopper, Fuyuki Ishikawa, Shinichi Honiden, Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper), December 2010
Fuyuki Ishikawa, Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods, The 7th International Conference on Services Computing (SCC 2010) (Work-in-Progress Track), July 2010
Fuyuki Ishikawa, Description and Matching of Triggering Capabilities in Event-Driven Services, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010), July 2010
Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden, Business Semantics Centric Reliability Testing for Web Services in BPEL, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010), July 2010
Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS2009), July 2009
Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), July 2009
Adrian Helmut David Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), November 2009
鄭顕志，石川 冬樹，吉岡 信和，深澤 良彰，本位田真一，解説論文：適応エージェントのためのユビキタスコンピューティングミドルウェア，日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集，pp11-19, Vol. 25, No. 4, 2008.
石川 冬樹，阿部 玲，高橋 竜一，吉岡信和，深澤 良彰，本位田真一，ユビキタスコンピューティングにおける分散協調・連携技術の研究動向，日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集，pp.133-144, Vol. 25, No. 4,2008.
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008.
Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC2008), September 2008.
Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE Internatinal Conference on Services Computing (SCC2008), July 2008.
- SSEプロジェクト
Validating Security Design Pattern Applications by Testing Design Models
Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki,Yoshiaki Fukazawa
2015Takao Okubo, Yoshio Kakizaki, Yoshinori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya and Nobukazu Yoshioka,
Security and Privacy Behavior Definition for Behavior Driven Development,
In proceedings of The 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014) 306-309 Dec. 2014全件表示 »Masatoshi Yoshizawa, Takanori Kobashi, Hiroyoshi Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya and Nobukazu Yoshioka,
Verification of Implementing Security Design Patterns Using a Test Template,
Proceedings of 9th International Conference on Availability, Reliability and Security (ARES2014) Sep. 2014Okubo Takao, Kenji Taguchi, Kaiya Haruhiko, Yoshioka Nobukazu,
MASG: Advanced Misuse case with Assets and Security Goals,
Journal of Information Processing,Information Processing Society of Japan 22(3) 536-546 July 2014Takao Okubo, Nobukazu Yoshioka, Haruhiko Kaiya,
Requirements Refinement and Exploration of Architecture for Security and Other NFRs,
The Fourth International Workshop on Information Systems Security Engineering – WISSE’14, LNBIP 178 286-298 June 2014Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki and Joseph Yoder,
Abstract security patterns for requirements and analysis of secure systems,
17th Workshop on Requirements Engineering(WER 2014) April. 2014Eduardo B. Fernandez, Nobukazu Yoshioka and Hironori Washizaki,
Patterns for cloud firewalls,
3rd Asian Conference on Pattern Languages of Programs (AsianPLoP 2014) Mar. 2014Takao Okubo, Nobukazu Yoshioka, Haruhiko Kaiya,
Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view,
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), IEEE Computer Society 201-205 Jan. 2014Seiji Munetoh, Nobukazu Yoshioka,
Model-Assisted Access Control Implementation for Code-centric Ruby on Rails Web Application Development,
The Eight International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013), IEEE CS 350-359 Sep. 2013Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, Nobukazu Yoshioka,
Goal-Oriented Security Requirements Analysis for a System used in Several Different Activities,
The Third International Workshop on Information Systems Security Engineering – WISSE’13 478-489 June2013横山重俊，桑田 喜隆，吉岡信和,
アカデミッククラウドアーキテクチャの提案と評価,
情報処理学会論文誌 54(2) 688-698 2013年2月Gideon D. Bibu, Nobukazu Yoshioka, Julian Padget,
System security requirements analysis with answer set programming,
Second IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems (RESS 2012) 10-13 Sep.2012Keiko Hashizume, Nobukazu Yoshioka, Eduardo B. Fernandez (Part:Joint Work)
Three Misuse Patterns for Cloud Computing,
IGI Global Sep 2012Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka,
Mutual Refinement of Security Requirements and Architecture using Twin Peaks Model,
The 6th IEEE International Workshop on Requirements Engineering for Services 367-372 July 2012Eduardo B. Fernandez, Nobukazu Yoshioka, and Hironori Washizaki,
Two patterns for distributed systems: Enterprise Service Bus (ESB) and Distributed Publish/Subscribe,
18th Conference on Pattern Languages of Programs (PLoP 2011) Oct. 2011Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns. International Journal of Secure Software Engineering (IJSSE), IGI Global, Vol. 3, No. 1, pp. 37-61, Jan.-Mar. 2012. DOI: 10.4018/jsse.2012010103.
Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Effective Security Impact Analysis with Patterns for Software Enhancement. In Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security (ARES), pp. 527-534, Vienna, Austria, 22-26 Aug. 2011. IEEE Computer Society, CPS.
Eduardo B. Fernandez, Nobukazu Yoshioka and Hironori Washizaki, “A Worm misuse pattern,” 1st Asian Conference on Pattern Languages of Programs (AsianPLoP 2010), 2010.3.
Yuki Shiroma, Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Nobukazu Yoshioka, “Model-Driven Security Patterns Application Based on Dependences among Patterns,” ares, pp.555-559, 2010 International Conference on Availability, Reliability and Security, 2010
Yuki Shiroma, Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Nobukazu Yoshioka, Eduardo B. Fernandez, “Model-Driven Security Patterns Application and Validation,” 17th Conference on Pattern Languages of Programs (PLoP 2010), 2010.
E.B. Fernandez, N. Yoshioka, H. Washizaki, J. Jurjens, M. VanHilst, and G. Pernul: Using security patterns to develop secure systems, in a book of the Software Engineering for Secure Systems. IGI, 2010
A. Bandara, S. Hayashi, J. Jurjens, H. Kaiya, A. Kubo, R. Laney, H. Mouratidis, A. Nhlabatsi, B. Nuseibeh, H. Shinpei, Y. Tahara, T. Tun, H. Washizaki, N. Yoshioka, Y. Yu: Security Patterns: Comparing Modeling Approaches in a book of the Software Engineering for Secure Systems. IGI, 2010
Hironori Washizaki and Nobukazu Yoshioka, Proceedings of AsianPLoP 2010: 1st Asian Conference on Pattern Languages of Programs, Technical Report GRACE-TR-2010-01, GRACE Center, National Institute of Informatics, March 2010.
Kenji Taguchi, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko, “Aligning Security Requirements and Security Assurance Using the Common Criteria,” SSIRI, pp.69-77, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki, Michael VanHilst, “Measuring the Level of Security Introduced by Security Patterns,” ares, pp.565-568, 2010 International Conference on Availability, Reliability and Security, 2010
Hironori Wasizaki, Nobukazu Yoshioka, Eduardo B. Fernandez and Jan Jurjens (Editors), Proceedings of the Third International Workshop on Software Patterns and Quality (SPAQu’09), Technical Report GRACE-TR-2009-07, GRACE Center, National Institute of Informatics, October 2009, 49
Hironori Washizaki, Eduardo B. Fernandez, Katsuhisa Maruyama, Atsuto Kubo, Nobukazu Yoshioka: Improving the Classification of Security Patterns. DEXA Workshops, pp.165–170(2009)
T. Okubo, K. Taguchi, N. Yoshioka, “Misuse cases + Assets + Security Goals”, appeared in Proceedings of International Workshop on Software Security Process (SSP) ’09, Vancouver (2009)
吉岡信和、田口研治、“セキュリティ要求分析の効用”、情報処理学会 学会誌 3月号, pp185-186, (2009)
H. Mouratidis, 田口研治、“セキュアトロポス概論”、情報処理学会 学会誌 3月号,pp198-202, (2009)
Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki: “Misuse Patterns”, The Forth International Workshop “Dependability Aspects on Data Warehousing and Mining applications” (DAWAM), Fukuoka, Japan, March, 2009.
Eduardo Fernandez, Hironori Washizaki, Nobukazu Yoshioka, Atsuto Kubo, Yoshiaki Fukuzawa, “Classifying security patterns”, Proc. of the 10th Asia Pacific Web Conference (APWeb), LNCS 4976, pp. 342–347, 2008.
Eduardo B. Fernandez, Jan Jurjens, Nobukazu Yoshioka, and Hironori Washizaki, Incorporating database systems into a secure software development methodology Proc. of 2nd International Workshop on Secure systems methodologies using patterns, Sep. 2008
Yijun Yu, haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Enforcing a Security Pattern in Stakeholder Goal Models (short paper), 4th Workshop on Quality of Protection, Alexandria VA, USA, October 27, 2008.
- MVSQRプロジェクト
Haruhiko Kaiya and Atsushi Ohnishi. Finding incorrect and missing quality requirements definitions using Requirements Frame. IEICE Transactions on Information and Systems, Vol.E95-D, No.4, Apr. 2012.
海谷 治彦, 鈴木 駿一, 小川 享, 谷川 正明, 梅村 真弘, 海尻 賢二. 分析履歴を用いたソフトウェア品質要求のスペクトル分析法. 情報処理学会論文誌, Vol. 53, No. 2, pp. 510-522, Feb. 2012.
全件表示 »Haruhiko Kaiya and Atsushi Ohnishi. Quality Requirements Analysis using Requirements Frames. QSIC 2011, Proc. of The 11th International Conference on Quality Software, pp. 198-207, Madrid, Spain, 13-14 Jul. 2011.
Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri. Spectrum Analysis for Software Quality Requirements using Analyses Records. In 35th Annual IEEE International Computer Software and Applications Conference WWorkshops (COMPSACW 2011), pp. 500-503, Munich, Germany, Jul. 2011. IEEE CS.
Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, and Kenji Kaijiri. Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis. In Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), pp. 187-194, Jul. 2010.
Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, Apr. 2010.
Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada,Haruhiko Kaiya, Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. ACM SAC 2009, Poster, Mar. 2009, Honolulu,Hawaii, USA.
Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. CAiSE09, 8-12 June 2009 Amsterdam, The Netherlands.
Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, and Kenji Kaijiri. So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp. 255-262, Turku, Finland, 28 July – 1 Aug. 2008.
Motoshi Saeki and Haruhiko Kaiya. Metrics for a Model Driven Development Context. In 3rd International Conference on Evaluation on Novel Approaches to Software Engineering (ENASE 2008), pp. 13-22, Funchal, Madeira, Portugal, 4-7 May 2008. INSTICC.
Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. IEICE Transactions on Information and Systems, Vol. E91-D, No. 4, pp. 897-906, Apr. 2008.
- XAC プロジェクト
末永俊一郎, 鄭顕志,
EVMを利用したDBCアプリケーションのための適応フレームワーク
情報処理学会論文誌 56(5) 2015年5月Masayuki Nii, Kenji Tei, and Fuyuki Ishikawa,
Framework Enabling End-Users to Maintain Web Applications,
IAENG International Conference on Internet Computing and Web Services (ICICWS’15) 387-394 Mar. 2015全件表示 »Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden,
Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks,
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45(4) 675-687 April 2015Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden,
Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software,
The 2014 International Conference on Smart Computing (SMARTCOMP 2014) Nov. 2014Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden,
Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case,
the 11th International Conference Applied Computing 2014 (AC 2014) Oct. 2014Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa,
HoppingDuster : Self-adaptive Cleaning Robot based on Aerial Vehicle,
The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), Adjunct Publication 271-274 Sep 2014Shunichiro Suenaga, and Kenji Tei,
Project Management Inspired Framework for Action Selection in Wireless Sensor Networks,
Asia Pacific Conference on Wireless and Mobile (APWiMob 2014) 54-59 Aug. 2014Kenji Tei, Levent Gurgen,
ClouT : Cloud of Things for Empowering the Citizen Clout in Smart Cities,
IEEE World Forum on Internet of Things (WF-IoT) 369-370 Mar. 2014清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一,
無線センサネットワークにおけるデータ品質改善の為の開発プロセス,
電子情報通信学会論文誌 D J97-D(3) 473-487 2014年3月鄭 顕志, 清水 遼, 高橋 竜一, 石川 冬樹,
自己適応ソフトウェアのための自己適応性設計に関する研究動向,
コンピュータソフトウェア 31(1) 49-59 2014年2月新居 雅行,鄭 顕志,石川 冬樹,
エンドユーザーによる保守作業を可能にする Web アプリケーションフレームワーク,
コンピュータソフトウェア 31(1) 60-74 2014年2月Fault Detection in Wireless Sensor Networks: A Machine Learning Approach,
Ehsan Ullah Warriach, and Kenji Tei,
the 10th IEEE International Conference on Embedded Software and Systems (ICESS13) 758-765 Dec. 2013Tuan Anh Nguyen, Doina Bucur, Marco Aiello, and Kenji Tei,
Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs,
the 4th International Symposium on Information and Communication Technology (SoICT2013) 234-241 Dec 2013Tuan Anh Nguyen, Marco Aiello, and Kenji Tei,
A Decentralized Scheme for Fault Detection and Classification in WSNs,
the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, WIP session 1-4 Aug. 2013Valentina Baljak, Kenji Tei, and Shinichi Honiden,
Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks,
IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013) 408-413 April 2013Valentina Baljak, Tei Kenji, and Shinichi Honiden,
Faults in Sensory Readings: Classification and Model Learning,
Sensors & Transducers Journal 18 177-187 Jan. 2013Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello,
A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks,
the 9th IEEE International Conference on Mobile Ad hoc and Sensor Systems (IEEE MASS2012) 281-289 Oct. 2012Valentina Baljak, Kenji Tei, and Shinichi Honiden,
Classification of Faults in Sensor Readings with Statistical Pattern Recognition,
The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012) 270-276 Aug. 2012Ehsan Ullah Warriach, Kenji Tei, and Marco Aiello,
A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks,
the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC12) 618-625 Dec. 2012Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei and Susumu Toriumi,
S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study,
The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012) 30-37 Aug. 2012Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden,
Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels,
Third International Workshop on Software Engineering for Sensor Network Applications (SESENA), in conjunction with International Conference on Software Engineering (ICSE) 22-28 June 2012Ehsan Warriach, Kenji Tei, Tuan Anh Nguyen, Marco Aiello,
Fault Detection in Wireless Sensor Networks: a Hybrid Approach,
poster session of the 11th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN) April 2012Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman,
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks,
Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO’11) 61-70 Oct 2011Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden,
Model Driven Development for Rapid Prototyping and Optimization of Wireless Sensor Network Applications,
2nd International Workshop on Software Engineering for Sensor Network Applications (SESENA ’11), inconjunction with ICSE May 2011鳥海 晋, 本位田 真一, “経路情報を用いた複数タスクへのセンサ割当”, 情報処理学会論文誌 Vol.52, No.3, 2011年3月 (to appear).
Valentina Baljak, Shinichi Honiden, “Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds” In proceedings of the Fourth International Conference on Sensor Technologies and Applications (SENSORCOMM 2010). July 18-25, 2010.
Rey Abe, Shinichi Honiden, “Adaptive Geographic Routing in Wireless Sensor Networks” In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2010). October 17-21, 2010.
Rey Abe, Shinichi Honiden, “Suppressing Redundancy in Wireless Sensor Network Traffic”, In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems(DCoSS2010), June 21-23, 2010. Santa Barbara, California, USA. Springer-Verlag.
Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden, “N-ary Sensor Model for Target Tracking in Wireless Sensor Networks” In Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK in Stockholm, pp.34-41, Sweden. April 12, 2010.
Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden, “XAC Project: Towards a Middleware for Open Wireless Sensor Networks”, chapter in book “Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends”, Edited by Francisco Milton Mendes Neto and Pedro Fernandes Ribeiro Neto. published by Information Science Publishing, March 2010.
Remi Sharrock, Amin Cherbal, Levent Gurgen, Thierry Monteil, Shinichi Honiden: “Autonomic thinking for sensing devices”, The Sixth International Conference on Autonomic and Autonomous Systems (ICAS’10), Cancun, Mexico. March 7-13, 2010.
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: “Group Migration by Mobile Agents in Wireless Sensor Networks” Oxford Computer Journal
Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden: “Plug&Manage Heterogeneous Sensing Devices”, (Demonstration) In Proceedings of the 6th International Workshop on Data Management for Sensor Networks (DMSN’09), in conjunction with VLDB’09. Lyon, France. August 24, 2009.
清雄一， 本位田真一: “多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知” 電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」, Vol.92-B, No.4, pp.689-699, April, 2009.
清雄一， 本位田真一: “多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知” 電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」, Vol.92-B, No.4, pp.678-688, April, 2009.
Levent Gurgen, Shinichi Honiden: “Management of networked sensing devices”, The Second International Workshop on Sensor Network Technologies for Information Explosion Era (Sentie’09); in conjunction with International Conference on Mobile Data Management, MDM. May 2009.
Levent Gurgen, Shinichi Honiden: “An integrated management middleware for networked sensing systems”, The Seventh International Conference on Pervasive Computing, Late Breaking Results. May 2009.
清雄一，本位田真一: “無線センサーネットワークにおける不正メッセージ作成元ノードの検知” 情報処理学会論文誌「サービス融合を支えるネットワークアーキテクチャの新展開」特集号, Vol.50, No.2, February, 2009.
末永俊一郎，吉岡信和，本位田真一: “無線センサネットワークにおける複数プログラムの動的配備” 情報処理学会論文誌「あたらしい時代を切り拓くモバイル通信と高度交通システム」特集号, Vol.50, No.1, January, 2009.
Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden: “Generative Dynamic Deployment of Multiple Components in Wireless Sensor Networks”,Poster at the The Sixth International Conference on Wireless On-demand Network Systems and Services (WONS 2009), Snowbird, Utah, USA, February 2-4, 2009.
Yuichi Sei, Shinichi Honiden: “Reporter node determination of replicated node detection in wireless sensor networks”, Third International Conference on Ubiquitous Information Management and Communication (ICUIMC-09), Suwon, Korea, January 15-16, 2009.
鄭 顕志，深澤 良彰，本位田 真一: “効率の良いネットワーク内処理のためのノード選択指標の提案” 情報処理学会論文誌, Vol.49, No.6, pp. 1872-1884, June, 2008.
Yuichi Sei, Shinichi Honiden: “Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks” The Fourth International Wireless Internet Conference (WICON 2008), Maui, Hawaii, USA, November 17-19, 2008.
Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden: “An Efficient Node Selection Metric for In-network Process Deployment” The Fourth International Wireless Internet Conference (WICON 2008), Maui, Hawaii, USA, November 17-19, 2008.
Susumu Toriumi, Yuichi Sei, Shinichi Honiden: “Energy-Efficient Event Detection in 3D Wireless Sensor Networks” 1st. IFIP Wireless Days Conference 2008, United Arab Emirates, November 24 – 27, 2008.
Eric Platon , Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden:”Transparent Application Lifetime Management in Wireless Sensor Networks” Demo Track of the 10th International Conference on Ubiquitous Computing (UbiComp 2008), Seoul, South Korea, September 21- 24, 2008.
Shunichiro Suenaga, Shinichi Honiden: “Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks” Second International Workshop on Agent Technology for Sensor Networks (ATSN-08). Estoril, Portugal, May 13, 2008.
Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:”Region-based Sensor Selection for Wireless Sensor Networks” The IEEE International Workshop on Ad Hoc and Ubiquitous Computing (AHUC 2008). Taichung, Taiwan, June 11-13, 2008.
- LIMT-RE プロジェクト
Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden, Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering, The 2nd International Workshop on Requirements Engineering and Law (RELAW’09) at RE 2009 2009年9月
Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden, Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches, The 6th International Workshop on Juris-informatics (JURISIN 2012), pp.143-156, November 2012
- FMET プロジェクト
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, “Preface:Special Issue on Formal Methods Education and Training”, appeared in ACM SIGCSE Bulletin inroads, July (2009)
H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, “Model Checking Education for Software Engineers in Japan”, appeared in ACM SIGCSE Bulletin inroads, July (2009)
全件表示 »西原秀明、青木利晃、粂野文洋、篠崎孝一、田口研治、早水公二、”MCBOK2008:ソフトウェア開発のためのモデル検査知識体系”、 組み込みシステムシンポジウム(ESS2009) (2009)
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi, “Preface:Special Issue on Formal Methods Education and Training”, ACM SIGCSE Bulletin inroads, vol.41, issue2, June, pp14-16 (2009)
H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model Checking Education for Software Engineers in Japan”, ACM SIGCSE Bulletin inroads, vol. 41, issue2, June, pp45-50 (2009)
H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno, “Model checking education for software engineering in Japan (Preliminary Version)”, 算譜科学研究速報, （独）産業技術総合研究所,システム検証センター、AIST-PS-2008-013 (2008)
青木利晃、粂野文洋、木下佳樹、篠崎孝一、高木理、高村博紀、田口研治、中原早生、西原秀明、早水公二、本位田真一、渡邊宏”モデル検査の教育プログラム構築に向けて”, 算譜科学研究速報, （独）産業技術総合研究所,システム検証センター、AIST-PS-2008-012 (2008)
K. Taguchi, J. Davies, J. Gibbons, M. Hinchey, (editors) Proceedings of the first international workshop on Formal Methods Education and Training, to appear as a Nii technical report
H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno,“Model checking education for software engineering in Japan (Preliminary Version)”, 算譜科学研究速報, （独）産業技術総合研究所,システム検証センター、AIST-PS-2008-013 (2008)
青木利晃、粂野文洋、木下佳樹、篠崎孝一、高木理、高村博紀、田口研治、中原早生、西原秀明、早水公二、本位田真一、渡邊宏”モデル検査の教育プログラム構築に向けて”, 算譜科学研究速報, （独）産業技術総合研究所,システム検証センター、AIST-PS-2008-012 (2008)
J. Davies, J. Gibbons, M. Hinchey, K. Taguchi (editors), Proceedings of the first international workshop on Formal Methods Education and Training, Grace-TR-2008-03, Grace Center, National Institute of Informatics
- その他
Invited Paper: Fuyuki Ishikawa and Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers, Vol.E92-B, No.01, pp.9–16, January 2009.
井上理穂子, “教育目的利用のための著作権制限とフェアユース規定導入の可能性” 情報ネットワーク・ローレビュー第8巻, 2009年4月.
全件表示 »Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents – model checking mobility: The MobiOZ approach in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008).
Nakagawa, K. Taguchi, S. Honiden: Constructing Formal Specifications from Requirements Specifications based on Model Transformation in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008).
Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden, Model Checking Process with Goal Oriented Requirements analysis, 15th Asia-Pacific Software Engineering Conference, 2008, Beijing, China, 2008.
教育プログラムの論文
- トップエスイープロジェクト
本位田真一, 粂野文洋, 田原康之, 鷲崎弘宜, “トップエスイー:サイエンスによる知的ものづくり教育”, 情報処理, Vol.48, No.11, pp1264-1272, 2007.
本位田真一, 田口研治, 吉岡信和, 田原康之, 鷲崎弘宜, “トップエスイー「サイエンスによる知的ものづくり教育」”, 映像情報メディア学会誌, Vol.61, No.9, pp85-90, 2007.
本位田真一, “トップエスイー：サイエンスによる知的ものづくり教育”, OHM, Vol.94, No.8, 2007.
全件表示 »
Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, and Hironori Washizaki, “Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan,” Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), ACM Press, pp.708-717, 2007.K. Taguchi, Y. Tahara, “Curriculum Design and Methodologies for Security Requirements Analysis”, Progress in Informatics, No. 5, pp. 19-34,(2008)
C. Artho, K. Taguchi, Y. Tahara, S. Honiden, Y. Tanabe, “Teaching Software Model Checking” to appear in Formal Methods in Computer Science Education (FORMED) ’08, Budapest,2008.
T. Tsumaki, H.Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden, “Errors and Misconceptions in Learning i*”, in Proceedings of the 2nd International Workshop on Requirements Engineering Education and Training, 2007.
Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa, “Automatic Extraction and Verification of Page Transitions in a Web Application”, Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), IEEE Computer Society, pp.350-357, 2007.
久保淳人, 鷲崎弘宜, 深澤良彰, “Webアプリケーションのページ遷移の自動抽出と検証”, ソフトウェアエンジニアリングシンポジウム2007, 2007.
