Skip to search formSkip to main contentSkip to account menu

Formal methods

Known as: Formal techniques, Formal, Formal development 
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ALGOL 58APCBAbstract data typeAbstraction (software engineering)

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering
Modern mechatronic production plants contain a multitude of mechanical, electrical/electronic and software components. During its… 
Highly Cited
2004
Highly Cited
2004
Component-Based Modelling of Thermofluid Systems for Sensor Placement and Fault Detection
Modelling of thermofluid systems is complex because of the coupling of thermal and hydraulic energies. Bond graph language is a… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
Highly Cited
2001
Highly Cited
2001
Performance specification of software components
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most… 
2001
2001
Automatic verification of a manufacturing system
Highly Cited
1999
Highly Cited
1999
A Net Practice for Software Project Management
Technical and managerial complexity increasingly overwhelm project managers. To rein in that complexity, the authors propose PM… 
1999
1999
An Executable Specification and Verifier for Relaxed Memory Order
The Mur/spl psi/ description language and verification system for finite-state concurrent systems is applied to the problem of… 
Highly Cited
1985
Highly Cited
1985
Program specification and development in standard ML
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with… 
Highly Cited
1980
Highly Cited
1980
Executable Description and Validation of SNA
The definition of IBM's Systems Network Architecture (SNA) has evolved into a specification of a node in the form of a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)