Travelled to:
1 × Canada
Collaborated with:
Y.Zheng J.Wang J.Xue
Talks about:
introduc (1) approach (1) partial (1) develop (1) orient (1) object (1) metric (1) method (1) formal (1) driven (1)
Person: Kan Wang
DBLP: Wang:Kan
Contributed to:
Wrote 1 papers:
- FM-2006-ZhengWWX #approach #case study #development #formal method #object-oriented #using
- Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach (YZ, JW, KW, JX), pp. 190–204.