Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I