نتائج البحث

SoSyM Special Section on Software Engineering and Formal Methods.

• Authors : Cuellar, Jorge ; Zhiming Liu¹

• Source: Software & Systems Modeling. Mar2007, Vol. 6 Issue 1, p37-38. 2p.

تفاصيل العنوان

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

• Authors : Mendil, Ismail; Aït-Ameur, Yamine; Singh, Neeraj Kumar ...

Subjects: Domain knowledge; Ontologies; System engineeringBeijing; China

• Source: Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings ; 7th

تفاصيل العنوان

Introducing a multi-layered model-based design approach towards safety-security co-engineering

• Authors : Quamara, Megha; Pedroza, Gabriel; Hamid, Brahim ...

Subjects: safety; security; co-engineeringHainan Island; China

• Source: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)Electronic ISBN: 978-1-6654-7836-6IEEE 21st International Conference on Software

تفاصيل العنوان

On Two Characterizations of Feature Models

• Authors : Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca ...

Subjects: FORMAL METHODS; CONFIGURATION OPTIONS; CONFIGURATION SPACEMacau; China

• Source: Theoretical Aspects of Computing – ICTAC 2020. 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings ; Theoretical Aspects of

تفاصيل العنوان

Explicit modelling of physical measures: from Event-B to Java

• Authors : Gibson, John Paul; Méry, Dominique;

Subjects: Cyber-physical systems; Formal methods; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Xi’An; China

• Source: Proceedings IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development ; IMPEX 2017: 1st International Workshop on

تفاصيل العنوان

Defining Verifiability in e-Auction Protocols

• Authors : Dreier, Jannik; Jonker, Hugo; Lafourcade, Pascal ...

Subjects: Formal Methods; Protocol Analysis; VerifiabilityHangzhou; China

• Source: Asia Conference on Information, Computer and Communications Security ; https://hal.science/hal-01337416 ; Asia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou,

تفاصيل العنوان

A Specification and Validation Technique Based on STATEMATE and FNLOG

• Authors : Mosbahi, Olfa; Jemni Ben Ayed, Leila; Ben Ahmed, Samir ...

Subjects: Formal methods; Integration; Real-time SystemsShanghai; China

• Source: 4th International Conference on Formal Engineering Methods - ICFEM 2002https://inria.hal.science/inria-001021674th

تفاصيل العنوان

Formal Verification of Netlog Protocols

• Authors : Chen, Meixian; Monin, Jean-François;

Subjects: formal verification; Coq; distributed algorithmsBeijing; China

• Source: TASE ; https://inria.hal.science/hal-00733634 ; TASE, Jul 2012, Beijing, China

تفاصيل العنوان

Refinement and Proof Based Development of Systems Characterized by Continuous Functions

• Authors : Babin, Guillaume; Aït-Ameur, Yamine; Nakajima, Shin ...

Subjects: Continuous and discrete behaviors; Dense real numbers; Correct-by-constructionNanjing; China

• Source: Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings ; ISBN

تفاصيل العنوان

A Few Remarks About Formal Development of Secure Systems

• Authors : Jaeger, Eric; Hardin, Thérèse;

Subjects: Formal Methods; Security; ConfidenceNanjing; China

• Source: High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE ; High Assurance Systems Engineering Symposium ; https://hal.science/hal-00363346 ; High Assurance Systems Engineering

تفاصيل العنوان