1 × Israel
1 × Italy
H.Kurihara Y.Tananaka R.Yamamoto H.Sawamura T.Minami K.Yocota
logic (2) establish (1) construct (1) traceabl (1) approach (1) specifi (1) program (1) develop (1) applic (1) proof (1)
Person: Kyoko Ohashi
Wrote 2 papers:
- RE-2011-OhashiKTY #development #traceability #uml
- A means of establishing traceability based on a UML model in business application development (KO, HK, YT, RY), pp. 279–284.
- CLP-1990-SawamuraMYO90 #approach #logic #logic programming #proving #specification
- A Logic Programming Approach to Specifying Logics and Constructing Proofs (HS, TM, KY, KO), pp. 405–424.