About: Precondition

Property	Value
dbo:description	krav om at noget eksternt (ift. en beregning el. situation) skal ske og generere nogle effekter eller resultater (da) requirement for something else to happen and to generate some effects or results (en) ce qui est nécessaire pour qu'une chose puisse se produire et générer des effets ou résultats (fr) דרישה למשהו אחר שיקרה ולייצר השפעות או תוצאות (iw)
dbo:wikiPageWikiLink	dbr:Object-oriented_programming dbr:Eiffel_(programming_language) dbr:Formal_specification dbc:Formal_methods dbr:Factorial dbc:Logic_in_computer_science dbr:Design_by_contract dbr:Database_trigger dbr:Class_invariant dbr:Computer_security dbr:Postcondition dbr:Code dbr:Hoare_logic dbr:Guard_(computer_science) dbr:Invariant_(computer_science) dbc:Programming_constructs dbr:Computer_programming dbr:Predicate_(mathematics) dbr:Assertion_(computing)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:One_source dbt:About dbt:Short_description
dct:subject	dbc:Formal_methods dbc:Logic_in_computer_science dbc:Programming_constructs
gold:hypernym	dbr:Condition
rdfs:label	Precondition (en) Vorbedingung (Informatik) (de) Precondición (es) Précondition (fr) Precondizione (it) Передумова (формальні методи) (uk) 先决条件 (zh)
owl:sameAs	freebase:Precondition wikidata:Precondition dbpedia-it:Precondition dbpedia-de:Precondition dbpedia-fr:Precondition dbpedia-zh:Precondition dbpedia-es:Precondition dbpedia-uk:Precondition dbpedia-global:Precondition
prov:wasDerivedFrom	wikipedia-en:Precondition?oldid=1172995564&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Precondition
is dbo:wikiPageRedirects of	dbr:Advertised_requirement dbr:Pre-condition dbr:Preconditions
is dbo:wikiPageWikiLink of	dbr:Axiomatic_semantics dbr:Test_case dbr:Test_fixture dbr:SCOOP_(software) dbr:Rescue_Engineering dbr:Eiffel_(programming_language) dbr:Assertion_(software_development) dbr:Formal_methods dbr:Stack-oriented_programming dbr:ParaSail_(programming_language) dbr:Producer–consumer_problem dbr:Python_syntax_and_semantics dbr:Method_overriding dbr:Java_Modeling_Language dbr:Refinement_(computing) dbr:Design_by_contract dbr:Extended_static_checking dbr:Liskov_substitution_principle dbr:List_of_tools_for_static_code_analysis dbr:Class_invariant dbr:David_Gries dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Semantics_(computer_science) dbr:Postcondition dbr:Dynamic_logic_(modal_logic) dbr:Hoare_logic dbr:Guard_(computer_science) dbr:Exception_handling dbr:Test_Template_Framework dbr:XUnit dbr:United_Nations_Security_Council_Resolution_1747 dbr:Glossary_of_computer_science dbr:Oak_(programming_language) dbr:Glossary_of_artificial_intelligence dbr:Predicate_transformer_semantics dbr:Praspel dbr:Guarded_suspension dbr:Preconditioning_(disambiguation) dbr:SPARK_(programming_language) dbr:GOAL_agent_programming_language dbr:Assertion_definition_language dbr:SofCheck_Inspector dbr:Refinement_type dbr:Linear_time_property dbr:Qualification_problem dbr:Behavioral_subtyping dbr:Principles_of_Model_Checking dbr:Ubercode dbr:Human_rights_and_encryption dbr:Fail-fast dbr:Advertised_requirement dbr:Pre-condition dbr:Preconditions
is foaf:primaryTopic of	wikipedia-en:Precondition