On Automating Inference of OCL Constraints from Counterexamples and Examples

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	KSE (6. : 2014 : Hanoi) Knowledge and systems engineering
1. Verfasser:	Dang, Duc-Hanh (VerfasserIn)
Weitere Verfasser:	Cabot, Jordi (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2015
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Evidential Probabilities for Rough Set in a Case of Competitiveness	2015	Fujita, Hamido
Agent Communication and Belief Change	2015	Tojo, Satoshi
A Fast Method for Motif Discovery in Large Time Series Database under Dynamic Time Warping	2015	Truong, Cao Duy
A Priority-Based Flow Control Method for Multimedia Data in Multi-hop Wireless Ad hoc Networks	2015	Anh, Ngo Hai
Contingent Information: A Four-Valued Approach	2015	Akama, Seiki
Improving Text-Based Image Search with Textual and Visual Features Combination	2015	Vu, Xuan-Son
Fast K-Means Clustering for Very Large Datasets Based on MapReduce Combined with a New Cutting Method	2015	Hieu, Duong Van
Collaborative Filtering by Co-Training Method	2015	Quang, Tran Nhat
Predicting the Popularity of Social Curation	2015	Kieu, Binh Thanh
Human Action Recognition Using 2DPCA-DMM Representation and GA-SVM in Depth Sequences	2015	Viet, Vo Hoai
A Study of Feature Combination in Gesture Recognition with Kinect	2015	Pham, Ngoc-Quan
Formalising Concurrent UML State Machines Using Coloured Petri Nets	2015	Andre, Etienne
A Comparative Study of Classification-Based Machine Learning Methods for Novel Disease Gene Prediction	2015	Le, Duc-Hau
A New Approach to Multi-variable Fuzzy Forecasting Using Picture Fuzzy Clustering and Picture Fuzzy Rule Interpolation Method	2015	Thong, Pham Huy
Interval Analysis for Decision Aiding	2015	Inuiguchi, Masahiro
Natural Language Processing for Social Event Classification	2015	Nguyen, Duc-Duy
EasySearch: Finding Relevan Functions Based on API Documentation	2015	Tran, Dinh Huy
A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models	2015	Hanh, Le Thi My
Using Attribute Relationships for Person Re-Identification	2015	Nguyen, Ngoc-Bao
Cloud Detection Algorithm for LandSat 8 Image Using Multispectral Rules and Spatial Variability	2015	Man, Duc Chuc

Alle Artikel auflisten