Zum Inhalt springen

Clavel, Manuel [Sonstige Person, Familie und Körperschaft]

All about Maude - a high-performance logical framework : how to specify, program, and verify systems in rewriting logic

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4350
Nguyen, Hoang Phuoc-Bao [Verfasser:in]; García-Domíguez, Antonio [Verfasser:in]; Clavel, Manuel [Verfasser:in]

The TTC 2021 OCL2PSQL case

Online ansehen
Schließen

Zugang

... zum Aufsatz (Volltext ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2020

Erschienen in: Transformation Tool Contest (13. : 2020 : Online): TTC 2020/2021: joint proceedings of the 13th and 14th Tool Transformation Contests ; 2020
Clavel, Manuel [Sonstige Person, Familie und Körperschaft]; Durán, Francisco [Sonstige Person, Familie und Körperschaft]; Eker, Steven [Sonstige Person, Familie und Körperschaft]; Lincoln, Patrick [Sonstige Person, Familie und Körperschaft]; Martí-Oliet, Narciso [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn L. [Sonstige Person, Familie und Körperschaft]

All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Erschienen in: Lecture notes in computer science ; 4350
Basin, David A. [Verfasser:in]; Clavel, Manuel [Verfasser:in]; Egea, Marina [Verfasser:in]; García de Dios, Miguel A. [Verfasser:in]; Dania, Carolina [Verfasser:in]; Ortiz, Gonzalo [Verfasser:in]; Valdazo, Javier [Verfasser:in]

Model-driven development of security-aware GUIs for data-centric applications

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, 2011
Clavel, Manuel; Clavel, Pablo

Occipital neuralgia secondary to exuberant callus formation : Case report : Case report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Journal of Neurosurgery Publishing Group (JNSPG), 1996

Erschienen in: Journal of Neurosurgery, 85 (1996) 6, Seite 1170-1171
Clavel, Manuel

Strategies and User Interfaces in Maude at Work

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2003

Erschienen in: Electronic Notes in Theoretical Computer Science, 86 (2003) 4, Seite 570-592
Clavel, Manuel

Reflection in General Logics, Rewriting Logic, and Maude

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1998

Erschienen in: Electronic Notes in Theoretical Computer Science, 15 (1998), Seite 71-82
CLAVEL, MANUEL

C2 Neurofibroma : A Case Report : A Case Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ovid Technologies (Wolters Kluwer Health), 1988

Erschienen in: Spine, 13 (1988) 5, Seite 589-591
García Clavel, Manuel

BARWISE, Jon; ETCHEMENDY, John: El Mundo de Tarski, Intellimation, Santa Barbara, 1990, 112 págs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universidad de Navarra, 2018

Erschienen in: Anuario Filosófico (2018), Seite 556-558
Dania, Carolina; Clavel, Manuel

Fundamental Approaches to Software Engineering: Model-Based Formal Reasoning about Data-Management Applications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2015

Erschienen in: Fundamental Approaches to Software Engineering (2015), Seite 218-232
Clavel, Manuel; Egea, Marina

Algebraic Methodology and Software Technology: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Algebraic Methodology and Software Technology (2006), Seite 368-373
Clavel, Manuel; Meseguer, José

Reflection in conditional rewriting logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Theoretical Computer Science, 285 (2002) 2, Seite 245-288
Escribano, Manuel Clavel

Calcified chronic subdural hematoma

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Surgical Neurology, 16 (1981) 4, Seite 299
Clavel, Manuel; Mes eguer, José

Reflection and Strategies in Rewriting Logic1 1Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1996

Erschienen in: Electronic Notes in Theoretical Computer Science, 4 (1996), Seite 126-148
Clavel, Daniel; Mahulea, Cristian; Silva, Manuel

On Liveness Enforcement of Distributed Petri Net Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Erschienen in: IEEE Transactions on Automatic Control, 68 (2023) 6, Seite 3776-3782
Bao, Hoang Nguyen Phuoc; Clavel, Manuel

A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2021

Erschienen in: SN Computer Science, 2 (2021) 5
Nguyễn, Phước Bảo Hoàng; Clavel, Manuel

Future Data and Security Engineering: A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Future Data and Security Engineering (2020), Seite 67-86
Phuoc Bao, Hoàng Nguyen; Clavel, Manuel

Model-based Characterization of fine-grained Access Control Authorization for SQL Queries

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

AITO - Association Internationale pour les Technologies Objets, 2020

Erschienen in: The Journal of Object Technology, 19 (2020) 3, Seite 3:1
Nguyen Phuoc Bao, Hoang; Clavel, Manuel

Future Data and Security Engineering: OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2019

Erschienen in: Future Data and Security Engineering (2019), Seite 185-203
Clavel, Manuel; Martí-Oliet, Narciso; Palomino, Miguel

Formal Modeling: Actors, Open Systems, Biological Systems: Parameterized Metareasoning in Membership Equational Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Formal Modeling: Actors, Open Systems, Biological Systems (2011), Seite 277-298

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr