Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Formal Methods

Chapter 647
Encyclopedia of Information Science and Technology, Fourth Edition
Mathematical techniques for the development of functional specifications and designs of real-time software.
Published in Chapter:
A Formal Approach to the Distributed Software Control for Automated Multi-Axis Manufacturing Machines
Gen'ichi Yasuda (Nagasaki Institute of Applied Science, Japan)
Copyright: © 2018 |Pages: 12
DOI: 10.4018/978-1-5225-2255-3.ch647
Abstract
This chapter deals with the control system design problem for automated machine systems from the viewpoint of a discrete event system approach. Behaviors of automated systems have externally the features of discrete event asynchronous, concurrent processes, which implies the necessity of distributed architecture for intelligent cooperative control. Based on the generalization of multi-axis machine activities, the detailed control functions of a machine task are hierarchically represented by an interpreted form of the Petri net. The necessary control conditions and rules to ensure that the control system is well-defined, including synchronization and conflict resolution, are provided as a conceptual model of machine task. Due to hierarchical decomposition of Petri net models, the structure of the whole control system as well as the contents of each machine task is easily understood so that the task planning, monitoring and modification of the control system can be done effectively.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Chapter 246
Formal Development of Reactive Agent-Based Systems
Formal methods are rigorous techniques based on mathematical notation that can be used to specify and verify software models.
Published in Chapter: Formal Development of Reactive Agent-Based Systems; From: Encyclopedia of Information Science and Technology, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 69
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Formal methods are the computer-based techniques that involve the development of the mathematical model of the given system based on some logic and verification of its intended properties using deductive reasoning.
Published in Chapter: Formal Verification of ZigBee-Based Routing Protocol for Smart Grids; From: Encyclopedia of Information Science and Technology, Fifth Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 4
State-of-the Art Concepts and Future Directions in Modelling Coordination
The application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
Published in Chapter: State-of-the Art Concepts and Future Directions in Modelling Coordination; From: Handbook of Research on Emerging Advancements and Technologies in Software Engineering
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 16
Lessons from Practices and Standards in Safety-Critical and Regulated Sectors
Methods that are machine-processable and that have well-defined syntax & semantics.
Published in Chapter: Lessons from Practices and Standards in Safety-Critical and Regulated Sectors; From: Handbook of Research on Emerging Advancements and Technologies in Software Engineering
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 404
Formal Specification Language for Agent Oriented Systems
The use of formal methods in software specification is an approach of using mathematical rules and a fixed set of syntax and semantics to formally specify the behavior of a system.
Published in Chapter: Formal Specification Language for Agent Oriented Systems; From: Encyclopedia of Information Science and Technology, Third Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 10
The Theory of Deferred Action: Informing the Design of Information Systems for Complexity
System of symbols representative of reality and rules for abstraction of things form reality and their composition to form models.
Published in Chapter: The Theory of Deferred Action: Informing the Design of Information Systems for Complexity; From: Handbook of Research on Contemporary Theoretical Models in Information Systems
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 161
Deriving Formal Specifications from Natural Language Requirements
This term refers to the variety of mathematical modeling techniques that are applicable to computer system (software and hardware) design. Formal methods may be used to specify and model the behavior of a system and to mathematically verify that the system design and implementation satisfy system functional and safety properties. These specifications, models, and verifications may be done using a variety of techniques and with various degrees of rigor.
Published in Chapter: Deriving Formal Specifications from Natural Language Requirements; From: Encyclopedia of Information Science and Technology, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 31
Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification
A particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems
Published in Chapter: Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification; From: Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR