Travelled to:1 × Spain
1 × USA
Collaborated with:B.R.Bryant ∅
Talks about:document (2) convers (2) specif (2) requir (2) formal (2) autom (2) languag (1) orient (1) object (1) execut (1)
Person: Beum-Seuk Lee
DBLP: Lee:Beum=Seuk
Contributed to:
2002
2001Wrote 2 papers:
- SAC-2002-LeeB #automation #documentation #object-oriented #requirements #specification
- Automated conversion from requirements documentation to an object-oriented formal specification language (BSL, BRB), pp. 932–936.
- ASE-2001-Lee #automation #documentation #execution #requirements #specification
- Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.