| RIS BibTeX |
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 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 business_rules by_example calculus casl ccs checker chinese circus citation citeulike class classic classroom clustering code_generation codesign coding cognition col communication comparison compatibility completeness component composition concrete_syntax concurrency concurrent_systems consistency constraint constraint_satisfaction contracts coordination corba cre csp cspz current_topics data_refinement datatypes deadlock denotational derivation_of_precondition design_patterns diagram_interchange diagrams distributed distributed_systems domain_modeling eclipse editor eha eiffel embedded_system emf empirical equivalence essays euler_diagram event_processor events evolution evoting exception execution experiment fdr feature feature_models finite_model 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 _hardcopy health_care heuristics hierarchy history history_mechanism history_of hol hypertext idioms inconsistency incremental industry inheritance inspection instance_model internet_applications istar java java5 jcsp jdi jml language laws layout lessons_learned library lightweight_formal_method logics lts lyee_calculus macthing manifesto mapping _marcia maude mda mdd mde mechanized mechatronic_uml merging metamodel metamodelling meta-modelling 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_merging model_quality model_refinement model_transformation model_typing model_verification mof mondex msc _msc msos mu-charts mutations negotiation network _no_doi nopdf _no_pdf object objectz occam ocl 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 pvs qos qvt reactive_process reactive_systems realtime real_time recursion re-engineering refactoring refinement refinement_calculus requirements retractions reuse reverse_engineering review _review rewriting rhapsody rll rml roadmap rules safe_message_passing safety sat scale-free second-order semantic semantic_cocomposition semantic_preservation semantics semantic_variation semi_formal seminal simulation slicing soc socialnetwork software_architecture software_engineering software_evolution sos specification spin state-based_esting statecharts statechartsm stateflow statemate static_semantics statistical stepwise survey 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 visual_cues visualization visual_languages web web_applications web_services wiki workflows writing xmi xml years_later z