Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
interaction transformation » interactions transformation, interactive transformations, extraction transformation
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
interaction transformation » interactions transformation, interactive transformations, extraction transformation
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
1
Được phát hành 2008
Mục lục:
“... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”lấy văn bản
Điện tử
eBook
2
Được phát hành 2014
Mục lục:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2013
Mục lục:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2010
Mục lục:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2005
Mục lục:
“... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2006
Mục lục:
“... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2010
Mục lục:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2007
Mục lục:
“...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2010
Mục lục:
“... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2007
Mục lục:
“... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2014
Mục lục:
“...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2005
Mục lục:
“... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2006
Mục lục:
“... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2013
Mục lục:
“... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2005
Mục lục:
“... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2005
Mục lục:
“... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2014
Mục lục:
“... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2015
Mục lục:
“... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”lấy văn bản
Điện tử
eBook