首页>
外国专利>
SYSTEM AND METHODS FOR EVALUATING COMPLIANCE OF IMPLEMENTATION CODE WITH A SOFTWARE ARCHITECTURE SPECIFICATION
SYSTEM AND METHODS FOR EVALUATING COMPLIANCE OF IMPLEMENTATION CODE WITH A SOFTWARE ARCHITECTURE SPECIFICATION
展开▼
机译:用软件体系结构规范评估实施代码的遵从性的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A code-proving system is adapted to analyze implementation code for compliance with a at least a specified model. The implementation code can be code that is used to provide control or semi-automated control of a complex electromechanical system, such as an automobile. The specified model may be written to comply with a meta-model such as the software architecture specification known as Automotive Open System Architecture (AUTOSAR).
展开▼