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)

Related topics

Related topics

49 relations
ACM Transactions on Programming Languages and SystemsAbstract state machinesAgile software developmentAlgebraic specification

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
SYNTHESIS OF THINNED LINEAR ANTENNA ARRAYS WITH FIXED SIDELOBE LEVEL USING REAL-CODED GENETIC ALGORITHM
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
Refinements and multi-dimensional separation of concerns
Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features… 
2000
2000
FOUNDATIONAL CONCEPTS FOR MODEL DRIVEN SYSTEM DESIGN
This paper presents an initial viewpoint on an emerging technology: Model Driven System Design (MDSD). In contrast, the current… 
1999
1999
Visualization of formal specifications
Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by… 
Highly Cited
1998
Highly Cited
1998
A Formal Approach to Use Cases and Their Relationships
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
Formal specification techniques
  • M. Gaudel
  • Proceedings of 16th International Conference on…
  • 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
Acknowledgements ix
  • 1990
  • Corpus ID: 204983081
Highly Cited
1988
Highly Cited
1988
Control of cognitive processes during software design: what tools are needed?
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 and Software Tools for IC Yield Optimization Based on Fundamental Fabrication Parameters
Algorithms, software tools and the relevant methodology for production yield optimization with respect to fundamental… 
Highly Cited
1983
Highly Cited
1983
Formal Specification of Interactive Graphics Programming Languages
Formal specifications of practical software systems are increasingly common; yet computer graphics systems are invariably… 
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)