Search Results for Tools.

346 sonuç bulundu

Tümünü Seç

1 .. 5 6 7 8 9 .. 29

000000000000DEFAULTTR

73.

Software Engineering Research, Management and Applications

Yazar

Lee, Roger. editor.

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

Format:

Electronic Resources

Alıntı:

results about all aspects (theory, applications and tools) of Software Engineering Research, Management

74.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor.

http://dx.doi.org/10.1007/978-3-319-14125-1

Format:

Electronic Resources

Alıntı:

, optimization, composition, security, reuse, applications and tools, component-based software development

75.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Yazar

Garrigue, Jacques. editor.

http://dx.doi.org/10.1007/978-3-319-12736-1

Format:

Electronic Resources

Alıntı:

; software security; concurrency and parallelism; as well as tools and environments for programming and

76.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

https://doi.org/10.1007/978-3-030-34968-4

Format:

Electronic Resources

Alıntı:

: from language design to verification and analysis techniques, to supporting tools and their integration

77.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

https://doi.org/10.1007/978-3-030-05807-4

Format:

Electronic Resources

Alıntı:

sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and

78.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862

https://doi.org/10.1007/978-3-030-30281-8

Format:

Electronic Resources

Alıntı:

-- Probabilistic Modelling and Abstraction -- Applications and Tools.

79.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

https://doi.org/10.1007/978-3-030-25636-4

Format:

Electronic Resources

Alıntı:

sections on Programming Languages and Execution Environments; Methods and Tools for Parallel Solution of

80.

Lectures on Runtime Verification Introductory and Advanced Topics

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-319-75632-5

Format:

Electronic Resources

Alıntı:

Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and

81.

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

https://doi.org/10.1007/978-3-319-99673-8

Format:

Electronic Resources

Alıntı:

sections on high performance architectures, tools and technologies; parallel numerical algorithms

82.

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

Yazar

Ciancarini, Paolo. editor.

https://doi.org/10.1007/978-3-319-70578-1

Format:

Electronic Resources

Alıntı:

, approaches, methods, and tools and their evaluation in the context of defence and security applications. In

83.

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

84.

Towards a Synergistic Combination of Research and Practice in Software Engineering

Yazar

Kosiuczenko, Piotr. editor.

https://doi.org/10.1007/978-3-319-65208-5

Format:

Electronic Resources

Alıntı:

, software complexity, testing and tools. In the second, it reports on test-driven development, processing of

Tümünü Seç

1 .. 5 6 7 8 9 .. 29

346 sonuç bulundu

	{displayName}	{count}
{error}