Tags
Language
Tags
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
https://canv.ai/
The picture is generated by canv.ai

We are excited to announce that Canv.ai now features a built-in translator, allowing you to communicate in your native language. You can write prompts in your language, and they will be automatically translated into English, facilitating communication and the exchange of ideas!

We value freedom of speech and guarantee the absence of censorship on Canv.ai. At the same time, we hope and believe in the high moral standards of our users, which will help maintain a respectful and constructive atmosphere.


👉 Check for yourself!

Testing Software and Systems

Posted By: AvaxGenius
Testing Software and Systems

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
English | PDF (True) | 2023 | 297 Pages | ISBN : 3031432398 | 13.8 MB

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.

Improving Software Testing: Technical and Organizational Developments (Repost)

Posted By: AvaxGenius
Improving Software Testing: Technical and Organizational Developments (Repost)

Improving Software Testing: Technical and Organizational Developments by Tim A. Majchrzak
English | PDF | 2012 | 171 Pages | ISBN : 3642274633 | 3.9 MB

​Software is continuously increasing in complexity. Paradigmatic shifts and new development frameworks make it easier to implement software – but not to test it. Software testing remains to be a topic with many open questions with regard to both technical low-level aspects and to the organizational embedding of testing. However, a desired level of software quality cannot be achieved by either choosing a technical procedure or by optimizing testing processes. In fact, it requires a holistic approach.

A Primer in Petri Net Design

Posted By: AvaxGenius
A Primer in Petri Net Design

A Primer in Petri Net Design by Wolfgang Reisig
English | PDF | 1992 | 124 Pages | ISBN : 3642753310 | 9.7 MB

Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering (Repost)

Posted By: AvaxGenius
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering (Repost)

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering by Tarek Sobh, Khaled Elleithy
English | PDF | 2015 | 607 Pages | ISBN : 3319067729 | 20.9 MB

This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Informatics, and Systems Sciences, and Engineering. It includes selected papers from the conference proceedings of the Eighth and some selected papers of the Ninth International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2012 & CISSE 2013). Coverage includes topics in: Industrial Electronics, Technology & Automation, Telecommunications and Networking, Systems, Computing Sciences and Software Engineering, Engineering Education, Instructional Technology, Assessment, and E-learning.

Skills of a Successful Software Engineer (Final release)

Posted By: yoyoloit
Skills of a Successful Software Engineer (Final release)

Skills of a Successful Software Engineer
by Fernando Doglio

English | 2022 | ISBN: ‎ 1617299707, 978-1617299704 | 193 pages | True PDF | 8.49 MB

Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks (Repost)

Posted By: AvaxGenius
Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks (Repost)

Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks by Onn Shehory
English | PDF | 2014 | 331 Pages | ISBN : 3642544312 | 6.3 MB

With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collection of state-of-the-art findings, which combines research from information systems, artificial intelligence, distributed systems, and software engineering and covers essential development aspects of agent-based systems.