Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,744,841 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.
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
2001
2001
© Copyright Hewlett-Packard Company 2001An Optimal Dynamic Programming Model for Algorithm Design in Simultaneous Auctions.
2001
Corpus ID: 16946866
2001
2001
Formal Verification of Transmission Window Timing for the Time-Triggered Architecture
J. Rushby
2001
Corpus ID: 61992194
We formally verify the parameters on the timing of message windows in transmitters, receivers, and bus guardians for the Time…
Expand
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
2000
2000
Formal Specification from an Observation-oriented Perspective
M. Beynon
,
Jaratsri Rungrattanaubol
,
J. Sinclair
Journal of universal computer science (Online)
2000
Corpus ID: 7137719
A formal speciication of an algorithm is a very rich mathematical abstraction. In general, it not only speciies an input-output…
Expand
1999
1999
Feature interaction as a satisfiability problem
C. Areces
,
W. Bouma
,
M. de Rijke
MASCOTS '99. Proceedings of the Seventh…
1999
Corpus ID: 15626400
We present a formal model for the specification of telephone features by means of description logics. Our framework permits the…
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