INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG

(Received: 18-Apr.-2020, Revised: 18-Jun.-2020 and 26-Jul.-2020 , Accepted: 24-Aug.-2020)

Raida Elmansouri,Said Meghzili,Allaoua Chaoui,Aissam Belghiat,Omar Hedjazi

#Model-driven engineering #TGG #Xpand #UML activity diagrams #Pi-calculus #Model transformation #Graph transformation #Software systems

Abstract

AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B

(Received: 11-Nov-2019, Revised: 31-Dec-2019 , Accepted: 3-Feb-2020)

Kheira-Zineb Bousmaha Ossoukine,Lamia Belguith Hadrich

#Arabic natural language processing #Information system #Information extraction #Formals’ specification #Event-B.

Abstract

(Received: 2018-02-04, Revised: 27-Mar.-2018 and 16-Apr.-2018 , Accepted: 2018-04-25)

Jamil Al-Azzeh

#Fault tolerance #Testability #Built-in self-test #Mutual inter-unit test #Majority operator #Mesh-connected VLSI multiprocessors

Abstract

(Received: 2017-12-14, Revised: 2018-02-13 , Accepted: 2018-02-28)

Durbadal Chattaraj,Monalisa Sarma,Debasis Samanta

#Key agreement #Authentication protocol #User privacy #Cloud data security #Privacy-preserving protocol.

Abstract