An Approach to Identify Pitfalls in Programming Exercise using Snapshots

• Jan 01, 2018
• Computer Software
• Haruaki Tamada + 7 more +7

Cite

Listen

Save

Pokérepo GO: Design and Implementation of a Support System for Solo Live Reporting．

• Jan 01, 2018
• Computer Software
• Yoshinari Takegawa + 1 more +1

Cite

Listen

Save

On the Unification of Rational Terms.

• Jan 01, 2018
• Computer Software
• Munehiro Iwami

Cite

Listen

Save

フォーラム特集「実践的IT教育」の編集にあたって

• Mar 25, 2017
• Computer Software
• 粂野 文洋 + 2 more +2

Cite

Listen

Save

ViennaTalk: An Integrated Specification Environment Focused on the Early Stage of the Formal Specification Phase

• Jan 01, 2017
• Computer Software
• Keijiro Araki + 1 more +1

Cite

Listen

Save

Test Case Evaluation System for Programming Exercises

• Jan 01, 2017
• Computer Software
• Atsushi Yoshida + 3 more +3

Cite

Listen

Save

Hybrid Missing Data Technique using Imputation and Deletion of Missing Data

• Jan 01, 2017
• Computer Software
• Takeshi Kakimoto + 1 more +1

Cite

Listen

Save

A Behavioral Specification Notation and Verification Method based on Section that Implies Multiple Events Occurrence

• Jan 01, 2017
• Computer Software
• Han-Myung Chang + 2 more +2

Cite

Listen

Save

Semantic Role Labeling for Automatic Software Test Cases Generation

• Jan 01, 2017
• Computer Software
• Satoshi Masuda + 2 more +2

Cite

Listen

Save

Introduction to the Special Issue on Foundations of Software Engineering

• Jan 01, 2017
• Computer Software
• Atsushi Sawada + 5 more +5

Cite

Listen

Save