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
2010
Highly Cited
2010
Enterprise Cloud Service Architecture
Cloud computing, a new paradigm of distributed computing, introduces many new ideas, concepts, principals, technologies and… 
Highly Cited
2007
Highly Cited
2007
Conflict Detection and Resolution for 1,2,...N Aircraft
This paper presents a mathematical framework for the formal specification of aircraft conflict detection and resolution… 
2005
2005
An integrated approach for the development and validation of multi-agent systems
In this paper, an integrated approach for the development and validation through simulation of multi-agent systems is proposed… 
Highly Cited
2005
Highly Cited
2005
PACT: an efficient and powerful algorithm for generating area cladograms
Aim  To introduce and describe the functioning of a new algorithm, phylogenetic analysis for comparing trees (PACT), for… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
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… 
Highly Cited
2000
Highly Cited
2000
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the… 
Highly Cited
1997
Highly Cited
1997
Control of chaos by nonfeedback methods in a simple electronic circuit system and the FitzHugh-Nagumo equation
Highly Cited
1985
Highly Cited
1985
Photometric Methods in Inorganic Trace Analysis
1. Some Questions of the Applications of (Spectro) Photometric Methods. 2. Planning, Elaboration and Control of Analytical… 
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)