Title: Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proce, Author: David Eyers
Title: Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, Author: Tiziana Margaria
Title: Advances in Computers, Author: MS Zelkowitz Ph.D.
Title: Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, Author: Marten van Sinderen
Title: Outsourcing Software Development Offshore: Making It Work, Author: Tandy Gold
Title: System Analysis and Modeling: Theory and Practice: 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers, Author: Oystein Haugen
Title: Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings, Author: Davide Taibi
Title: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
Title: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, Author: Alexander Raschke
Title: Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers, Author: Nicolas Guelfi
Title: CSCW Requirements and Evaluation, Author: Peter Thomas
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
Title: Software Synthesis from Dataflow Graphs, Author: Shuvra S. Bhattacharyya
Title: Computing, Analytics and Networks: First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers, Author: Rajnish Sharma
Title: Certifiable Software Applications 1: Main Processes, Author: Jean-Louis Boulanger
Title: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Author: David Harel
Title: Prototyping-Oriented Software Development: Concepts and Tools, Author: Walter R. Bischofberger
Title: High Integrity Software, Author: Victor L. Winter
Title: Information Systems -- Creativity and Innovation in Small and Medium-Sized Enterprises: IFIP WG 8.2 International Conference, CreativeSME 2009, Guimaraes, Portugal, June 21-24, 2009, Proceedings, Author: Gurpreet Dhillon
Title: Advances in Learning Software Organizations: Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings, Author: Klaus-Dieter Althoff

Pagination Links