Skip to search formSkip to main contentSkip to account menu

Formal specification

Known as: Formal, Specification (computing), Software specification 
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
In this paper, we propose an optimization method based on real-coded genetic algorithm (GA) with elitist strategy for thinning a… 
Highly Cited
2003
Highly Cited
2003
Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features… 
2000
2000
This paper presents an initial viewpoint on an emerging technology: Model Driven System Design (MDSD). In contrast, the current… 
1999
1999
Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by… 
Highly Cited
1998
Highly Cited
1998
The Use Case construct is one of the most important constructs for modelling the dynamics of a system. In this paper we describe… 
Review
1994
Review
1994
  • M. Gaudel
  • 1994
  • Corpus ID: 60740848
Formal approaches to software specification and development have been a topic of active research for a long time. There now… 
Highly Cited
1990
Highly Cited
1990
  • 1990
  • Corpus ID: 204983081
Highly Cited
1988
Highly Cited
1988
A verbal protocol study of professional software designers has revealed three design process control strategies. At least one of… 
Highly Cited
1986
Highly Cited
1986
Algorithms, software tools and the relevant methodology for production yield optimization with respect to fundamental… 
Highly Cited
1983
Highly Cited
1983
Formal specifications of practical software systems are increasingly common; yet computer graphics systems are invariably…