skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 91  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Modeling a landing gear system in Event-B.(Report)

Mammar, Amel ; Laleau, Regine

International Journal on Software Tools for Technology Transfer (STTT), 2017, Vol.19(2), p.167(20) [Tạp chí có phản biện]

ISSN: 1433-2779 ; DOI: 10.1007/s10009-015-0391-0

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Refinement patterns for ASTDs

Frappier, Marc ; Gervais, Frédéric ; Laleau, Régine ; Milhau, Jérémy

Formal Aspects of Computing, 2014, Vol.26(5), pp.919-941 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-013-0286-3

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

SysML/KAOS Domain Models and B System Specifications

Frappier, Marc ; Mammar, Amel ; Laleau, Régine; Laleau, Régine (pacrepositoryorg)

arXiv.org, Jun 28, 2018

Toàn văn sẵn có

4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

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

Mammar, Amel ; Nguyen, Thi Mai ; Laleau, Régine

Information and Software Technology, December 2017, Vol.92, pp.158-178 [Tạp chí có phản biện]

ISSN: 0950-5849 ; E-ISSN: 1873-6025 ; DOI: 10.1016/j.infsof.2017.08.001

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Introduction

Grau, Brigitte ; Laleau, Régine ; Ramel, Jean-Yves

Document numérique, 01 September 2011, Issue 2, pp.7-10 [Tạp chí có phản biện]

ISSN: 1279-5127 ; E-ISSN: 1963-1014

Toàn văn sẵn có

6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Introduction

Grau, Brigitte ; Laleau, Régine ; Ramel, Jean-Yves

Document numérique, 2011, Vol.14(2), pp.7-10 [Tạp chí có phản biện]

ISSN: 1279-5127 ; E-ISSN: 1963-1014 ; ISBN: 9782746238519

Toàn văn sẵn có

7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling

Ahmad, Manzoor ; Bruel, Jean-Michel ; Laleau, Régine ; Gnaho, Christophe

Procedia Computer Science, 2012, Vol.10, pp.474-481 [Tạp chí có phản biện]

ISSN: 1877-0509 ; E-ISSN: 1877-0509 ; DOI: 10.1016/j.procs.2012.06.061

Toàn văn sẵn có

Phiên bản sẵn có
8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A first attempt to combine SysML requirements diagrams and B

Laleau, Régine ; Semmak, Farida ; Matoussi, Abderrahman ; Petit, Dorian ; Hammad, Ahmed ; Tatibouet, Bruno

Innovations in Systems and Software Engineering, 2010, Vol.6(1), pp.47-54 [Tạp chí có phản biện]

ISSN: 1614-5046 ; E-ISSN: 1614-5054 ; DOI: 10.1007/s11334-009-0119-y

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Frappier, Marc ; Glässer, Uwe ; Khurshid, Sarfraz ; Laleau, Régine ; Reeves, Steve

Science of Computer Programming, 01 March 2013, Vol.78(3), pp.270-271 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2011.03.004

Toàn văn sẵn có

Phiên bản sẵn có
10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The SysML/KAOS Domain Modeling Approach

Tueno, Steve ; Laleau, Régine ; Mammar, Amel ; Frappier, Marc

Arxiv ID: 1710.00903

Toàn văn sẵn có

11
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD): Preface
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD): Preface

Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, Elena

Electronic Proceedings in Theoretical Computer Science, 5/12/2018, Vol.271

E-ISSN: 2075-2180 ; DOI: http://dx.doi.org/10.4204/EPTCS.271.0

Toàn văn sẵn có

12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The SysML/KAOS Domain Modeling Approach

Tueno, Steve ; Laleau, Régine ; Mammar, Amel ; Frappier, Marc; Frappier, Marc (pacrepositoryorg)

arXiv.org, Oct 2, 2017

Toàn văn sẵn có

13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal Representation of SysML/KAOS Domain Model (Complete Version)

Tueno, Steve ; Laleau, Régine ; Mammar, Amel ; Frappier, Marc; Frappier, Marc (pacrepositoryorg)

arXiv.org, Dec 20, 2017

Toàn văn sẵn có

14
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal refinement of extended state machines

Fayolle, Thomas ; Frappier, Marc ; Laleau, Régine ; Gervais, Frédéric; Gervais, Frédéric (pacrepositoryorg)

arXiv.org, Jun 7, 2016

DOI: 10.4204/EPTCS.209.1

Toàn văn sẵn có

Phiên bản sẵn có
15
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal Representation of SysML/KAOS Domain Model (Complete Version)

Tueno, Steve ; Laleau, Régine ; Mammar, Amel ; Frappier, Marc

Arxiv ID: 1712.07406

Toàn văn sẵn có

16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, Elena; Troubitsyna, Elena (pacrepositoryorg)

arXiv.org, May 12, 2018

DOI: 10.4204/EPTCS.271

Toàn văn sẵn có

Phiên bản sẵn có
17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Combining UML, ASTD and B for the formal specification of an access control filter

Milhau, Jeremy ; Idani, Akram ; Laleau, Régine ; Labiadh, Mohamed-Amine ; Ledru, Yves ; Frappier, M

Innovations in Systems and Software Engineering, 01 December 2011, Vol.7(4), pp.303-313 [Tạp chí có phản biện]

ISSN: 1614-5046 ; E-ISSN: 1614-5054 ; DOI: 10.1007/s11334-011-0166-z

Toàn văn sẵn có

Phiên bản sẵn có
18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

SysML/KAOS Domain Models and B System Specifications

Fotso, Steve Jeffrey Tueno ; Frappier, Marc ; Mammar, Amel ; Laleau, Régine

Arxiv ID: 1803.01972

Toàn văn sẵn có

19
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The Generic SysML/KAOS Domain Metamodel

Fotso, Steve Jeffrey Tueno ; Frappier, Marc ; Laleau, Régine ; Mammar, Amel ; Barradas, Hector Ruiz

Arxiv ID: 1811.04732

Toàn văn sẵn có

20
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A first attempt to combine SysML requirements diagrams and B

Laleau, Régine ; Semmak, Farida ; Matoussi, Abderrahman ; Petit, Dorian ; Hammad, Ahmed ; Tatibouët, Bruno

Innovations in Systems and Software Engineering, 2010, Vol.1-2(6), pp.47--54 [Tạp chí có phản biện]

ISSN: 1614-5046 ; E-ISSN: 1614-5054 ; DOI: 10.1007/s11334--009-0119-y

Toàn văn sẵn có

Kết quả 1 - 20 của 91  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (23)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2006  (6)
  2. 2006đến2009  (13)
  3. 2010đến2012  (57)
  4. 2013đến2017  (9)
  5. Sau 2017  (6)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (83)
  2. French  (2)
  3. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...