Mourad Maouche

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 3

Top Topics

Unified Modeling Language

Software Architecture

Functional Requirements

Top Venues

Informatica (Slovenia)

Software, Services, and Systems

Publications

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