Un langage de contexte de preuve pour la validation formelle de modèles logiciels
暂无分享,去创建一个
[1] Ketil Stølen,et al. STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.
[2] Jean-Marc Jézéquel,et al. Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.
[3] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[4] Jean-Charles Roger,et al. Exploitation de contextes et d'observateurs pour la validation formelle de modèles , 2006 .
[5] Iulian Ober,et al. Validating timed UML models by simulation and verification , 2006, International Journal on Software Tools for Technology Transfer.
[6] Radu Mateescu,et al. Model Checking for Managers , 1999, SPIN.
[7] Jozef Hooman,et al. Supporting UML-based development of embedded systems by formal techniques , 2008, Software & Systems Modeling.
[8] Frédéric Boniol,et al. Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués , 2007, Ingénierie des Systèmes d Inf..
[9] Marius Bozga,et al. IF-2.0: A Validation Environment for Component-Based Real-Time Systems , 2002, CAV.
[10] Nicolas Halbwachs,et al. Synchronous Observers and the Verification of Reactive Systems , 1993, AMAST.
[11] George S. Avrunin,et al. PROPEL: an approach supporting property elucidation , 2002, ICSE '02.
[12] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[13] Jon Whittle. Specifying Precise Use Cases with Use Case Charts , 2005, MoDELS Satellite Events.
[14] Xavier Blanc,et al. Environnement de développement support à l'ingénierie logicielle guidée par les modèles , 2006 .