Mourad Maouche

15 papers B 2C 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Towards an Ontological-based CIM Modeling Framework for IoT Applications.
Informatica (Slovenia)
Mohamed Bettaz, Mourad Maouche
2023 — conf
Towards a New Ontology-Based Descriptive Language: OntoObject-Z.
IC3I
Mohamed Bettaz, Mourad Maouche
2019 J jnl
TOWARDS A UML PROFILE FOR THE SIMULATION DOMAIN.
Informatica (Slovenia)
Mourad Maouche, Mohamed Bettaz
2017 J jnl
Software Architectures Evolution based Merging.
Informatica (Slovenia)
Zine-Eddine Bouras, Mourad Maouche
2015 — conf
An Institution for Object-Z with Inheritance and Polymorphism.
Software, Services, and Systems
Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi
2015 J jnl
Merging software architectures with conflicts detections.
Int. J. Inf. Syst. Chang. Manag.
Zine-Eddine Bouras, Mourad Maouche
2014 — conf
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.
ICIST
Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem
2013 J jnl
Towards an institution for Object-Z specifications.
Int. J. Comput. Appl. Technol.
Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi
2005 J jnl
Towards Mobile Z Schemas.
Int. J. Comput. Sci. Appl.
Mohamed Bettaz, Mourad Maouche
1996 — conf
Formal Specification of Communication Protocols with Object-Based ECATNets.
EUROMICRO
Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui
1995 B conf
Modelling of Object Based Systems with Hidden Sorted ECATNets.
MASCOTS
Mohamed Bettaz, Mourad Maouche
1994 J jnl
On reusing ATNet modules in protocol specification.
J. Syst. Softw.
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
1993 B conf
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study.
MASCOTS
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
1992 C conf
Using ECATNets for Specifying Communication Software in the OSI Framework.
ICCI
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
1991 — conf
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.
COMPASS/ADT
Mohamed Bettaz, Mourad Maouche