Software Domain Model Integration Methodology for Formal Specifications
Joel C. Nonnweiler
Broschiertes Buch

Software Domain Model Integration Methodology for Formal Specifications

Versandkostenfrei!
Versandfertig in über 4 Wochen
53,99 €
inkl. MwSt.
PAYBACK Punkte
27 °P sammeln!
Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software Engineering (KBSE) groups. The research of the Air Force Institute of Technology KBSE group has focused on the utilization of formal languages to represent domain model knowledge within this process. The code generation process centers around correctness preserving transformations that convert domain models from their analysis representations through design to the resulting implementation code. The diversity of the software systems that can be developed in this manner is limited onl...