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
Lọc theo: Cơ sở dữ liệu: SpringerLink xóa Dạng tài nguyên: Bài báo xóa Cơ sở dữ liệu: HAL (CCSd) xóa Nhan đề tạp chí: Formal Aspects of Computing 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

Partial order semantics for use case and task models

Sinnig, Daniel ; Khendek, Ferhat ; Chalin, Patrice

Formal Aspects of Computing, 2011, Vol.23(3), pp.307-332 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-010-0158-z

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

The RISC ProofNavigator: a proving assistant for program verification in the classroom

Schreiner, Wolfgang

Formal Aspects of Computing, 2009, Vol.21(3), pp.277-291 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-008-0069-4

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

Frama-C: A software analysis perspective

Kirchner, Florent ; Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien ; Yakobowski, Boris

Formal Aspects of Computing, 2015, Vol.27(3), pp.573-609 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-014-0326-7

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

On theorem prover-based testing

Brucker, Achim ; Wolff, Burkhart

Formal Aspects of Computing, 2013, Vol.25(5), pp.683-721 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-012-0222-y

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

Physigrams: modelling devices for natural interaction

Dix, Alan ; Ghazali, Masitah ; Gill, Steve ; Hare, Joanna ; Ramduny-Ellis, Devina

Formal Aspects of Computing, 2009, Vol.21(6), pp.613-641 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-008-0099-y

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

Verification-guided modelling of salience and cognitive load

Rukšėnas, Rimvydas ; Back, Jonathan ; Curzon, Paul ; Blandford, Ann

Formal Aspects of Computing, 2009, Vol.21(6), pp.541-569 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-008-0102-7

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

FDR Explorer

Freitas, Leo ; Woodcock, Jim

Formal Aspects of Computing, 2009, Vol.21(1), pp.133-154 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-008-0074-7

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

From StPowla processes to SRML models

Bocchi, Laura ; Gorton, Stephen ; Reiff-Marganiec, Stephan

Formal Aspects of Computing, 2010, Vol.22(3), pp.243-268 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-009-0118-7

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

From a domain analysis to the specification and detection of code and design smells

Moha, Naouel ; Guéhéneuc, Yann-Gaël ; Meur, Anne-Françoise ; Duchien, Laurence ; Tiberghien, Alban

Formal Aspects of Computing, 2010, Vol.22(3), pp.345-361 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-009-0115-x

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

Practice-oriented courses in formal methods using VDM ++

Larsen, Peter ; Fitzgerald, John ; Riddle, Steve

Formal Aspects of Computing, 2009, Vol.21(3), pp.245-257 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-008-0068-5

Toàn văn sẵn có

Phiên bản sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

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

  1.   

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