Loading...
Please wait, while we are loading the content...
Similar Documents
Transformation of Formally Defined Post-Conditions into Target Language Statements
| Content Provider | Semantic Scholar |
|---|---|
| Author | Parvathaneni, Swetha |
| Copyright Year | 2007 |
| Abstract | syntax (AST) meta-model. AWL was designed as a wide spectrum language so that it can be used to write the formal specifications and also can be used as an intermediate language in the translation of one language to another. It has constructs to represent the associations between the classes, including aggregation, and a finite-state dynamic model. It also supports preand post-conditions and class invariants expressed using first order predicate logic and set theory. The major advantage that AWL has over the other specification languages is the parser. A parser for AWL syntax was developed using JavaCC, a Java-based compiler-compiler. Instead of just providing a way to write the initial formal specification, AWL lets any model modified in AWSOME to be saved in a parsable format. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1229&context=etd_all&httpsredir=1&referer= |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
