Search Results1-20 of  32

  • 1 / 2
  • 岡野 浩三 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: 9000287029598

    Articles in CiNii:1

    • Synthesis of Protocol Entities' Specifications from Service Specification in a Petri Net Model with Registers （1994）
  • 岡野 浩三 ID: 9000287029825

    Articles in CiNii:1

    • Design of Distributed Computing Systems using an Extended Finite State Machine Model （1993）
  • 岡野 浩三 ID: 9000287054931

    Articles in CiNii:1

    • Design of Distributed Computing Systems using an Extended Finite State Machine Model （1993）
  • 岡野 浩三 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）
  • 1 / 2
Page Top