Mourad Maouche

According to our database, Mourad Maouche authored at least 14 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Towards a New Ontology-Based Descriptive Language: OntoObject-Z.

Mohamed Bettaz, Mourad Maouche

Proceedings of the 6th International Conference on Contemporary Computing and Informatics, 2023

2019

TOWARDS A UML PROFILE FOR THE SIMULATION DOMAIN.

Mourad Maouche, Mohamed Bettaz

Informatica (Slovenia), 2019

2017

Software Architectures Evolution based Merging.

Zine-Eddine Bouras, Mourad Maouche

Informatica (Slovenia), 2017

2015

Merging software architectures with conflicts detections.

Zine-Eddine Bouras, Mourad Maouche

Int. J. Inf. Syst. Chang. Manag., 2015

An Institution for Object-Z with Inheritance and Polymorphism.

Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi

Proceedings of the Software, 2015

2014

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.

Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

2013

Towards an institution for Object-Z specifications.

Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi

Int. J. Comput. Appl. Technol., 2013

2005

Towards Mobile Z Schemas.

Mohamed Bettaz, Mourad Maouche

Int. J. Comput. Sci. Appl., 2005

1996

Formal Specification of Communication Protocols with Object-Based ECATNets.

Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Modelling of Object Based Systems with Hidden Sorted ECATNets.

Mohamed Bettaz, Mourad Maouche

Proceedings of the MASCOTS '95, 1995

1994

On reusing ATNet modules in protocol specification.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

J. Syst. Softw., 1994

1993

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

Proceedings of the MASCOTS '93, 1993

1992

Using ECATNets for Specifying Communication Software in the OSI Framework.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

Proceedings of the Computing and Information, 1992

1991

How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.

Mohamed Bettaz, Mourad Maouche

Proceedings of the Recent Trends in Data Type Specification, 1991