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 22  trong Tất cả tài nguyên

Kết quả 1 2 next page
Lọc theo: Cơ sở dữ liệu: HAL (CCSd) xóa Cơ sở dữ liệu: Springer (CrossRef) xóa Nhan đề tạp chí: Software & Systems Modeling xóa
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

A model-driven traceability framework for software product lines

Anquetil, Nicolas ; Kulesza, Uirá ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas ; Sousa, André

Software & Systems Modeling, 2010, Vol.9(4), pp.427-451 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-009-0120-9

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

A participative end-user modeling approach for business process requirements and improvement

Front, Agnès ; Rieu, Dominique ; Santorum, Marco ; Movahedian, Fatemeh

Software & Systems Modeling, 2017 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-015-0489-6

Toàn văn không 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

A unifying framework for homogeneous model composition

Kienzle, Jörg ; Mussbacher, Gunter ; Combemale, Benoit ; Deantoni, Julien

Software & Systems Modeling, 2019, Vol.18(5), pp.3005-3023 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-018-00707-8

Toàn văn sẵn có

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

Adapting transformations to metamodel changes via external transformation composition

Garcés, Kelly ; Vara, Juan ; Jouault, Frédéric ; Marcos, Esperanza

Software & Systems Modeling, 2014, Vol.13(2), pp.789-806 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-012-0297-1

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

Component-based verification using incremental design and invariants

Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie

Software & Systems Modeling, 2016, Vol.15(2), pp.427-451 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-014-0410-8

Toàn văn sẵn có

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

Contract-based modeling and verification of timed safety requirements within SysML

Dragomir, Iulia ; Ober, Iulian ; Percebois, Christian

Software & Systems Modeling, 2017, Vol.16(2), pp.587-624 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-015-0481-1

Toàn văn sẵn có

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

Corpus-based analysis of domain-specific languages

Tairas, Robert ; Cabot, Jordi

Software & Systems Modeling, 2015, Vol.14(2), pp.889-904 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-013-0352-6

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

Embedding domain-specific modelling languages in Maude specifications

Rusu, Vlad

Software & Systems Modeling, 2013, Vol.12(4), pp.847-869 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-012-0232-5

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

Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework

Cortes-Cornax, Mario ; Dupuy-Chessa, Sophie ; Rieu, Dominique ; Mandran, Nadine

Software & Systems Modeling, 2016, Vol.15(1), pp.219-255 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-014-0398-0

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

Extraction and evolution of architectural variability models in plugin-based systems

Acher, Mathieu ; Cleve, Anthony ; Collet, Philippe ; Merle, Philippe ; Duchien, Laurence ; Lahire, Philippe

Software & Systems Modeling, 2014, Vol.13(4), pp.1367-1394 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-013-0364-2

Toàn văn sẵn có

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

Generating relational database transactions from eb 3 attribute definitions

Gervais, Frédéric ; Frappier, Marc ; Laleau, Régine

Software & Systems Modeling, 2009, Vol.8(3), pp.423-445 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-008-0104-1

Toàn văn sẵn có

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

Mashup of metalanguages and its implementation in the Kermeta language workbench

Jézéquel, Jean-Marc ; Combemale, Benoit ; Barais, Olivier ; Monperrus, Martin ; Fouquet, François

Software & Systems Modeling, 2015, Vol.14(2), pp.905-920 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-013-0354-4

Toàn văn sẵn có

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

MDA Tool Components: a proposal for packaging know-how in model driven development

Bendraou, Reda ; Desfray, Philippe ; Gervais, Marie-Pierre ; Muller, Alexis

Software & Systems Modeling, 2008, Vol.7(3), pp.329-343 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-007-0058-8

Toàn văn sẵn có

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

Meta-environment and executable meta-language using smalltalk: an experience report

Ducasse, Stéphane ; Girba, Tudor ; Kuhn, Adrian ; Renggli, Lukas

Software & Systems Modeling, 2009, Vol.8(1), pp.5-19 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-008-0081-4

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

Model driven design and aspect weaving.(Report)

Jezequel, Jean - Marc

Software and Systems Modeling, May, 2008, Vol.7(2), p.209(10) [Tạp chí có phản biện]

ISSN: 1619-1366

Toàn văn sẵn có

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

Model-driven engineering of middleware-based ubiquitous services

Autili, Marco ; Caporuscio, Mauro ; Issarny, Valérie ; Berardinelli, Luca

Software & Systems Modeling, 2014, Vol.13(2), pp.481-511 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-013-0344-6

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

Platform independent Web application modeling and development with Netsilon

Muller, Pierre-Alain ; Studer, Philippe ; Fondement, Frédéric ; Bezivin, Jean

Software & Systems Modeling, 2005, Vol.4(4), pp.424-442 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-005-0091-4

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

Reusable model transformations

Sen, Sagar ; Moha, Naouel ; Mahé, Vincent ; Barais, Olivier ; Baudry, Benoit ; Jézéquel, Jean-Marc

Software & Systems Modeling, 2012, Vol.11(1), pp.111-125 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-010-0181-9

Toàn văn sẵn có

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

Rigorous design of cyber-physical systems

Bliudze, Simon ; Furic, Sébastien ; Sifakis, Joseph ; Viel, Antoine

Software & Systems Modeling, 2019, Vol.18(3), pp.1613-1636 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-017-0642-5

Toàn văn sẵn có

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

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Falcone, Yliès ; Jaber, Mohamad ; Nguyen, Thanh-Hung ; Bozga, Marius ; Bensalem, Saddek

Software & Systems Modeling, 2015, Vol.14(1), pp.173-199 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-013-0323-y

Toàn văn sẵn có

Phiên bản sẵn có

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

Kết quả 1 2 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.   

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2009  (3)
  2. 2009đến2011  (4)
  3. 2012đến2013  (3)
  4. 2014đến2016  (8)
  5. Sau 2016  (2)
  6. Lựa chọn khác open sub menu

Cơ sở dữ liệu 

  1. SpringerLink  (22)
  2. OneFile (GALE)  (16)
  3. arXiv  (1)
  4. Lựa chọn khác open sub menu

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