Andere Kunden interessierten sich auch für
![An Interactive Tool for Refining Software Specifications from a Formal Domain Model]( "An Interactive Tool for Refining Software Specifications from a Formal Domain Model")
An Interactive Tool for Refining Software Specifications from a Formal Domain Model59,99 €![A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander]( "A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander")
A US Army Formal Fac: A Program Is the Solution for Improving Joint Fires Integration for the Maneuver Commander59,99 €![A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain]( "A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain")
A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain59,99 €![An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications]( "An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications")
An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications59,99 €![A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System]( "A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System")
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System59,99 €![An Empirical Methodology for Engineering Human Systems Integration]( "An Empirical Methodology for Engineering Human Systems Integration")
An Empirical Methodology for Engineering Human Systems Integration59,99 €![Creating a Network Model for the Integration of a Dynamic and Static Supervisory Control and Data Acquisition (SCADA) Test Environment]( "Creating a Network Model for the Integration of a Dynamic and Static Supervisory Control and Data Acquisition (SCADA) Test Environment")
Creating a Network Model for the Integration of a Dynamic and Static Supervisory Control and Data Acquisition (SCADA) Test Environment59,99 €
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 only by the availability of suitable domain models. Therefore it should be possible to combine existing domain models when no single model is able to completely satisfy the requirements by itself. This work proposes a methodology that can be used to integrate domain models represented by formal languages. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the domain models, automated tool support can be developed to assist the application engineer in this process.