Model-Driven assessment of use cases for dependable systems
暂无分享,去创建一个
Jörg Kienzle | Hans Vangheluwe | Sadaf Mustafiz | Ximeng Sun | H. Vangheluwe | Sadaf Mustafiz | J. Kienzle | Ximeng Sun
[1] Joost-Pieter Katoen,et al. A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .
[2] Joost-Pieter Katoen,et al. A Probabilistic Extension of UML Statecharts , 2002, FTRTFT.
[3] Craig Larman,et al. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process , 2001 .
[4] David Harel,et al. On visual formalisms , 1988, CACM.
[5] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[6] Kishor S. Trivedi,et al. Analysis of Typical Fault-Tolerant Architectures using HARP , 1987, IEEE Transactions on Reliability.
[7] Hermann Kopetz,et al. Dependability: Basic Concepts and Terminology , 1992 .
[8] Mario Dal Cin,et al. Quantitative Analysis of UML Statechart Models of Dependable Systems , 2002, Comput. J..
[9] Brian Randell,et al. Fundamental Concepts of Dependability , 2000 .
[10] Juan de Lara,et al. Defining visual notations and their manipulation through meta-modelling and graph transformation , 2004, J. Vis. Lang. Comput..
[11] John Gannon,et al. State-based model checking of event-driven system requirements , 1991, SIGSOFT '91.
[12] Nandamudi Lankalapalli Vijaykumar,et al. Introducing probabilities in Statecharts to specify reactive systems for performance analysis , 2006, Comput. Oper. Res..
[13] Juan de Lara,et al. Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts , 2002, ICGT.
[14] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.
[15] Jörg Kienzle,et al. Exceptional use cases , 2005, MoDELS'05.
[16] Holger Hermanns,et al. QoS modelling and analysis with UML-statecharts: the StoCharts approach , 2005, PERV.
[17] Philip Heidelberger,et al. Modeling and analysis of system dependability using the System Availability Estimator , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.
[18] Juan de Lara,et al. Modelling and analysis of traffic networks based on graph transformation , 2005 .
[19] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[20] Huining Feng. DCHARTS, A FORMALISM FOR MODELING AND SIMULATION BASED DESIGN OF REACTIVE SOFTWARE SYSTEMS , 2004 .
[21] Jean-Claude Geffroy,et al. Design of Dependable Computing Systems , 2002, Springer Netherlands.
[22] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.