Výsledky vyhledávání - Formal Methods Applied to Complex Systems: Implementation of the B Method

Formal methods applied to complex systems: implementation of the B method Autor Boulanger, Jean-Louis

“… It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry…”
Získat plný text

Formal Methods Applied to Complex Systems Autor Boulanger, Jean‐louis, Aljer, Ammar, Mariano, Georges

Získat plný text

Formal methods applied to industrial complex systems Autor Boulanger, Jean-Louis

“…A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc…”
Získat plný text

Formal methods applied to complex systems Autor Jean-Louis Boulanger, Boulanger

“… It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry…”
Získat plný text

Theory Applied to Social Healthcare Systems to Gain a Better Understanding of Implementation of Evidence: A Multi-Method Research Project Using Qualitative Comparative Analysis to Explore Complex Causality when Assuming the Implementation of Evidence Context Is a Social Complex Adaptive System Autor Chandler, Jacqueline

“… Complimentary process evaluations provide information to explain trial results. Complexity Theory applied to the social context of healthcare may provide better explanations of the implementation context when viewed as a complex adaptive system…”
Získat plný text

Research on the Implementation of Internal Control in Enterprise Information System by Domain Analysis and Formal Methods: A Case Study of Sales Activities Internal Control Under Chinese Enterprise Environment Autor Xiaoyi Chen, Dianping Ouyang

“… & regulatory, standardized processes and measures in EIS. Furthermore, its implementation is a complex and large systematic engineering, and related to corporate governance…”
Získat plný text

Using formal methods to increase confidence in a home network system implementation: a case study Autor du Bousquet, Lydie, Nakamura, Masahide, Yan, Ben, Igaki, Hiroshi

“… Here, we present the approach chosen to validate the Java implementation of a home network system…”
Získat plný text

A formal design and implementation method for real-time embedded systems Autor Bradley, S., Henderson, W., Kendall, D., Robson, A., Hawkes, S.

“…This paper tackles the problem of using formal methods for practical real-time system development and verification, and is based on a real example…”
Získat plný text

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems Autor Burenkov, V.

“…This article analyzes existing methods of verification of cache coherence protocols of scalable systems…”
Získat plný text

An extension and application of systems engineering tools to the development of a formal method for CAIV implementation Autor Krupa, Joseph

“… aerospace firms had successfully used to make their products more competitive, as a way out of the dilemma of increasing system costs and decreasing availability of new system development funds…”
Získat plný text

An artificial intelligence system for a complex electromagnetic field problem : Part II : Method implementation and performance analysis Autor SATSIOS, K. J, LABRIDIS, D. P, DOKOPOULOS, P. S

“…An artificial intelligence system has been developed to determine the electromagnetic field in the complex problem of a faulted overhead transmission line above earth and a buried pipeline…”
Získat plný text

Formal methods applied to a floating-point number system Autor Barrett, G.

“… The formal specification is refined into four sequential components, which unpack the operands, perform the arithmetic, and pack and round the result…”
Získat plný text

Method and technique of formal design of complex information security system in information and telecommunication systems Autor Gvozdov, R.Y., Oliynykov, R.V.

“… At the moment, there are no methods for the formal design of complex information security system in information and telecommunication systems, so the development of such a methodology is an urgent task…”
Získat plný text

New Implementations of Replica-exchange Method for Simulations of Complex Systems: Designed-walk and Deterministic Replica-exchange Methods Autor Urano, Ryo, Okamoto, Yuko

“…Two new methods of replica-exchange method (REM) are tested for a two-dimensional Ising spin model…”
Získat plný text

Formal methods for a system of systems analysis framework applied to traffic management Autor Dickerson, Charles E., Siyuan Ji, Roslan, Rosmira

“…Formal methods for systems and system of systems engineering (SoSE) can bring precision to architecting and design, and increased trustworthiness in verification…”
Získat plný text

A formal method for functional modeling and conceptual design of complex mechatronic systems Autor Jayaram, Murali Barathwaj

“…Obtaining the best possible design solutions for a mechatronic system, which is characterized by numerous functions, flows, requirements, and relationships, requires a thorough functional modeling…”
Získat plný text

Linking Finite Automata and Formal Methods Enhancing Modeling Power for Complex Systems Autor Sabir, N., Ali, A., Zafar, N.A.

“… Formal methods are rigorous mathematical techniques which can be used for specification of software systems…”
Získat plný text

Arnold Engineering Development Complex Spark Tank: Engineers Study Control System Method for Possible Implementation

Získat plný text

Methods and Implementation Ideas for Mitigating Errors in Complex Systems Development Autor Shichao, Ju

“… It proposes a method for advancing the discovery of developmental issues and discusses the integration of assurance methods and review approaches, grounded in practical…”
Získat plný text

Design and Implementation Method for Supporting Complex CAE Software System Module Development Autor Wang, Xiaohui, Nie, Xiaohua, Chang, Liang, Duan, Shihui

“… Based on the modular design idea, a highly open CAE software architecture for HAJIF software system is proposed, and a special modular design method is clarified…”
Získat plný text