Formal modeling and analysis of complex software

Formal modeling and analysis of complex software

Bibliographic Details
Main Authors:	Faiza Belala, Ramdane Maamri
Format:	Article
Language:	English
Published:	Elsevier 2020-05-01
Series:	Journal of King Saud University: Computer and Information Sciences
Online Access:	http://www.sciencedirect.com/science/article/pii/S1319157820303566

Similar Items

A Strategy-Based Formal Approach for Fog Systems Analysis
by: Souad Marir, et al.
Published: (2022-02-01)

A formal quantitative analysis of elastic cloud systems based on PSMaude
by: Chafia Bouanaka, et al.
Published: (2020-05-01)

A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes
by: Sofiane Boukelkoul, et al.
Published: (2020-01-01)

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks
by: Rachida Boucebsi, et al.
Published: (2020-11-01)

A multi-layered bigraphical modelling approach for context-aware systems
by: Ahmed Taki Eddine DIB, et al.
Published: (2022-09-01)

Resources consumption analysis of business process services in cloud computing using Petri Net
by: Mohammed Nassim Lacheheub, et al.
Published: (2020-05-01)

A self-switching multi-strategic pedagogical agent
by: Soufiane Boulehouache, et al.
Published: (2020-05-01)

A fuzzy agent approach for smart data extraction in big data environments
by: Zakarya Elaggoune, et al.
Published: (2020-05-01)

A Distributed Approach to the Multi-Robot Task Allocation Problem Using the Consensus-Based Bundle Algorithm and Ant Colony System
by: Farouq Zitouni, et al.
Published: (2020-01-01)

Formal Concept Analysis and Its Validity in Power Reliability Engineering
by: Bikram Pratim Bhuyan, et al.
Published: (2023-05-01)

Formality, evolution, and model-driven software engineering
by: Davies, J, et al.
Published: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
by: Davies, J, et al.
Published: (2005)

Formal Methods in Software Engineering
by: Hoare, C
Published: (1986)

Formalizing Reusable Software Components
by: Rich, Charles, et al.
Published: (2008)

Formal model and Policy specification for software defined networks
by: DAWOOD SALMAN JASIM AL-FARTTOOSI
Published: (2016-12-01)

Introduction to Formal Methods for Software Engineering
by: Trevor King
Published: (1993-02-01)

Formalizing the ISDF Software Development Methodology
by: Mihai Liviu DESPA
Published: (2015-01-01)

Formal foundations for software engineering methods /
by: Hussmann, Heinrich, 1959-
Published: (1997)

Unexpected rules using a conceptual distance based on fuzzy ontology
by: Mohamed Said Hamani, et al.
Published: (2014-01-01)

Practical formal software engineering : wanting the software you get /
by: 402782 Mills, Bruce
Published: (2009)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
by: A. V. Samonov, et al.
Published: (2018-12-01)

Automatically Learning Formal Models from Autonomous Driving Software
by: Yuvaraj Selvaraj, et al.
Published: (2022-02-01)

A Formal Model and Verification Problems for Software Defined Networks
by: V. A. Zakharov, et al.
Published: (2013-12-01)

A Formal Model and Verification Problems for Software Defined Networks
by: V. A. Zakharov, et al.
Published: (2013-01-01)

Firmware vulnerability analysis based on formal verification of software and hardware
by: Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
Published: (2016-07-01)

Logic Programming Tools for Formal Software Specification
by: Halina Przymusińska
Published: (2011-09-01)

Intelligent Systems and Formal Methods in Software Engineering
by: Beckert, B, et al.
Published: (2006)

Formalizing Reusable Software Components in the Programmer's Apprentice
by: Rich, Charles, et al.
Published: (2004)

UAREI: A model for formal description and visual representation /software gamification
by: Darius Aseriskis, et al.
Published: (2017-01-01)

A system for deduction-based formal verification of workflow-oriented software models
by: Klimek Radosław
Published: (2014-12-01)

Formal approach on modeling and predicting of software system security: Stochastic petri net
by: H. Motameni
Published: (2015-01-01)

A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008)

A survey on refinement in formal methods and software engineering
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2019)

Formal Specification in “Z” Language by Software Z/EVES
by: Josef Svec, et al.
Published: (2006-01-01)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
by: V. M. Itsykson
Published: (2016-12-01)

Integrating Formal Methods for Security in Software Security Education
by: Paolo MODESTI
Published: (2020-09-01)

A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008)

A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008)

Communicating embedded systems : software and design : formal methods /
by: Jard, Claude, et al.
Published: (2010)

PROMELA based formal verification for safety-critical software
by: XING Liang, et al.
Published: (2022-10-01)