Julkaisuja vuodessa
Julkaisuja vuodessa
Hakutulokset
-
2016
The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL.
Iqbal, J., Tsiopoulos, L., Truscan, D., Jüri, V. & Porres Paltor, I., 2016, Turku Center of Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto7 Lataukset (Pure) -
2015
A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing
Siavashi, F. & Truscan, D., 2015, TUCS Turku Centre for Computer Science. (TUCS Technical Report; Vuosikerta 1129)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto28 Lataukset (Pure) -
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces
Iqbal, J., Truscan, D., Vain, J. & Porres Paltor, I., 2015, Turku Centre for Computer Science.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto9 Lataukset (Pure) -
2014
Tool Support for Automated Workload Model Creation from Web Server Logs
Abbors, F., Truscan, D. & Ahmad, T., 2014, Turku Center for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto10 Lataukset (Pure) -
2013
An Integrated Approach to Design and Validate REST Web Service Compositions
Rauf, I., Siavashi, F., Truscan, D. & Porres Paltor, I., 2013, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; nro 1097)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto5 Lataukset (Pure) -
Model-Based Performance Testing Using the MBPeT Tool
Ahmad, T., Abbors, F., Truscan, D. & Porres Paltor, I., 2013, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto11 Lataukset (Pure) -
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata
Nobakht, M. & Truscan, D., 2013, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
2009
A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool
Abbors, F., Pääjärvi, T., Teittinen, R., Truscan, D. & Lilius, J., 2009, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
2007
Testable specifications of NoTA-based modular embedded systems
Lilius, J., Lindqvist, J., Porres Paltor, I., Truscan, D., Eriksson, T., Latva-Aho, A. & Rakkola, J., 2007, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto9 Lataukset (Pure) -
2003
A MOF-Based Metamodel for SA/RT
Isaksson, J., Truscan, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto9 Lataukset (Pure) -
Realizing a Model Driven Engineering Process
Alanen, M., Lilius, J., Porres Paltor, I. & Truscan, D., 2003, Turku Centre for Computer Science (TUCS). 27 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto8 Lataukset (Pure) -
TACO IPv6 Router - a Case Study in Protocol Processor Design
Virtanen, S., Truscan, D. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS). 56 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto12 Lataukset (Pure) -
Tool Support for DFD to UML Model-Based Transformations
Truscan, D., Miguel Fernandes, J. & Lilius, J., 2003, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto13 Lataukset (Pure) -
UML-driven TTA-based protocol processor design
Lilius, J. & Truscan, D., 2003, Turku Centre for Computer Science (TUCS). 36 SivumääräTutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto11 Lataukset (Pure)