Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 2014 2019

  • 13 Citations
  • 2 h-Index
  • 5 Article dans les actes d'une conférence/un colloque
  • 4 Article
  • 1 Chapitre (revu par des pairs)
Filtre
Article dans les actes d'une conférence/un colloque
2019

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
2017

Formal analysis of object-oriented mograms

Amrani, M. & Schobbens, P. Y., 18 juin 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language

Towards User-centric DSLs to Manage IoT Systems

Amrani, M., Gilson, F., Debieche, A. & Englebert, V., févr. 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Selic, B. & Hammoudi, S. (eds.). Porto (Portugal), Vol 2017-January. p. 569-576 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes
2016
46 Downloads (Pure)

A Model-Driven Engineering Approach for the Well-Being of Ageing People

Koshima, A., Englebert, V., Amrani, M., Debieche, A. & Wakjira, A., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Springer, p. 21-29

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Application programming interfaces (API)
Aging of materials
Health care
Concretes
Specifications

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y., 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Modeling languages
Product development
Software engineering
Automation
Productivity