Chưa được phân loại

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

admin

Tháng Năm 15

Thông tư 23

Xem thêm

A Parameterized Unit Test Framework Based on Symbolic Java PathFinder

A Parameterized Unit Test Framework Based on Symbolic Java PathFinder

admin

Tháng Năm 15

Thông tư 23

Xem thêm

Verifying Implementation of UML Sequence Diagrams Using Java PathFinder

Verifying Implementation of UML Sequence Diagrams Using Java PathFinder

admin

Tháng Năm 15

Thông tư 23

Xem thêm

Computing heap space cost of Java Card applets

Computing heap space cost of Java Card applets

admin

Tháng Năm 15

Thông tư 23

Xem thêm

Checking Interface Interaction Protocols Using Aspect-Oriented Programming

Checking Interface Interaction Protocols Using Aspect-Oriented Programming

admin

Tháng Năm 15

Thông tư 23

Xem thêm

FIXBAG: a fixpoint calculator for quantified bag constraints

FIXBAG: a fixpoint calculator for quantified bag constraints

admin

Tháng Năm 15

Thông tư 23

Xem thêm

From Graph Transformation to OCL Using USE

From Graph Transformation to OCL Using USE

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Implementing Advanced RBAC Administration Functionality with USE *

Implementing Advanced RBAC Administration Functionality with USE *

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Checking the Conformance between Models Based on Scenario Synchronization

Checking the Conformance between Models Based on Scenario Synchronization

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Applications of Graph Transformations with Industrial Relevance

Applications of Graph Transformations with Industrial Relevance

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Triple Graph Grammars and OCL for Validating System Behavior

Triple Graph Grammars and OCL for Validating System Behavior

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Models in Software Engineering

Models in Software Engineering

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Precise Model-Driven Transformations Based on Graphs and Metamodels

Precise Model-Driven Transformations Based on Graphs and Metamodels

admin

Tháng Năm 14

Thông tư 23

Xem thêm

On scenario synchronization

On scenario synchronization

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Dynamically reconfiguration architecture for embedded systems using Kaffe

Dynamically reconfiguration architecture for embedded systems using Kaffe

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

admin

Tháng Năm 14

Thông tư 23

Xem thêm

An effective framework for assume-guarantee verification of evolving component-based software

An effective framework for assume-guarantee verification of evolving component-based software

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

admin

Tháng Năm 14

Thông tư 23

Xem thêm

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Transformation Rule Learning without Rule Templates: A Case Study in Part of Speech Tagging

Transformation Rule Learning without Rule Templates: A Case Study in Part of Speech Tagging

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Real-time garbage collection for Java microprocessor

Real-time garbage collection for Java microprocessor

admin

Tháng Năm 14

Thông tư 23

Xem thêm

Checking Interface Interaction Protocols Using Aspect-Oriented Programming

Checking Interface Interaction Protocols Using Aspect-Oriented Programming

admin

Tháng Năm 14

Thông tư 23

Xem thêm

A Large-scale Knowledge Base for Measuring Semantic Similarity between Words

A Large-scale Knowledge Base for Measuring Semantic Similarity between Words

admin

Tháng Năm 14

Thông tư 23

Xem thêm

© VNU-UET-Faculty of Information Technology. All rights reserved.