Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
∅
Talks about:
mathematic (1) properti (1) softwar (1) refin (1) inequ (1) engin (1) basic (1) what (1) type (1) data (1)
Person: Hidetaka Kondoh
DBLP: Kondoh:Hidetaka
Contributed to:
Wrote 2 papers:
- FASE-2000-Kondoh #question #re-engineering #what
- What is “Mathematicalness” in Software Engineering? (HK), pp. 163–177.
- TLCA-1995-Kondoh #data type #equation
- Basic Properties of Data Types with Inequational Refinements (HK), pp. 279–296.