Search Results1-20 of  45

  • 1 / 3
  • 岡野 浩三 ID: 9000267815440

    Articles in CiNii:1

    • Generating UML Model Verification Environment Based on UML Meta Model Specification and OCL Constraints （2007）
  • 岡野 浩三 ID: 9000279890495

    Articles in CiNii:1

    • 上位設計におけるシステムの振る舞い検証技術 （2008）
  • 岡野 浩三 ID: 9000287187861

    Articles in CiNii:1

    • On Script Languages for Tools of Formal Techniques （2014）
  • 岡野 浩三 ID: 9000287224869

    Articles in CiNii:1

    • Verification on Safety Properties for Distributed Self-Adaptive Line Tracing Robots （2015）
  • 岡野 浩三 ID: 9000287224873

    Articles in CiNii:1

    • Towards behavior verification of autonomous mobile robot with error detection and correction （2015）
  • 岡野 浩三 ID: 9000296674760

    Articles in CiNii:1

    • Study on a Supporting Method for Creating Scenario Based on Screen Transition Model （2015）
  • 岡野 浩三 ID: 9000313194094

    Articles in CiNii:1

    • Empirical Research on Design by Contract based Software Development （2015）
  • 岡野 浩三 ID: 9000321620867

    Articles in CiNii:1

    • A Support Method for Evaluating Usability with User-Operation Logs at Requirements Analysis （2016）
  • 岡野 浩三 ID: 9000321621600

    Articles in CiNii:1

    • Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems （2016）
  • 岡野 浩三 ID: 9000321621647

    Articles in CiNii:1

    • A Support Method for Designing GUI Consistent with Screen Transition Model （2016）
  • 岡野 浩三 ID: 9000331081561

    Articles in CiNii:1

    • A Method to Revise Message Ordering in Sequence Diagram （2016）
  • 岡野 浩三 ID: 9000331081652

    Articles in CiNii:1

    • SMart-Learning : Tools for DSL-based UML State Machine Diagram Learning （2016）
  • 岡野 浩三 ID: 9000331082658

    Articles in CiNii:1

    • A Method to Revise Message Ordering in Sequence Diagram （2016）
  • 岡野 浩三 ID: 9000331082752

    Articles in CiNii:1

    • SMart-Learning : Tools for DSL-based UML State Machine Diagram Learning （2016）
  • 岡野 浩三 ID: 9000340443088

    Articles in CiNii:1

    • Construction of Dictionary for Improving Requirement Descriptions by Differences of Japanese Expressions （2016）
  • 岡野 浩三 ID: 9000344835629

    Articles in CiNii:1

    • SMart-Learning : An Extension of Tools for DSL-based UML State Machine Diagram Learning : Simulation for Multiple Instances （2017）
  • 岡野 浩三 ID: 9000356604673

    Articles in CiNii:1

    • Equivalence Checking for Methods in Java and Its Applications （2017）
  • 岡野 浩三 ID: 9000388492359

    Articles in CiNii:1

    • STAMP海外事例の紹介 : STPA-SafeSec (特集 複雑システムの安全分析法STAMP) （2018）
  • 岡野 浩三 ID: 9000388993254

    Articles in CiNii:1

    • Analysis of Specification in Japanese using Natural Language Processing and Review Supporting with Speech Synthesis （2018）
  • 岡野 浩三 ID: 9000388993413

    Articles in CiNii:1

    • Support Tool for Collaborating on Screen Transition Modeling and Web Layout Design : Use of Website Builder employing Front-End Framework （2018）
  • 1 / 3
Page Top