Sentence examples for based on formal specifications from inspiring English sources

An AI-based composition process represents a symbolic approach that sequentially generates a service-based software solution based on formal specifications.

To achieve standardized and re-usable model views, further research towards a modular and logical framework based on formal specification of IFC concepts is recommended.

InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems.

The proposed verification methodology is based on formal verification methods.

This paper presents and discusses our methodology for DSL development based on declarative formal specifications that are easy to compose, and its usage during MAS development.

Monitoring and checking is performed based on a formal specification of system requirements.

The papers also presented a formal specification model is based on the Z formal specification language.

Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed.

This is based on profiling, specifications, or estimation.

Quanta is planning to roll out more products based on OpenCompute specifications.

These four subclasses suggest a diversification of Arabidopsis CrRLK1-like proteins based on functional specifications.