leonardo's tags

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 methos 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 organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.