Régine Laleau - Publications, H-index & Citations | 科言猫

未登录

返回

R

Régine Laleau

universite paris-est-creteil-val-de-marne (upec)

17H指数

151论文数

894被引数

收录论文 4

发表时间

A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2017-12-01

1

PREAI

Mammar, Amel; Nguyen, Thi Mai; Laleau, Regine

分享

收藏

Using formal metamodels to check consistency of functional views in information systems specification

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2008-06-01

9

OAAI

Laleau, Regine; Polack, Fiona

分享

收藏

From a B formal specification to an executable code: application to the relational database domain

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2006-04-01

19

PREAI

Mammar, A; Laleau, R

分享

收藏

Specification of integrity-preserving operations in information systems by using a formal UML-based language 使用基于UML的形式化语言规范信息系统中的完整性保持操作

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2001-11-01

12

PREAI

Laleau, R; Polack, F

分享

收藏