Softwareudvikling

The text presents in depth coverage of theoretical concepts, and applications and advances in the field of blockchain technology. It will serve as an ideal reference text for graduate students and academic researchers in diverse engineering fields such as electrical, electronics and communication, computer, and information technology.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

 Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and apply data binding, components, directives and modularity.With this book, you will not only learn the most important basics of Vue.js. You will also learn how to create and maintain web applications with this JavaScript web framework. The focus of this comprehensive work is on the following aspects:- HTML/CSS/JavaScript and the Web: The Vue.js environment- Basis of JavaScript (above all JSON)- Working with the Vue instance- templates- Double Curly Syntax and Data Binding With its strong application focus, this book on Vue.js is an ideal companion for self-study or relevant courses. In terms of content, it is aimed at:(a) creators of websites(b) programmersc) Web designer Dive even deeper into the matter Ralph Steyer shows which prerequisites you should have to work with this book. Then you will learn more about the framework and the special features of Vue.js. In the further course, the author covers these partial aspects, among others:- First examples - just test Vue.js once- How and why does Vue.js work?- Conditional Rendering: The v-if directive - making decisions- Dynamic layouts with data binding - making stylesheets dynamic - Forms and form data binding - interaction with the user- Transitions and animations - Moving things If you want to learn even more about the application, this book gives you an outlook on further possible uses and functions of Vue.js in the final chapter. To make it easier for you to get started, you will find program codes and illustrations in each chapter that illustrate complex processes.

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022.The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.

This book constitutes the proceedings of the 21st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 17 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topics as follows: simulation and design space exploration; the 3Cs - Cache, Cluster and Cloud; heterogeneous SoC; novel CPU architectures and applications; dataflow; innovative architectures and tools for security; next generation computing; insights from negative results.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

Designed for introductory courses with a significant team project, this textbook presents concepts with real-life case studies and examples.

This volume constitutes the refereed proceedings of the workshops held at the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna, Austria, in August 2022: The 6th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems (IWCFS 2022); 4th International Workshop on Machine Learning and Knowledge Graphs (MLKgraphs 2022); 2nd International Workshop on Time Ordered Data (ProTime2022); 2nd International Workshop on AI System Engineering: Math, Modelling and Software (AISys2022); 1st International Workshop on Distributed Ledgers and Related Technologies (DLRT2022); 1st International Workshop on Applied Research, Technology Transfer and Knowledge Exchange in Software and Data Science (ARTE2022). The 40 papers were thoroughly reviewed and selected from 62 submissions, and discuss a range of topics including: knowledge discovery, biological data, cyber security, cyber-physical system, machine learning, knowledge graphs, information retriever, data base, and artificial intelligence.

Managing an engineering team is hard, managing a remote engineering team is even harder-but dedicating effort to setting up a proper remote-first environment will allow for your team to thrive. This book breaks down the most important processes in engineering teams, and demonstrates how to make them work effectively in a remote organization.  How do you organize code deployments, onboard new hires, give feedback, and stay up to date with your team when you can't see each other in person every day? This book looks at how building connections and working together to solve problems comes naturally when a team is co-located, but can feel almost impossible when everyone is working remotely and communicating over video calls and messages.  Whether you're an experienced engineering manager or just getting started, you'll learn why copying in-office practices to the remote office doesn't work, the communication issues behind the scenes you may not even realize are happening, and how to make every aspect of remote work better for your team. From learning about how to remove new remote-specific biases from your interview process, to understanding what the team really thinks about those daily status update meetings, this book will be your guide in creating the best and most inclusive version of your engineering team. What You'll Learn Recognize where current remote processes are falling shortBuild up best practices to lead a team with a people-first and empathetic approachCommunicate effectively in a remote organization Who This Book is ForEngineering managers, team leads, directors, and those hoping to move into a lead role, will get the most value out of the book. Many of the learnings around communication will be applicable to any position in an organization, but there's a focus on processes and job duties most relevant to engineers.

This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallestto the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications.  

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022. The 13 full included in the volume were carefully reviewed and selected from 32 submissions. They are organized in the following topical sections: leading signal, image and video processing and machine learning in custom embedded, edge and cloud computing architectures and systems.