The Afit Wide Spectrum Object Modeling Environment : an Awsome Beginning

@inproceedings{Hartrum2000TheAW,
  title={The Afit Wide Spectrum Object Modeling Environment : an Awsome Beginning},
  author={Thomas C. Hartrum and Robert P. Graham},
  year={2000}
}
Over the past several years, the Air Force Institute of Technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum Object Modeling Environment (AWSOME), along with a speci cation language AWL (AFIT Wide-spectrum Language). Several tools have been developed, including a parser for the AWL syntax, an interactive object editor, a Java code generator, and a generator for database schemas and SQL queries. This paper describes the formal object-oriented… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 28 references

Tool-based integration and code generation of object models," Master's thesis, Air Force Institute of Technology, Wright-Patterson AFB

  • M. R. Ashby
  • 2000
Highly Influential
10 Excerpts

Nonnweiler, \Domain integration methodology for multi-agent systems," Master's thesis, Air Force Institute of Technology, Wright-Patterson AFB

  • J C.
  • Maj. Graham
  • 2001
1 Excerpt

A formal methodology and technique for verifying communication protocols in a multi-agent environment," Master's thesis, Air Force Institute of Technology, Wright-Patterson

  • T. H. Lacey
  • 2000
1 Excerpt

Cornn, \An object-oriented repository-based software synthesis system," Master's thesis, Air Force Institute of Technology, Wright-Patterson AFB

  • L. J. Gary
  • 2000
1 Excerpt

Explicitly modeling hierarchically heterogeneous software architectures in an object-oriented formal transformation system," Master's thesis, Air Force Institute of Technology, Wright-Patterson

  • D. L. Williams
  • 2000
1 Excerpt

Formal object state model transformations for automated agent system synthesis," Master's thesis, Air Force Institute of Technology, Wright{Patterson

  • D. W. Marsh
  • 2000
1 Excerpt

Generating executable persistant data storage/retrieval code from object-oriented speci cations," Master's thesis, Air Force Institute of Technology, Wright-Patterson

  • S. R. Buckwalter
  • 2000
1 Excerpt

The javacc story." www.metamata.com/javacc/story.html

  • S. Sankar
  • 2000
1 Excerpt

Validation and veri cation of formal speci cations in object oriented software engineering," Master's thesis, Air Force Institute of Technology, Wright-Patterson AFB

  • S. A. Thomson
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…