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