Search Results for Tools.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

https://doi.org/10.1007/978-3-030-02768-1

Format:

Electronic Resources

Alıntı:

named: types; program analysis; tools; functional programs and probabilistic programs; verification

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Yazar

Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660

https://doi.org/10.1007/978-3-319-56856-0

Format:

Electronic Resources

Alıntı:

product lines; variability management and model variants; verification and refactoring for reuse; tools

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319

https://doi.org/10.1007/978-3-319-93317-7

Format:

Electronic Resources

Alıntı:

include research, application, and tool demonstration papers presented in the context of four sessions on

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-319-56841-6

Format:

Electronic Resources

Alıntı:

industrial engineers who are interested in the theory and practice of methods and tools for the design and

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-030-02928-9

Format:

Electronic Resources

Alıntı:

, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor.

https://doi.org/10.1007/978-3-319-94135-6

Format:

Electronic Resources

Alıntı:

-- Genomic Tools*: Web-applications based on Conceptual Models for the Genomic Diagnosis -- Technological

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}