Tag:Formal

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Formal methods (9)
  formal-methods formal methods development math programming algorithm reference formal_methods wikipedia formal-theories systems-engineering formal-development code analysis cs computer_science computer formal-problem-solving formal-specification formal-system compsci formal-semantics category-of-signatures abstract-state-machines 2read automata-theory category-of-languages category-of-specifications category-of-theories
• Formal language (6)
  language formal wikipedia science math mathematics cs logic linguistics mathematic math.research grammar gup pg fsa pending parsing onlyonenativespeaker octavosemestre computer code automata ai %5Bwikipedia_article%5D compiler computer-science formal_ dude cstheory formal_language
• Formal grammar (5)
  language grammar grammars formal linguistics programming wikipedia technology theory mathematics grammer communication cs concepts computerscience data-viz dsls fsa computer formalism grue articulos artificial_intelligence 427 322 basics bnf code chomsky compiler
• Z notation (3)
  programming z notation design languages development wikipedia specification security productivity language academic formal proof z-notation formal_specification computerscience is0-13568:2002 pl>z programminglanguages semantica semantic fp formal_system compsci cmu cs declarative formal-methods formalmethods
• Model checking (2)
  model checking wikipedia modelchecking programming model-checking systems testing methods verification logic computerscience formal software-patterns tdd to-do z software-design testmethod model_check "model checking" mc906 metodosformais model_checking
• Formal semantics of programming languages (2)
  semantics programming languages mathematics wiki linguistics formal semantic productabstraction programminglanguage transformation pl theory sematics semantic-web jfkbits formal-semantics computer-theory formal-semantics-of-programming-languages formalsemantics logic-and-model-theory linguagem-e-pensamento math
• Formal concept analysis (2)
  fca formal_concept_analysis wikipedia lattice concept clustering analysis theory search data matrix formal bookmark cluster domain-theory document_understanding data_mining filosofieblog formal-concept-analysis conceptualization galois-lattice formalconceptanalysis a chu-space braid clusters concept-lattice concepts concept_mining conceptualisation
• Java Modeling Language (2)
  java jml development design architecture constraint wiki formal language java_modelling_language mda java.verification methods modeling cs272 contract assertion dbc ecsjava fejavacourse ja
• Reductio ad absurdum (1)
  logic philosophy wikipedia mathematics reference wiki language mind proof personal vocabulary learning articles arguments ian francis forumpost math politics pressure formal misc 'blogging ad absurdum by concepts definition contradiction fallacy
• Chomsky hierarchy (1)
  linguistics chomsky grammar language wikipedia hierarchy programming reference development cs wiki philosophy interesting languages useful computer science keel grammars formal formal-grammar hierarhia fla fsa dataflow arvutuslingvistikasse automaton compilers doc escsth
• Relational model (1)
  database relational databases design wikipedia programming tech math theory sql ontology data db wiki model knowledge computers tables derby_project dbm-380 formal foundation dataspace dev computer-science ***** 659 annotation computer cygridmetadidak
• Higher-order function (1)
  functional language fp higherorderfunctions terms functions programminglanguages formal book-research cs_study functionalprogramming
• Affirming the consequent (1)
  philosophy logic science wikipedia reasoning spanks debate argument mathematics popper rhetoric math words auto article bayesian fallacies falsification formal
• Temporal logic (1)
  logic temporal temporal-logic semantics wikipedia language verification strathclyde operators phd time model thesis temporal-theory temporal-reasoning formalmethods checking @todo dataspace formal logics lambda meeting
• Non-monotonic logic (1)
  logic programming math development ai xml intelligence resources computerscience computing nonmonotonic networkedgraphs nonmonotonicity report semantic_web monotonicity philosophy artificial dissertation agi entailment formal logics monotic
• Static code analysis (1)
  programming wikipedia development code analysis testing tools security static wiki quality monitoring source static_code_analysis cqm coding diploma codeanalyzer info ing-software codeanalysis formal analise-estatica assurance analiseestatica audit automation codeanalisys code.management codeanalyse
• Hoare logic (1)
  logic programming wikipedia mathematics science computer theory testing cs hoare proof program software academic computing research hoare-logic hoarelogic geek technology test functionalprogramming math formal computer-science compsci correctness cuny-proglang embedded-module formalmethods
• Propositional calculus (1)
  logic wikipedia mathematics math philosophy system propositional maths article propositional_calculus qedblog sentential love_wikipedia reasoning calculus computerscience formal imported-from-swsthesis knowledge
• Colorless green ideas sleep furiously (1)
  language chomsky linguistics grammar wikipedia literature culture meaning semantics writing interesting ideas english wiki poetry languages quotes standards sentence etymology green formal foonetic/#xkcd geekthras foonetic absurd a.dog's.life accelerando concept%2Flinguistics diplomarbeit
• Abstract interpretation (1)
  abstract-interpretation cs computerscience static-analysis software testmethod todo wikipedia wiki programming thesis lookup-later analysis abstractinterpretation compiler compilers interpretation formal program-comprehension
• Popek and Goldberg virtualization requirements (1)
  virtualization architecture wikipedia hardware virtualisation requirements software vmware popek research goldberg interesting interview science public processor systemadministration virt virtualmachine powerpc todo:for computer formal cs and good important os.vm informationtechnology pc-emu
• Automated theorem proving (1)
  logic theorem mathematics proof math atp wikipedia education wiki essay cs theorem-prover proving computer ai compsci computational-mathematics computational-logics computer-science formal formal-development cas computerintelligence%2C automated_reasoning artificial ar automated-deduction automated-reasoning automated-theorem-proving automated_theorem_proving