Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SAC
2002
ACM

favoriteEmaildiscussreport

111views Applied Computing» more SAC 2002»

Automated conversion from requirements documentation to an object-oriented formal specification language

13 years 4 months ago

Automated conversion from requirements documentation to an object-oriented formal specification language

Download www.cs.iupui.edu

Beum-Seuk Lee, Barrett R. Bryant

Real-time Traffic

Applied Computing | SAC 2002 |

claim paper

Related Content

» ObjectOriented Natural Language Requirements Specification

» From Object Oriented Conceptual Modeling to Automated Programming in Java

» Supplementing ProcessOriented with StructureOriented Design Explanation within Formal Obje...

» Formal Specification Generation from Requirement Documents

» Using Process Algebra to Validate Behavioral Aspects of ObjectOriented Models

» Logical document conversion combining functional and formal knowledge

» GOOAL an educational object oriented analysis laboratory

» Automated review of natural language requirements documents generating useful warnings wit...

» Rewriting Logic Semantics From Language Specifications to Formal Analysis Tools

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	SAC
Authors	Beum-Seuk Lee, Barrett R. Bryant

Comments (0)