| |
Aktunc, Riza
|
QASBA '13: "Verification of Variable Service ..."
Verification of Variable Service Orchestrations using Model Checking
Selma Suloglu, Riza Aktunc, and Mustafa Yucefaydalı
(Middle East Technical University, Turkey; TÜBITAK Software Technologies Research Institute, Turkey)
@InProceedings{QASBA13p5,
author = {Selma Suloglu and Riza Aktunc and Mustafa Yucefaydalı},
title = {Verification of Variable Service Orchestrations using Model Checking},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2013},
}
|
| |
Alreshidi, Abdulrahman |
QASBA '13: "Towards a Quality Modelling ..."
Towards a Quality Modelling Language for Component-Based Systems (QML/CS)
Abdulrahman Alreshidi, Steffen Zschaler, and Peter McBurney
(King's College London, UK)
@InProceedings{QASBA13p1,
author = {Abdulrahman Alreshidi and Steffen Zschaler and Peter McBurney},
title = {Towards a Quality Modelling Language for Component-Based Systems (QML/CS)},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
|
| |
Jmaiel, Mohamed
|
QASBA '13: "Runtime Testing Framework ..."
Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems
Mariam Lahami, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p17,
author = {Mariam Lahami and Moez Krichen and Mohamed Jmaiel},
title = {Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2013},
}
QASBA '13: "Conformance Testing for Quality ..."
Conformance Testing for Quality Assurance of Clustering Architectures
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p9,
author = {Afef Jmal Maâlej and Zeineb Ben Makhlouf and Moez Krichen and Mohamed Jmaiel},
title = {Conformance Testing for Quality Assurance of Clustering Architectures},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2013},
}
|
| |
Krichen, Moez
|
QASBA '13: "Runtime Testing Framework ..."
Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems
Mariam Lahami, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p17,
author = {Mariam Lahami and Moez Krichen and Mohamed Jmaiel},
title = {Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2013},
}
QASBA '13: "Conformance Testing for Quality ..."
Conformance Testing for Quality Assurance of Clustering Architectures
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p9,
author = {Afef Jmal Maâlej and Zeineb Ben Makhlouf and Moez Krichen and Mohamed Jmaiel},
title = {Conformance Testing for Quality Assurance of Clustering Architectures},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2013},
}
|
| |
Lahami, Mariam
|
QASBA '13: "Runtime Testing Framework ..."
Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems
Mariam Lahami, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p17,
author = {Mariam Lahami and Moez Krichen and Mohamed Jmaiel},
title = {Runtime Testing Framework for Improving Quality in Dynamic Service-Based Systems},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2013},
}
|
| |
Maâlej, Afef Jmal
|
QASBA '13: "Conformance Testing for Quality ..."
Conformance Testing for Quality Assurance of Clustering Architectures
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p9,
author = {Afef Jmal Maâlej and Zeineb Ben Makhlouf and Moez Krichen and Mohamed Jmaiel},
title = {Conformance Testing for Quality Assurance of Clustering Architectures},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2013},
}
|
| |
Makhlouf, Zeineb Ben |
QASBA '13: "Conformance Testing for Quality ..."
Conformance Testing for Quality Assurance of Clustering Architectures
Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, and Mohamed Jmaiel
(University of Sfax, Tunisia)
@InProceedings{QASBA13p9,
author = {Afef Jmal Maâlej and Zeineb Ben Makhlouf and Moez Krichen and Mohamed Jmaiel},
title = {Conformance Testing for Quality Assurance of Clustering Architectures},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2013},
}
|
| |
McBurney, Peter |
QASBA '13: "Towards a Quality Modelling ..."
Towards a Quality Modelling Language for Component-Based Systems (QML/CS)
Abdulrahman Alreshidi, Steffen Zschaler, and Peter McBurney
(King's College London, UK)
@InProceedings{QASBA13p1,
author = {Abdulrahman Alreshidi and Steffen Zschaler and Peter McBurney},
title = {Towards a Quality Modelling Language for Component-Based Systems (QML/CS)},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
|
| |
Nakajima, Shin
|
QASBA '13: "Safe Substitution for Service-Based ..."
Safe Substitution for Service-Based Applications
Shin Nakajima
(NII, Japan)
@InProceedings{QASBA13p25,
author = {Shin Nakajima},
title = {Safe Substitution for Service-Based Applications},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2013},
}
|
| |
Suloglu, Selma
|
QASBA '13: "Verification of Variable Service ..."
Verification of Variable Service Orchestrations using Model Checking
Selma Suloglu, Riza Aktunc, and Mustafa Yucefaydalı
(Middle East Technical University, Turkey; TÜBITAK Software Technologies Research Institute, Turkey)
@InProceedings{QASBA13p5,
author = {Selma Suloglu and Riza Aktunc and Mustafa Yucefaydalı},
title = {Verification of Variable Service Orchestrations using Model Checking},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2013},
}
|
| |
Yucefaydalı, Mustafa
|
QASBA '13: "Verification of Variable Service ..."
Verification of Variable Service Orchestrations using Model Checking
Selma Suloglu, Riza Aktunc, and Mustafa Yucefaydalı
(Middle East Technical University, Turkey; TÜBITAK Software Technologies Research Institute, Turkey)
@InProceedings{QASBA13p5,
author = {Selma Suloglu and Riza Aktunc and Mustafa Yucefaydalı},
title = {Verification of Variable Service Orchestrations using Model Checking},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2013},
}
|
| |
Zschaler, Steffen
|
QASBA '13: "Towards a Quality Modelling ..."
Towards a Quality Modelling Language for Component-Based Systems (QML/CS)
Abdulrahman Alreshidi, Steffen Zschaler, and Peter McBurney
(King's College London, UK)
@InProceedings{QASBA13p1,
author = {Abdulrahman Alreshidi and Steffen Zschaler and Peter McBurney},
title = {Towards a Quality Modelling Language for Component-Based Systems (QML/CS)},
booktitle = {Proc.\ QASBA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
|