首页>
外国专利>
Process and system for developing validated and optimised object-oriented software
Process and system for developing validated and optimised object-oriented software
展开▼
机译:用于开发经过验证和优化的面向对象软件的过程和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it. The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.
展开▼