Twenty years of rewriting logic
J Meseguer - The Journal of Logic and Algebraic Programming, 2012 - Elsevier
Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …
computation and logical deduction with great generality. This paper provides a gentle …
[HTML][HTML] The rewriting logic semantics project: A progress report
J Meseguer, G Roşu - Information and Computation, 2013 - Elsevier
Rewriting logic is an executable logical framework well suited for the semantic definition of
languages. Any such framework has to be judged by its effectiveness to bridge the existing …
languages. Any such framework has to be judged by its effectiveness to bridge the existing …
Modeling UML template classes with FoCaLiZe
M Abbas, CB Ben-Yelles, R Rioboo - Integrated Formal Methods: 11th …, 2014 - Springer
UML is the defacto standard language to graphically describe systems in an object oriented
way. Once an application has been specified, Model Driven Architecture (MDA) techniques …
way. Once an application has been specified, Model Driven Architecture (MDA) techniques …
A maintainable and iterative development approach of critical systems with FoCaLiZe
The life-cycle development of critical systems follows mainly a V-cycle process overlapped
with proofs and/or verification techniques. At the first development stage, a critical system …
with proofs and/or verification techniques. At the first development stage, a critical system …
[PDF][PDF] Verification of Multi-Agent Systems Using AUML Methodology
S Mireslami - 2013 - prism.ucalgary.ca
Abstract Verification of Multi-Agent Systems (MAS) is vital since it results in reducing design
costs. Agent UML (AUML) is a methodology for MAS design that is an extension of Unified …
costs. Agent UML (AUML) is a methodology for MAS design that is an extension of Unified …
الحماية الجزائية للعقار في التشريع الجزائري
زايدي - 2021 - dspace.univ-tebessa.dz
إن الملكية عموما والملكية العقارية خصوصا باتت من أهم المسائل التي اهتمت بها التشريعات قديما
وحديثا، لما لها من وظيفة اجتماعية، حيث أصبحت ركيزة أساسية تعتمد عليها الدول في اقتصادياتها …
وحديثا، لما لها من وظيفة اجتماعية، حيث أصبحت ركيزة أساسية تعتمد عليها الدول في اقتصادياتها …
Génération d'une description Maude-Stratégie à partir d'unmodèle UCM
ML GASRI - 2017 - dspace.univ-tebessa.dz
L'ingénierie logicielle conduite par modèle est souvent constituée comme le prochain
niveau de développement de logiciel. Depuis aujourd'hui, il est rarement possible …
niveau de développement de logiciel. Depuis aujourd'hui, il est rarement possible …
Etude bio-écologique des hyménoptères (Apoïdae) de la région de Tébessa (Station Tébessa, Hammamet et Bir El Ater
B Hana, T Hanane - 2016 - dspace.univ-tebessa.dz
Cette étude menée au cours de l'année 2015-2016 dans trois localités de la wilaya de
Tébessa (Tébessa, Hammamet, Bir El Ater) nous a permi de mettre en évidence cinq …
Tébessa (Tébessa, Hammamet, Bir El Ater) nous a permi de mettre en évidence cinq …