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 Model64,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 Commander63,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 Specifications64,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 Domain63,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 System64,99 €![An Empirical Methodology for Engineering Human Systems Integration]( "An Empirical Methodology for Engineering Human Systems Integration")
An Empirical Methodology for Engineering Human Systems Integration63,99 €![Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain]( "Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain")
Consistency Properties for Growth Model Parameters Under an Infill Asymptotics Domain64,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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.