Informatik (15.755 Artikel)

This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised ...

Fundamental knowledge and basic experience - brought through practical examples

DE

Software testing in the cloud is a subject of high interest for advanced practitioners and academic researchers alike. For advanced practitioners, the issue of cloud computing and its impact on the...

Erstmalig werden in einem Buch Automatisierungspotentiale und Werkzeuge der Software-Entwicklung gemeinsam dargestellt. Begonnen wird mit einer Analyse der automatisierbaren Tätigkeiten im Software...

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 International Workshop on Numerical Software Verification, NSV 2021,...

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th Internation...

Visualizing the Structure, Behaviour, and Evolution of Software

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers to...

This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004. I...

This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems a...

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. T...

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain. It was org- ized by the Institute for Systems an...

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Software and Data Technologies, ICSOFT 2012, held in Rome, Italy, in July 2012. The 14 revised full ...