American Heritage Dictionary
Century Dictionary
GNU Webster's 1913
WordNet
(1)
Elsewhere on the web
In this paper we introduce the core features of CSO (Communicating Scala Objects) - a notationally convenient embedding of the essence of occam in a modern, generically typed, object-oriented programming language that is compiled to Java Virtual Machine (JVM) code.— Lambda the Ultimate - Programming Languages Weblog
Because one god is more parsimonious then many - occam's razor— بالاترین
3d 454 4d aam ac accuracy active adleman afm aha analysis application applications arrays artifact artifacts asm assembly atlas automata av averaging bac bacteria beacons benenson bias bibtex-import bioinformatics biology biotechnology blur bold bonferroni book boundaries brain cad calibration carbon cardiac cartoon cascade ccitt ccitt2 cine circuits citation classification code codeword codeword_design color color_harmonization colorization color_transfer comparison compression computer computing consistent contour contours contrast corner correction corrections correlation cross crossover cryptography ct cv dasl database databases decolorization deep deformable deformation demons descriptors design detection device diagnostics diastole diffusion digestion directed displacement distribution dna dna-based dna-binding dna_computer dna_computing dna_dsp double_stranded drm dsp echocardiogram edge efficiency ehsan elastic electronics ellipse elliptical end enzymes errors esitmation estimation ethics evolution experimental expression face fiducial filtering fitting flattening flow fmri focus folding fusion gene genetic_algorithms genomic genomics geometric gibbs gold graphics grass hairpin harp hds heart high-throughput hmm holography homogeneity hybridization illumination image imaging in incorporation inhomogeneity instruments intensity interference irony2005colorization john kinetics landmark landmarks length level lna local localization logic lv markers markov materials medical melting memories memory methods microarray microarrays microrna mismatch model modeling modular molecular motifs motion motor motors mpeg mr mra mrf mri mri_er multi-modal multiplex mutagenesis muth myocardial nanofabrication nanoink nanotechnology nanotubes needle nested networks noise normalization noutsos object occam oligo oligo_probes optimal optimization optimizization origami out_of_focus output padlock paintings paper papoutsakis parallel parameters pcr performance perfusion phenomics platforms polar polymerase preservation primer primers pro probabilistic probe processing profiling programming propagation protein protocol qpcr qrt-pcr quality quantitative quantization r21 radon reaction-diffusion real_time recoloring reconstruction recovery recyclable reduction reference registration reliability rendering repair reporter reproduction research restoration reusable review rician ringing rna rnai rohan roi root root_finding rtpcr sampling santalucia search secondary security seed segmentation selective self-assembly semantic sensing sequencing set sfp shading shape sharpness shrna shuffling sift simulation simulations sirna skeleton snakes snp software sp spline splines spm statistics steganography sticky storage structure surface surveillance survey synthesis synthetic systole tag-antitag tagged tagged-mri taging technology temperature template templated theory thermodynamic thermodynamics tile tip tissue titration tnb_paper tracking trajectory transportation tsaftaris tutorial universal universal_microarrays validation variability variational vector vehicle vessels video visualization vitro voxel watermarking windowing winfree wireless zambal-2005-3dact CiteULike organises scholarly— CiteULike: Everyone's library
1967 1969 1978 1981 1982 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 abstract accidental_complexity acme adl agents agg agile aircraft algebraic algebraic_specification alloy analysis animation annotated_bibliography annotations appendix asm aspects assertion association automata_based_programming automotive_systems b behavior behavioral_modeling behavior_inheritance best_practice bibliography bibtex-import biology bisimulation block_diagrams _book bounded_verification business_rules by_example calculus casestudy casl ccs checker checking chinese circus citation citeulike class classic classroom clustering code_generation codesign coding cognition col communication comparison compatibility completeness component composition computability concrete_syntax concurrency concurrent_systems confluence conformance connectors consistency constraint constraint_satisfaction contracts coordination corba cre csp cspz current_topics data_independence data_refinement datatypes deadlock decidable denotational derivation_of_precondition design_decisions design_patterns diagram diagram_interchange diagrams distributed distributed_systems domain_modeling dpo dynalloy early eclipse editor eha eiffel embedded_system emf empirical equational_calculus equivalence essays euler_diagram event-b event_processor events evolution evoting exception execution experiment fdr feature feature_models finite_model first-order folksonomy formal formal_derivation formal_methods formal_specification formal_specifications formal_verification frame_assertion frame_conditions framework free fsm fujaba functional gals games goals google grammars grand_challenge graph graphical graph_transformation _hardcoppy _hardcopy health_care heuristics hierarchy history history_mechanism history_of hoare hol hypertext idioms impact-factor inconsistency incremental incremental_development industry inheritance inspection instance_model internet_applications istar java java5 jcsp jdi jml kaos language laws layout lessons_learned library lightweight_formal_method literate_programming logics lts lyee_calculus macthing manifesto mapping _marcia maude mda mdd mde mechanized mechatronic_uml merging metamodel metamodelling meta-modelling methods metrics mobile model model_based_design model-based_testing model_checking model_comparison model_composition model_extension model_inconsistencies modeling_languages modeling_paradigm model_integration modelling model_matching model_merging model_quality model_refinement model_transformation model_typing model_verification mof mondex msc _msc msos mu-charts multi-formalism mutations nac negotiation network _no_doi no_doi nopdf _no_pdf object objects objectz occam ocl _off _on ontology oo ood oop open_questions open-source operational origins overview owl packaging_knowhow _paper_2 pattern_matching patterns performance petrinets physics pi-calculus pim pose practice pragmatics precise presentation priority process_algebra processes process_modelling product_lines programming program_transformation program_visualization promises proof proof_obligations protocol provers psm ptifalls pullback_grammar pvs qos qvt reactive_process reactive_systems realtime real_time reasoning recursion re-engineering refactoring refinement refinement_calculus refinements reo requirements resources retractions reuse reverse reverse_engineering review _review rewriting rhapsody rll rml roadmap rules rule_transformation safe_message_passing safety sat scale-free second-order semantic semantic_cocomposition semantic_preservation semantics semantic_variation semi_formal seminal shared simulation slicing small_model soc socialnetwork software_architecture software_engineering software_evolution sos specification spin state-based_esting statecharts statechartsm stateflow statemate static_semantics statistical stepwise survey symbolic symbolic_execution synchronization synergy syntax system_evolution system_testing _talk taxonomy teaching temporal_logic test tests test_specification_generation tgg theorem_prover theory thesis _to_appear _to_download _to_download_acm _to_download_elsevier _to_download_springer _to_download_wiley tool tool_integration tools _to_print _to_review traceability traces transformation transformation_chain transition_coverage translation translator triple_graph_grammars tutorial type_systems typing uml uml20 umlrt unification unifying_theories utp validation vdm verification verified_software verilog video viewcharts viewpoint visual_cues visualization visual_languages weaving web web_applications web_services wiki workflows writing writting xmi xml years_later z— CiteULike: Everyone's library
1967 1969 1978 1981 1982 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 abstract accidental_complexity acme adl agents agg agile aircraft algebraic algebraic_specification alloy analysis animation annotated_bibliography annotations appendix ar asm aspects assertion association automata_based_programming automotive_systems b behavior behavioral_modeling behavior_inheritance best_practice bibliography bibtex-import biology bisimulation block_diagrams _book bounded_verification business_rules by_example calculus casestudy casl ccs checker checking chinese circus citation citeulike class classic classroom clustering code_generation codesign coding cognition col communication comparison compatibility completeness component composition computability concrete_syntax concurrency concurrent_systems confluence conformance connectors consistency constraint constraint_satisfaction constructionist contracts coordination corba cre csp cspz current_topics data_independence data_refinement datatypes deadlock decidable denotational derivation_of_precondition design_decisions design_patterns diagram diagram_interchange diagrams distributed distributed_systems domain_modeling dpo dynalloy early eclipse editor eha eiffel embedded_system emf empirical equational_calculus equivalence essays euler_diagram event-b event_processor events evolution evoting exception execution experiment fdr feature feature_models finite_model first-order folksonomy formal formal_derivation formal_methods formal_specification formal_specifications formal_verification frame_assertion frame_conditions framework free fsm fujaba functional gals games goals google grammars grand_challenge graph graphical graph_transformation _hardcoppy _hardcopy health_care heuristics hierarchy history history_mechanism history_of hoare hol hypertext idioms impact-factor inconsistency incremental incremental_development industry inheritance inspection instance_model internet_applications istar java java5 jcsp jdi jml kaos language laws layout lessons_learned library lightweight_formal_method literate_programming logics lts lyee_calculus macthing manifesto mapping _marcia maude mda mdd mde mechanized mechatronic_uml merging metamodel metamodelling meta-modelling methods metrics mobile model model_based_design model-based_testing model_checking model_comparison model_composition model_extension model_inconsistencies modeling_languages modeling_paradigm model_integration modelling model_matching model_merging model_quality model_refinement model_transformation model_typing model_verification mof mondex msc _msc msos mu-charts multi-formalism mutations nac negotiation network _no_doi no_doi nopdf _no_pdf object objects objectz occam ocl _off _on ontology oo ood oop open_questions open-source operational origins overview owl packaging_knowhow _paper_2 pattern_matching patterns performance petrinets physics pi-calculus pim pose practice pragmatics precise presentation priority process_algebra processes process_modelling product_lines programming program_transformation program_visualization promises proof proof_obligations protocol provers psm ptifalls pullback_grammar pvs qos qvt reactive_process reactive_systems realtime real_time reasoning recursion re-engineering refactoring refinement refinement_calculus refinements reo requirements research resources retractions reuse reverse reverse_engineering review _review rewriting rhapsody rll rml roadmap rules rule_transformation safe_message_passing safety sat scale-free second-order semantic semantic_cocomposition semantic_preservation semantics semantic_variation semi_formal seminal shared simulation slicing small_model soc socialnetwork software_architecture software_engineering software_evolution sos specification spin state-based_esting statecharts statechartsm stateflow statemate static_semantics statistical stepwise survey symbolic symbolic_execution synchronization synergy syntax system_evolution system_testing _talk taxonomy teaching temporal_logic test tests test_specification_generation tgg theorem_prover theory thesis _to_appear _to_download _to_download_acm _to_download_elsevier _to_download_springer _to_download_wiley tool tool_integration tools _to_print _to_review traceability traces transformation transformation_chain transition_coverage translation translator triple_graph_grammars tutorial type_systems typing uml uml20 umlrt unification unifying_theories utp validation vdm verification verified_software verilog video viewcharts viewpoint visual_cues visualization visual_languages weaving web web_applications web_services wiki workflows writing writting xmi xml years_later z— CiteULike: Everyone's library
If you'd like to prod us on getting a pronunciation for this word, sign in (or sign up) and let us know.
Bubble size: how much this word was used in a year
Bubble height: used more or less than expected, vs. all uses evenly distributed
We are still working on calculating this word's frequency.
Ninjawords
The Free Dictionary
Online Etymology Dictionary
OneLook
Bartleby All Books
Dictionary.com
Urban Dictionary
Wikipedia
Google Define
Amazon Book Search
Thesaurus.com
Forvo pronunciation
Word Navigator
Tags
Stats
