Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,615 papers from all fields of science
Search
Sign In
Create Free Account
Formal methods
Known as:
Formal techniques
, Formal
, Formal development
Expand
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ALGOL 58
APCB
Abstract data type
Abstraction (software engineering)
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Foundations for MDA-based Forward Engineering
L. Favre
Journal of Object Technology
2005
Corpus ID: 2096000
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information…
Expand
2004
2004
A Predicative Semantic Model for Integrating UML Models
J. Yang
,
Quan Long
,
Zhiming Liu
,
Xiaoshan Li
International Colloquium on Theoretical Aspects…
2004
Corpus ID: 6922682
This paper presents a predicative semantic model for integrating models from UML class diagrams and sequence diagrams. The…
Expand
Review
2003
Review
2003
FACTORS INFLUENCING THE FRONT END OF THE INNOVATION PROCESS : A COMPREHENSIVE REVIEW OF SELECTED EMPIRICAL NPD AND EXPLORATIVE FFE STUDIES
Štefan
2003
Corpus ID: 14913121
In this paper we construct and propose an empirical-based research framework for the so-called “Fuzzy Front End” (FFE) of the…
Expand
2003
2003
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems kle
G. Karsai
,
Aditya Agrawal
,
Feng Shi
,
Jonathan Sprin
2003
Corpus ID: 17425710
The rt a odel-based engineering process. As it was discussed in a previous paper [1], there are several for doing this. (1) We…
Expand
2001
2001
APPLICATIONS OF BAN-LOGIC
J. Wessels
2001
Corpus ID: 62563087
2000
2000
Comparing and Combining Profiles
S. Savari
,
C. Young
J. Instr. Level Parallelism
2000
Corpus ID: 6509530
How much do two profiles of the same program differ? When has a profile changed enough to warrant reexamination of the profiled…
Expand
Review
1998
Review
1998
Overview of Strudel - A Web-Site Management System
M. Fernández
,
D. Florescu
,
Jaewoo Kang
,
A. Halevy
,
Dan Suciu
Networking and Information Systems Journal
1998
Corpus ID: 456772
Dans cet article nous presentons le systeme Strudel dont le but est d'appliquer des techniques utilisees dans le domaine des…
Expand
1996
1996
Predicting dependability by testing
R. Hamlet
International Symposium on Software Testing and…
1996
Corpus ID: 5677561
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality…
Expand
1995
1995
Verification of transient response of linear analog circuits
A. Balivada
,
Y. Hoskote
,
J. Abraham
Proceedings of the ... IEEE VLSI Test Symposium
1995
Corpus ID: 19433459
With the introduction of complex analog designs the need to verify the circuit behavior completely and efficiently cannot be…
Expand
1991
1991
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
E. Heck
,
D. Hogrefe
,
Bruno Müller-Clostermann
IEEE Trans. Computers
1991
Corpus ID: 37909283
Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the 'single…
Expand