Search Results for - Narrowed by: Software engineering. - The Computing Profession.

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams

2024-05-29T14:19:44Z

by Roman, Adam. author.
https://doi.org/10.1007/978-3-319-98740-8
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-05-29T14:19:44Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-29T14:19:44Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-29T14:19:44Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-05-29T14:19:44Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

2024-05-29T14:19:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95165-2
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-05-29T14:19:44Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

2024-05-29T14:19:44Z

by Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219
https://doi.org/10.1007/978-3-030-00761-4
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

2024-05-29T14:19:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95168-3
Format: Electronic Resources

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2024-05-29T14:19:44Z

by Medina, Manel. editor.
https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-05-29T14:19:44Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-05-29T14:19:44Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-05-29T14:19:44Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-05-29T14:19:44Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-05-29T14:19:44Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

2024-05-29T14:19:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95162-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-05-29T14:19:44Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

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

2024-05-29T14:19:44Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-05-29T14:19:44Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Reliability Aspect of Cloud Computing Environment

2024-05-29T14:19:44Z

by Kumar, Vikas. author.
https://doi.org/10.1007/978-981-13-3023-0
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-05-29T14:19:44Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-05-29T14:19:44Z

by Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-29T14:19:44Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

2024-05-29T14:19:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95174-4
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-29T14:19:44Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-05-29T14:19:44Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2024-05-29T14:19:44Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-05-29T14:19:44Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2024-05-29T14:19:44Z

by Larrucea, Xabier. editor.
https://doi.org/10.1007/978-3-319-97925-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

2024-05-29T14:19:44Z

by Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95171-3
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-05-29T14:19:44Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-29T14:19:44Z

by Bogdan, Cristian. editor.
https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources