| |
Naturally Formal Specification System Publications |
|
 Oct '02 |
Beum-Seuk Lee
and
Barrett R. Bryant
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar
Proceedings of Monterey Workshop 2002
Venice, Italy
|
|
| Oct '02 |
Chunmin Yang,
Beum-Seuk Lee,
Barrett R. Bryant, and
Carol C. Burt
Formal Specification of Non-Functional Aspects in Two-Level Grammar
Proceedings of Component-Based Software Engineering and Modeling Non-Functional Aspects Workshop
of Fifth International Conference on the Unified Modeling Language
Dresden, Germany
|
|
| Aug '02 |
Beum-Seuk Lee
and
Barrett R. Bryant
Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications
Proceedings of the 19th International Conference on Computational Linguistics, pp. 516-522
Taipei, Taiwan
|
|
| May '02 |
Beum-Seuk Lee
and
Barrett R. Bryant
Contextual Knowledge Representation for Requirements Documents in Natural Language
Proceedings of the 15th International FLAIRS Conference, pp. 370-374
Pensacola, Florida, USA
|
|
| April '02 |
Beum-Seuk Lee
and
Barrett R. Bryant
Prototyping of Requirements Documents Written in Natural Language
Proceedings of the Southeastern Software Engineering Conference
Huntsville, Alabama, USA
|
|
| Apr '02 |
Beum-Seuk Lee
XML and DAML for Contextual Knowledge Representation of Natural Language Requirements Documents
Journal of the Alabama Academy of Science 73, 2
Livingston, Alabama, USA
|
|
| Mar '02 |
Beum-Seuk Lee
and
Barrett R. Bryant
Automated Conversion from Requirements Documentation to an Object-Oriented Formal Specification Language
Proceedings of SAC 2002, Symposium on Applied Computing, pp. 932-936
Madrid, Spain
|
|
| Jan '02 |
Barrett R. Bryant and
Beum-Seuk Lee
Two-Level Grammar as an Object-Oriented Requirements Specification Language
Proceedings of the 35th Hawaii International Conference on System Sciences
Waikoloa, Hawaii, USA
|
|
| Dec '01 |
Beum-Seuk Lee
Automated Conversion from a Requirements Documentation to an Executable Formal Specification
Proceedings of Doctoral Workshop of the 16th IEEE International Conference on Automated Software Engineering
San Diego, California, USA
|
|
| Aug '01 |
Beum-Seuk Lee
Automatic Transformation of Natural Language Requirements into Formal Specifications
Proceedings of Doctoral Workshop of the 5th IEEE International Symposium on Requirements Engineering
Toronto, Ontario, Canada
|
|
| Apr '01 |
Beum-Seuk Lee
Runnable Natural Language Specification Using Two Level Grammar
Journal of the Alabama Academy of Science 72, 2
Auburn, Alabama, USA
Presented at the 78th Annual Meeting of the Alabama Academy of Science (first place in student research award competition)
|
|
| Mar '01 |
Beum-Seuk Lee and
Barrett R. Bryant
Automated Conversion of Natural Language Requirements to a Formal Specification Language
Proceedings of the 39th Annual ACM Southeast Conference, pp. 160-161
Athens, Georgia, USA
|
|
| Jan '00 |
Barrett R. Bryant
Object-Oriented Natural Language Requirements Specification
Proceedings of ACSC 2000, the 23rd Australasian Computer Science Conference
Canberra, Australia
|
|
| |
School of Natural Sciences & Mathematics 