|
Home
News
Citegeist
|
Browse Groups
Search Groups
Journals
|
FAQs
Howto
Discussion
|
 |
 CiteULike |
 |
 CiteULike |
|
 |
From UML sequence diagrams and statecharts to analysable petri net modelsIn WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 35-45.
|
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users Find related articles with these CiteULike tags
Posting HistoryNEW BibTeX record RIS record1769 1967 1969 1971 1973 1975 1978 1979 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 aadl abstract abstraction accidental_complexity acme ada adaptive_logics adl agents agg agile aircraft algebraic algebraic_specification alloy analysis animation annotated_bibliography annotations appendix asm aspects assertion association atl automata_based_programming automation automotive_systems avionics axiomatic b behavior behavioral_modeling behavior_inheritance behaviour_preservation best_practice bibliography bibtex-import biderectional biology bisimulation block_diagrams _book bounded_verification bpel 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 compaison comparison compatibility completeness component composition computability concrete_syntax concurrency concurrent concurrent_systems _conference confluence conformance connectors consistency constraint constraints constraint_satisfaction constructionist continuous contracts control_conditions coordination corba cre cryptography csp cspz current_topics data_abstraction database data_independence data_refinement datatypes deadlock debugging decidable denotational dependable_systems derivation_of_precondition design_decisions design_patterns diagram diagram_interchange diagrams distributed distributed_systems domain_modeling dpo dynalloy early eclipse editor efsm eha eiffel embedded_system emf empirical end-user epsilion equational_calculus equivalence essays esterel euler_diagram event-b _event_mise event_processor events evolution evoting exception execution experiment fdr feature feature_models file-import-08-11-22 finite_model first-order _folder_1 _folder_2 _folder_3 folksonomy formal formal_derivation formal_methods formal_specification formal_verification frame_assertion frame_conditions framework free fsm fujaba functional fuzzy gals games gap goals google grammars grand_challenge graph graph_grammar graphical graph_transformation grouping _hardcopy health_care heuristics hierarchy history history_of hoare hol hypertext idioms impact-factor imsos inconsistency incremental industry inheritance inspection instance_model internet_applications interview istar java java5 jcsp jdi jml kaos language large_scale laws layout lessons_learned library lightweight_formal_method literate_programming logics lotos lsc lts lyee_calculus macthing manifesto mapping maraton _marcia maude mda mdd mde mechanized mechatronic_uml merging metamodel metamodelling methods metrics _mise2009 _missing mobile model model-based 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_tranformation model_transformation model_typing model_verification modularization mof mondex msc _msc msos mu-charts multi-formalism mutations nac negotiation network _no_doi nopdf _no_pdf object objects objectz object-z occam ocl _off omt _on ontology oo ood oop open_questions open-source operational origins overview owl packaging_knowhow _paper_2 pascal pattern_matching patterns _pdf performance petrinets physics pi-calculus pim pose practice pragmatics precise presentation pre-uml priority problems process_algebra processes process_modelling product_lines programming program_transformation program_visualization promises proof proof_assistant proof_obligations protocol provers psm ptifalls publishing pullback_grammar pvs qos quality qvt reactive_process reactive_systems realtime reasoning recursion reduction re-engineering reentrant refactoring reference_model refinement refinement_calculus relational reo requirement requirements research resources rest retractions reuse reverse reverse_engineering review _review rewriting rhapsody rll rml roadmap rules rule_transformation safe_message_passing safety sat scale-free scenarios second-order semantic_cocomposition semantic_preservation semantics semantic_variation semi_formal seminal separation_logic shared simulation slicing small_model soc socialnetwork software software_architecture software_engineering software_evolution sos sottware_architecture specification spin state-based_esting statecharts stateflow statemate static_semantics statistical stepwise structural subtyping survey symbolic symbolic_execution synchronization synergy syntax systemc system_evolution system_testing _talk taxonomy teaching temporal_logic test_case_generation testing tests test_specification_generation tgg theorem_prover theory thesis _to_appear _to_download _to_download_acm _to_download_elsevier _to_download_ieee _to_download_springer _to_download_taylor _to_download_wiley tool tool_integration tools _to_print _to_review traceability traces transformation transformation_chain transformation_language transformations transition_coverage translation translator triple_graph_grammars tutorial typed_attributed type_systems typing uml uml20 umlrt understandability unification unifying_theories use_cases utp validation variability vdm verification verified_software verilog video viewcharts viewpoint visual_cues visualization visual_languages weaving web web_applications web_services what_is wiki wireless workflows writing xmi xml years_later z