Modeling and Formal Specification Of Multi-scale Software Architectures
暂无分享,去创建一个
Khalil Drira | Ahmed Hadj Kacem | Ilhem Khlif | Mohamed Hadj Kacem | K. Drira | A. Kacem | M. Kacem | Ilhem Khlif
[1] Luciano Baresi,et al. Formal verification and validation of embedded systems: the UML-based MADES approach , 2015, Software & Systems Modeling.
[2] José M. Troya,et al. Compatibility and inheritance in software architectures , 2001, Sci. Comput. Program..
[3] Huibiao Zhu,et al. Formalizing hybrid systems with Event-B and the Rodin Platform , 2014, Sci. Comput. Program..
[4] John S. Fitzgerald,et al. SysML contracts for systems of systems , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).
[5] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[6] D. Esteve,et al. Methodology and tools for the design and verification of a smart management system for home comfort , 2008, 2008 4th International IEEE Conference Intelligent Systems.
[7] ZhuHuibiao,et al. Formalizing hybrid systems with Event-B and the Rodin Platform , 2014 .
[8] Michael Leuschel,et al. Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings , 2009, International Conference on Integrated Formal Methods.
[9] Leila Jemni Ben Ayed,et al. A Meta-model Transformation from UML Activity Diagrams to Event-B Models , 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.
[10] Plamen Petrov,et al. The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities , 2011, 2011 Ninth Working IEEE/IFIP Conference on Software Architecture.
[11] Flavio Oquendo,et al. Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings , 2005, EWSA.
[12] Bahram N. Uchevler,et al. Assertion based verification using PSL-like properties in Haskell , 2013, 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).