Skip to search formSkip to main contentSkip to account menu

Precondition

Known as: Advertised requirement, Pre-condition, Preconditions 
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

41 relations
AP Computer Science AAssertion (software development)Assertion definition languageAxiomatic semantics

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
SME perceptions of and responses to the recession
Purpose – This paper aims to explore perceptions of the recession and recovery by SMEs in Lincolnshire and Rutland. The paper… 
Highly Cited
2012
Highly Cited
2012
A Scale-Synthesis Method for High Spatial Resolution Remote Sensing Image Segmentation
Multiscale segmentation is always needed to extract semantic meaningful objects for object-based remote sensing image analysis… 
Highly Cited
2008
Highly Cited
2008
MARWIS: A Management Architecture for Heterogeneous Wireless Sensor Networks
In this paper we present a new management architecture for heterogeneous wireless sensor networks (WSNs) called MARWIS. It… 
Highly Cited
2007
Highly Cited
2007
The Language of Migration: The Education Industry Versus the Migration Industry
Recent research shows that some Australian tertiary education institutions have recruited international feepaying students whose… 
Highly Cited
2007
Highly Cited
2007
Post-Communist Democracy: The Impact of the European Union
The extent to which post-communist European and Eurasian countries have instituted democratic politics varies widely. The… 
Review
2007
Review
2007
Promoting academic writing/referencing skills: Outcome of an undergraduate e-learning pilot project
Future health care professionals will require self-directed learning skills. e-Learning is a tool to assist in this process and… 
Highly Cited
2000
Highly Cited
2000
Discharge regime and the effect of drying on macroinvertebrate communities in a temporary karst stream in East Westphalia (Germany)
Abstract: The special hydrological situation of temporary streams has a great influence on the abiotic processes and other… 
Highly Cited
1993
Highly Cited
1993
Public Finance Texts Cannot Justify Government Taxation: A Critique
In virtually all economic sub-disciplines, practitioners of the dismal science are exceedingly desirous of avoiding normative… 
Highly Cited
1990
Highly Cited
1990
A hierarchical approach to designing approximate reasoning-based controllers for dynamic physical systems
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with… 
Highly Cited
1984
Highly Cited
1984
Adaptive bearing friction compensation based on recent knowledge of dynamic friction
  • C. Walrath
  • at - Automatisierungstechnik
  • 1984
  • Corpus ID: 21495169
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)