Search Results for Tools.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Transactions on Modularity and Composition I için kapak resmi

Transactions on Modularity and Composition I

Transactions on Modularity and Composition I

Yazar

Chiba, Shigeru. editor.

http://dx.doi.org/10.1007/978-3-319-46969-0

Format:

Electronic Resources

Alıntı:

paradigms and languages, development tools, measurement, novel verification and testing approaches

2.

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings için kapak resmi

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Yazar

Taentzer, Gabriele. editor.

http://dx.doi.org/10.1007/978-3-319-21151-0

Format:

Electronic Resources

Alıntı:

cloud-based Applications -- Empirical Evaluation of UML Modeling Tools- A Controlled Experiment -- Opening the

3.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings için kapak resmi

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor.

http://dx.doi.org/10.1007/978-3-662-44857-1

Format:

Electronic Resources

Alıntı:

Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and

4.

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Yazar

Lanese, Ivan. editor.

http://dx.doi.org/10.1007/978-3-319-15317-9

Format:

Electronic Resources

Alıntı:

Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing

5.

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings için kapak resmi

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

Yazar

Dingel, Juergen. editor.

http://dx.doi.org/10.1007/978-3-319-11653-2

Format:

Electronic Resources

Alıntı:

submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2