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

Kết quả 1 2 3 4 5 next page
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

Feldspar: Application and Implementation

Axelsson, Emil ; Sheeran, Mary

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7241, pp.402-439 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743

Toàn văn sẵn có

2
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Automating Inductive Proofs using Theory Exploration

Lindström Claessen, Koen ; Rosén, Dan ; Johansson, Moa ; Smallbone, Nicholas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.7898, pp.392-406 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-642-38574-2_27

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Tip: Tools for inductive provers

Rosén, Dan ; Smallbone, Nicholas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9450, pp.219-232 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-662-48899-7_16

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Classification of Value for Software Architecture Decisions

Eklund, Ulrik ; Arts, Thomas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.6285, pp.368-375 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-642-15114-9_30

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Experiences with QuickCheck: testing the hard stuff and staying sane

Hughes, John

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9600, pp.169-186 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-30936-1_9

Toàn văn sẵn có

Phiên bản sẵn có
6
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Encoding Monomorphic and Polymorphic Types

Blanchette, Jasmin Christian ; Böhme, Sascha ; Popescu, Andrei ; Smallbone, Nicholas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.7795, pp.493-507 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-642-36742-7_34

Toàn văn sẵn có

Phiên bản sẵn có
7
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Foundations and Tools for End-User Architecting

Garlan, David ; Dwivedi, Vishal ; Ruchkin, Ivan ; Schmerl, Bradley; Schmerl, Bradley (pacrepositoryorg)

arXiv.org, Oct 17, 2012 [Tạp chí có phản biện]

DOI: 10.1007/978-3-642-34059-8_9

Toàn văn sẵn có

Phiên bản sẵn có
8
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Should We Adopt a New Version of a Standard? { A Method and its Evaluation on AUTOSAR

Corrado, Motta ; Durisic, Darko ; Staron, Miroslaw

Product Oriented Software Process Improvement - International Conference [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-49094-6_9

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Supporting verification-driven incremental distributed design of components

Menghi, Claudio ; Spoletini, P. ; Chechik, Marsha ; Ghezzi, Carlo

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.10802, pp.169-188 [Tạp chí có phản biện]

ISSN: 03029743 ; ISSN: 03029743 ; DOI: 10.1007/978-3-319-89363-1_10

Toàn văn sẵn có

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

State of the Practice in Software Effort Estimation: A Survey and Literature Review

Trendowicz, Adam ; Münch, Jürgen ; Jeffery, Ross

Software Engineering Techniques, Proceedings of the 3rd IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques (CEE-SET 2008), pages 232-245, 2008 [Tạp chí có phản biện]

Arxiv ID: 1401.5878

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

Modeling Language Variability

Grönninger, Hans ; Rumpe, Bernhard

Workshop on Modeling, Development and Verification of Adaptive Systems. 16th Monterey Workshop, Redmond, Microsoft Research, March 31-April 2, 2010. LNCS vol. 6662, pp. 17-32, Springer, 2011 [Tạp chí có phản biện]

Arxiv ID: 1409.6580

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

On the Distinction of Functional and Quality Requirements in Practice

Eckhardt, J. ; Vogelsang, A. ; Fernández, D. Méndez

Arxiv ID: 1611.08830

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

One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

Junges, Sebastian ; Katoen, Joost-Pieter ; Stoelinga, Marielle ; Volk, Matthias

Arxiv ID: 1803.05376

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

Contracts in Practice

Estler, H. -Christian ; Furia, Carlo A. ; Nordio, Martin ; Piccioni, Marco ; Meyer, Bertrand

Proceedings of the 19th International Symposium on Formal Methods (FM). Lecture Notes in Computer Science, 8442:230--246, Springer, May 2014 [Tạp chí có phản biện]

Arxiv ID: 1211.4775

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

Requirements and Assessment of Languages and Frameworks for Adaptation Models

Vogel, Thomas ; Giese, Holger

In: Models in Software Engineering, Workshops and Symposia at MoDELS 2011, Reports and Revised Selected Papers. Vol. 7167. LNCS. Springer, 2012, pp. 167-182. Revised version of https://doi.org/10.5281/zenodo.1248917 [Tạp chí có phản biện]

Arxiv ID: 1805.08679

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

Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control

Liggesmeyer, Peter ; Heidrich, Jens ; Münch, Jürgen ; Kalcklösch, Robert ; Barthel, Henning ; Zeckzer, Dirk

Arxiv ID: 1401.1906

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

Goal-Oriented Setup and Usage of Custom-Tailored Software Cockpits

Heidrich, Jens ; Münch, Jürgen

Product-Focused Software Process Improvement, volume 5089 of Lecture Notes in Computer Science, pages 4-18. Springer Berlin Heidelberg, 2008 [Tạp chí có phản biện]

Arxiv ID: 1401.5191

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

Scoping Software Process Models - Initial Concepts and Experience from Defining Space Standards

Armbrust, Ove ; Katahira, Masafumi ; Miyamoto, Yuko ; Münch, Jürgen ; Nakao, Haruka ; Ocampo, Alexis

Making Globally Distributed Software Development a Success Story, volume 5007 of Lecture Notes in Computer Science, pages 160-172. Springer Berlin Heidelberg, 2008 [Tạp chí có phản biện]

Arxiv ID: 1401.8072

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

Incrementally Introducing Process Model Rationale Support in an Organization

Ocampo, Alexis ; Münch, Jürgen ; Riddle, William E.

Arxiv ID: 1311.3026

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

The Role of Models and Megamodels at Runtime

Vogel, Thomas ; Seibel, Andreas ; Giese, Holger

In: Models in Software Engineering, Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers. Vol. 6627. LNCS. Springer, 2011, pp. 224-238. Revised version of https://doi.org/10.5281/zenodo.1248909 [Tạp chí có phản biện]

Arxiv ID: 1805.07396

Toàn văn sẵn có

Phiên bản sẵn có

Kết quả 1 - 20 của 540  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.   

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2002  (15)
  2. 2002đến2005  (8)
  3. 2006đến2010  (68)
  4. 2011đến2015  (333)
  5. Sau 2015  (98)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Kỷ yếu hội nghị  (400)
  2. Sách  (77)
  3. Bài báo  (63)
  4. Lựa chọn khác open sub menu

Phân loại theo LCC 

  1. Q - Science.  (68)
  2. T - Technology .  (18)
  3. Lựa chọn khác open sub menu

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