Search Results1-13 of  13

  • OKANO KOZO ID: 9000019095958

    大阪大学 (2013 from CiNii)

    Articles in CiNii:4

    • Report on Winter Workshop 2012 in Biwako (2012)
    • Report of Winter Workshop 2013 in Nasu (WWS2013) (2013)
    • Report on Winter Workshop 2012 in Biwako (2012)
  • OKANO Kozo ID: 9000017683075

    Graduate School of Information Science and Technology, Osaka University (2011 from CiNii)

    Articles in CiNii:2

    • An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop (2010)
    • QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation (2011)
  • OKANO Kozo ID: 9000258238121

    Graduate School of Information Science and Technology, Osaka University (2010 from CiNii)

    Articles in CiNii:1

    • A Translation Method from OCL into JML by Translating the Iterate Feature into Java Methods (2010)
  • OKANO Kozo ID: 9000258238289

    Guraduate School of Information Science and Technology, Osaka University (2011 from CiNii)

    Articles in CiNii:1

    • Evaluation Experiments on Automated Generation of Test Suites for Improvement of Assertions Generated by Daikon (2011)
  • OKANO Kozo ID: 9000258238532

    Graduate School of Information Science and Technology, Osaka University (2013 from CiNii)

    Articles in CiNii:1

    • A Method with Alloy Analyzer for Detecting Defects of Specifications : For JML Annotations (2013)
  • OKANO Kozo ID: 9000263043900

    Osaka University (2014 from CiNii)

    Articles in CiNii:1

    • Introduction to the Special Issue on Software Engineering (2014)
  • OKANO Kozo ID: 9000272643657

    Graduate School of Information Science and Technology, Osaka University (2014 from CiNii)

    Articles in CiNii:1

    • Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java (2014)
  • OKANO Kozo ID: 9000292183859

    Osaka University (2015 from CiNii)

    Articles in CiNii:1

    • FOREWORD (2015)
  • OKANO Kozo ID: 9000403423437

    Shinshu University (2019 from CiNii)

    Articles in CiNii:1

    • Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench (2019)
  • Okano Kozo ID: 1000050116050

    Graduate School of Information Science and Technology, Osaka University (2015 from CiNii)

    Articles in CiNii:144

    • A CMOS NOR Gate Model for Analyzing Metastable Operation (1992)
    • デッドロックの回避について--各資源の数が1の場合 (1976)
    • あるクラスの決定性プッシュダウンオ-トマトンの等価性判定 (1975)
  • Okano Kozo ID: 9000243754787

    Articles in CiNii:15

    • 時間システムを対象とした到達可能性解析の高速化手法の提案 (2010)
    • GUI制御部の記述と実現の一手法 (1997)
    • Prototyping and Evaluation of Learning Support System for Formal Proof (2010)
  • Okano Kozo ID: 9000285478312

    Articles in CiNii:1

    • A TIMED AUTOMATA APPROACH TO QOS RESOLUTION (2006)
  • Okano Kozo ID: 9000403601928

    Articles in CiNii:1

    • Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (2012)
Page Top