Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
Formal specification
Known as:
Formal
, Specification (computing)
, Software specification
Expand
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ACM Transactions on Programming Languages and Systems
Abstract state machines
Agile software development
Algebraic specification
Expand
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
G. K. Mahanti
,
N. Pathak
,
P. Mahanti
2007
Corpus ID: 55676634
In this paper, we propose an optimization method based on real-coded genetic algorithm (GA) with elitist strategy for thinning a…
Expand
Highly Cited
2003
Highly Cited
2003
Refinements and multi-dimensional separation of concerns
D. Batory
,
Jia Liu
,
J. N. Sarvela
ESEC/FSE-11
2003
Corpus ID: 5384792
Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features…
Expand
2000
2000
FOUNDATIONAL CONCEPTS FOR MODEL DRIVEN SYSTEM DESIGN
Loyd Baker
,
P. Clemente
,
Bob Cohen
,
Larry Permenter
,
B. Purves
,
Pete Salmon Incose
2000
Corpus ID: 18387988
This paper presents an initial viewpoint on an emerging technology: Model Driven System Design (MDSD). In contrast, the current…
Expand
1999
1999
Visualization of formal specifications
Soon-Kyeong Kim
,
D. Carrington
Proceedings Sixth Asia Pacific Software…
1999
Corpus ID: 14884709
Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by…
Expand
Highly Cited
1998
Highly Cited
1998
A Formal Approach to Use Cases and Their Relationships
Gunnar Övergaard
,
Karin Palmkvist
International Conference on the Unified Modeling…
1998
Corpus ID: 46724209
The Use Case construct is one of the most important constructs for modelling the dynamics of a system. In this paper we describe…
Expand
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…
Expand
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?
R. Guindon
,
B. Curtis
International Conference on Human Factors in…
1988
Corpus ID: 17271394
A verbal protocol study of professional software designers has revealed three design process control strategies. At least one of…
Expand
Highly Cited
1986
Highly Cited
1986
Algorithms and Software Tools for IC Yield Optimization Based on Fundamental Fabrication Parameters
M. Styblinski
,
L. Opalski
IEEE Transactions on Computer-Aided Design of…
1986
Corpus ID: 24271806
Algorithms, software tools and the relevant methodology for production yield optimization with respect to fundamental…
Expand
Highly Cited
1983
Highly Cited
1983
Formal Specification of Interactive Graphics Programming Languages
W. R. Mallgren
1983
Corpus ID: 60933210
Formal specifications of practical software systems are increasingly common; yet computer graphics systems are invariably…
Expand
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)
ACCEPT & CONTINUE