Artist Management for the Music Business
This book provides detailed guidance around architecting and deploying Power BI reporting solutions, including help and best practices for sharing and security. You'll find chapters on dataflows, shared datasets, composite model and DirectQuery connections to Power BI datasets, deployment pipelines, XMLA endpoints, and many other important features related to the overall Power BI architecture that are new since the first edition. You will gain an understanding of what functionality each of the Power BI components provide (such as Dataflow, Shared Dataset, Datamart, thin reports, and paginated reports), so that you can make an informed decision about what components to use in your solution. You will get to know the pros and cons of each component, and how they all work together within the larger Power BI architecture. Commonly encountered problems you will learn to handle include content unexpectedly changing while users are in the process of creating reports and building analyses, methods of sharing analyses that don't cover all the requirements of your business or organization, and inconsistent security models. Detailed examples help you to understand and choose from among the different methods available for sharing and securing Power BI content so that only intended recipients can see it. The knowledge provided in this book will allow you to choose an architecture and deployment model that suits the needs of your organization. It will also help ensure that you do not spend your time maintaining your solution, but on using it for its intended purpose: gaining business value from mining and analyzing your organization's data. What You Will Learn Architect Power BI solutions that are reliable and easy to maintain Create development templates and structures in support of reusabilitySet up and configure the Power BI gateway as a bridge between on-premises data sourcesand the Power BI cloud serviceSelect a suitable connection type--Live Connection, DirectQuery, Scheduled Refresh, or Composite Model--for your use caseChoose the right sharing method for how you are using Power BI in your organizationCreate and manage environments for development, testing, and productionSecure your data using row-level and object-level security Save money by choosing the right licensing plan Who This Book Is For Data analysts and developers who are building reporting solutions around Power BI, as well as architects and managers who are responsible for the big picture of how Power BI meshes with an organization's other systems, including database and data warehouse systems.
Software Architecture
This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.
Data Structures And Algorithms Made Easy
"Data Structures And Algorithms Made Easy: Data Structures and Algorithmic Puzzles" is a book that offers solutions to complex data structures and algorithms. It can be used as a reference manual by those readers in the computer science industry. This book serves as guide to prepare for interviews, exams, and campus work. In short, this book offers solutions to various complex data structures and algorithmic problems.Topics Covered: IntroductionRecursion and BacktrackingLinked ListsStacksQueuesTreesPriority Queue and HeapsDisjoint Sets ADTGraph AlgorithmsSortingSearchingSelection Algorithms [Medians]Symbol TablesHashingString AlgorithmsAlgorithms Design TechniquesGreedy AlgorithmsDivide and Conquer AlgorithmsDynamic ProgrammingComplexity ClassesMiscellaneous Concepts
Composability, Comprehensibility and Correctness of Working Software
Kaboom
Learn to identify problems when developing complex systems and design effective solutions using a model-based system engineering approachKey Features: - Implement model-based systems engineering, including visualization, verification, and validation processes- Explore the complexity of a system and learn how it can be commissioned as an effective resource- Filled with comprehensive explanations, practical examples and self assessment testsBook Description: Systems engineering helps in developing and describing complex systems. Written by an internationally-recognized systems engineering expert, this updated edition provides insight into elements to consider when designing a complex system that is robust and successful.The latest edition covers the new approaches of Model-Based Systems Engineering (MBSE) and its deployment techniques using the Trinity approach. You will learn about the system engineering life cycle and processes to implement. Effective systems can be built only when the system is designed with close attention to detail, meaning each aspect of the system is recognized and understood before the system is built. The book explains in great detail, different system models and visualization techniques, with a focus on SysML, to help you visualize a system in the design phase. You will also learn various verification and validation techniques to ensure your system design is ready to be implemented. The book ends with key management processes, systems engineering best practices, and guidelines, with a new section on effective approaches based on the author's impressive 30 years of experience in the field.By the end of this systems engineering book, you'll be able to apply modern model-based systems engineering techniques to your own systems and projects.What You Will Learn: - Study the three evils of systems engineering: complexity, ambiguous communication, lack of understanding- Learn how to deploy MBSE using the Trinity approach- Receive invaluable information about the philosophy of modeling from a seasoned professional- Understand the MBSE life cycle and how design, verification, and validation fit into it- Explore processes and concepts such as activities, stakeholders, and resources- Discover how needs fit into the life cycle and how to comply with relevant processes- Gain a deeper understanding of how to model effectively and efficientlyWho this book is for: This book is for aspiring systems engineers, engineering managers, or anyone looking to apply systems engineering practices to their systems and projects. While a well-structured, model-based approach to systems engineering is an essential skill for engineers of all disciplines, many companies are finding that new graduates have little understanding of MBSE. This book helps you acquire this skill with the help of a simple and practical approach to developing successful systems. No prior knowledge of systems engineering or modeling is required to get started with this book.Table of Contents- Introduction to Systems Engineering- Model-Based Systems Engineering- Systems and Interfaces- Life Cycles- System Engineering Processes- Needs and Requirements- Modeling the Design- Modeling Verification and Validation- Methodologies- System Engineering Management- Deploying MBSE- The Art of Modeling- Best Practices
Beginning Helidon
Learn how to build cloud-native microservices with Helidon - an open-source Java framework from Oracle. This book will show you how to take full advantage of the cloud by optimizing applications with fast start times, low memory consumption, and a small disk footprint. The open-source Helidon framework provides all that, and more. It's based on Java 17, giving you full access to new code features. This book reveals how Helidon also supports modern enterprise Java standards such as MicroProfile. Plus, you'll see how Helidon lets you use GraalVM to build lightning-fast native executables, and its unique reactive layer allows you to develop efficient low-level APIs.Each chapter in the book teaches a new Helidon concept through practical examples based on real-life use-cases. You'll learn how to add observability and security to your microservices, how to work with databases, and call other services. You'll also look at all MicroProfile 5.0 platform specifications aswell as some stand-alone specs such as Messaging and Long Running Actions. Best of all, everything covered in this book makes it a great study guide for the upcoming Oracle Helidon certification - the perfect way to prove your new skills to a prospective employer!What You'll LearnPackage microservices using JLink and GraalVMDeploy microservices to Kubernetes Review MicroProfile 5.0 specifications in detailUnderstand the basics of Helidon Reactive APIsWho This Book Is ForDevelopers and architects who want to start developing cloud-native applications; developers who already use different Java framework and want to learn about Helidon; those interested in developing portable applications using MicroProfile and Jakarta EE
Tests and Proofs
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Squeak by Example 6.0
Squeak is a modern, open-source development environment for the Smalltalk programming language promoting a vision of an environment where everything is an object and anything can at run-time. Squeak by Example, intended for both students and developers, will guide you through the Smalltalk language and the Squeak environment by means of a series of examples and exercises. The book helps you getting started with an initial tour of the environment before introducing the details of the language, the standard library, the tools, and the Morphic framework. You can also download the PDF-version for free from https: //github.com/hpi-swa-lab/SqueakByExample-english/releases.
Unity of Logic and Computation
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
Software Technologies
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.
Computer Aided Verification
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Aided Verification
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Parallel Computing Technologies
This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023. The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and services; algorithms; and distributed systems management.
Fundamentals of Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Kubernetes Fundamentals
Explore the world of Kubernetes and learn the concepts needed to develop, deploy, and manage applications on this container orchestrator. This step-by-step development guide is designed for application developers and support members aiming to learn Kubernetes and/or prepare for interviews. All the concepts in the book are presented in Q&A format, with questions framed exactly the way they are asked in an interview, giving you a distinctive edge in interviews.You'll start by understanding how application development and deployment have evolved over the decades leading up to containerization. You'll then dive deep into core Kubernetes concepts, learning Kubernetes architecture, Kubernetes objects and workload resources, and how to exploit them to their full potential. You'll also learn Kubernetes deployment strategies and concepts related to rollout and rollback.Moving on, you'll look at two very important aspects of any computing ecosystem: networking and storage. You will gain an understanding of access control in Kubernetes and how to manage a Kubernetes cluster using probes, resource quotas, taints, and tolerations. You will also get an overview of Docker and review Docker and Kubernetes best practices. Finally, you will learn about the kubectl command line tool.What You Will LearnLearn about basic and advanced Kubernetes objects and workload resourcesMaster important concepts such as namespaces, selectors, annotations, and access controlUnderstand the Kubernetes networking and storage systemManage a Kubernetes cluster with the help of probes, resource quotas, limits, and taintsWho This Book Is For Application developers and technical managers--both on the development and support sides, beginner and intermediate Kubernetes practitioners and aspirants, and those preparing for Kubernetes interviews.
Software Architecture. Ecsa 2022 Tracks and Workshops
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).
Computer Aided Verification
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023.The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage
This volume constitutes selected and revised papers presented during the Third International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2023, held in Athens, Greece, in March 2023. The 17 full papers and 17 short papers presented in ths volume were thoroughly reviewed and selected from 416 submissions. The papers are organized in topical sections on ​scientific innovations in the diagnosis and preservation of cultural heritage; digital heritage a holistic approach; preservation, reuse and reveal of cultural heritage through sustainable bidding and land management, rural and urban development to recapture the world in crisis through culture.
Ontology-Based Evolution of Domain-Oriented Languages
This book focuses on the study of ontology-based models and methods used for the implementation of the evolution of external domain-specific languages (DSL), which are mainly intended for modelling the structure of human-machine interfaces. The primary goal of the approach is to increase the efficiency of support processes during the life cycle of general-purpose software systems. The book is structured in seven chapters. Chapter 1 presents the objectives and significance of the research, as well as a summary of the contents of the work. Chapter 2 analyses the existing classical DSL design and implementation methodology for modelling human-machine interfaces in the context of the lifecycle of general-purpose software systems. Next, chapter 3 is devoted to an analysis of existing methods and formalisms used in describing the structure of a DSL for modelling human-machine interfaces of software systems. Subsequently, chapter 4 provides a detailed description of the proposed new projection-based approach for developing such DSLs. Chapter 5 then describes the software implementation of the human-machine interface evolution based on an example of an external DSL in two domains. Eventually, chapter 6 analyses the application of the proposed projection approach for more complex systems, namely, decision support systems based on heterogeneous information of decision makers. The concluding chapter 7 summarizes the main results of the research and suggests further development paths and practical applications. The book is written for researchers in model-driven software development in general and in domain-specific language engineering in particular.
Foundations of Probabilistic Logic Programming
This book aims at providing an overview of probabilistic logic programming with a special emphasis on languages under the distribution semantics, and presents the main ideas for semantics, inference, and learning and highlights connections between the methods.
Evaluation of Novel Approaches to Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.The 15 full papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in topical sections as follows: Theory and Practice of Systems and Applications Development; Challenges and Novel Approaches to Systems and Software Engineering (SSE); and Systems and Software Quality.
Algorithms
Algorithms are ubiquitous in the contemporary technological world, and they ultimately consist of finite sequences of instructions used to accomplish tasks with necessary input values. This book analyses the top performing algorithms in areas as diverse as Big Data, Artificial Intelligence, Optimization Techniques and Cloud & Cyber Security Systems in order to explore their power and limitations.
Advances in Computing
This book constitutes the refereed proceedings of the 16th Colombian Congress on Computing, CCC 2022, held in Armenia, Colombia, during October 17-21, 2022The 12 full papers included in this book were carefully reviewed and selected from 40 submissions. They topics of this volume include software engineering and IT architecture, human-computer interaction, cybersecurity and information security, image processing and computer vision, multimedia, artificial intelligence and robotics, education and ICT, data, information and knowledge, distributed systems and large-scale computing, and formal methods in computer systems, among others.
The Cloud Leader's Handbook
This book is a comprehensive guide covering modern cloud strategies and leadership approaches for building and scaling organizations to maturity on their cloud adoption journey. The book starts by examining technical topics from the perspective of the cloud leader, who is responsible for cloud teams and accountable for cloud products and platforms within their organization. Through a series of practical insights and real-world examples, you will gain a deep understanding of the key considerations for leading a cloud-driven organization. These considerations include understanding the benefits of digital transformation, managing global tech teams, and delivering excellence through platform ownership. Towards the end of the book, you will explore the latest trends and best practices for strategically innovating and scaling your organization in the cloud. With the knowledge gained from this book, you will be able to harness the power of the cloud to drive business success and gain valuable insights and practical strategies to support and empower the adoption of modern cloud platforms and technologies for your clients and organization. The Cloud Leader's Handbook is a must-read for any Cloud Leader who wants to stay ahead of the curve and achieve success in the rapidly evolving world of cloud computing. What Will You LearnDevelop a strong foundation in the technical aspects of cloud leadershipUnderstand the benefits of digital transformation and how to lead a cloud-driven organization, including managing global tech teams.Discover the bleeding-edge cloud trends that are influencing organizational roadmapsTransition into the role of the modern Cloud Leader by gaining a deeper perspective around what it means to own, manage, administer, govern, and optimize the modern cloud platformLearn how to effectively envision, manage, and deploy modern cloud transformation projects through successful approaches around innovation, strategy, and excellence Who This Book Is ForExperienced IT professionals and business leaders looking to understand the power of the cloud.
The Ultimate iOS Interview Playbook
Take your interview skills to the next level by reviewing hundreds of real-world interview questions and coding examplesPurchase of the print or Kindle book includes a free PDF eBookKey Features: Solve complex design and architecture tasksDevelop mature and complete answers to commonly asked questionsEnhance your interview prospects by building a strong developer brand through publications and online projectsBook Description: As an iOS developer, you must possess a diverse skill set encompassing Swift coding, design knowledge, and mastery of development tools. And while the demand for iOS developers remains high, the competition for landing your dream job has intensified in recent years. Being a skilled iOS developer is no longer enough - acing interviews is now just as essential as having technical expertise.In The Ultimate iOS Interview Playbook, you'll discover innovative ways to stand out as an iOS developer and pass every job interview. It will guide you to build your developer brand and present your skills to potential employers. This comprehensive guide covers over 100 interview questions, from Swift fundamentals and frameworks to complex design patterns and app architecture. You'll learn how to approach coding assessments like a pro and avoid red flags that could hinder your chances of success.Drawing from the author's experience of interviewing hundreds of iOS developers and having been a candidate themself, this book addresses the challenges of showcasing your skills and knowledge within a limited timeframe.By the end of this book, you'll be ready to excel in any iOS interview, demonstrating your strengths and confidently tackling even the most challenging questions, ultimately paving the way to secure the job you've always wanted.What You Will Learn: Gain insights into how an interview process worksEstablish and capitalize on your iOS developer brandEasily solve general Swift language questionsSolve questions on data structures and code managementPrepare for questions involving primary frameworks such as UIKit, SwiftUI, and Combine Core DataIdentify the "red flags" in an interview and learn strategies to steer clear of themWho this book is for: Designed for iOS developers of all levels, from juniors to seniors, this book is a valuable resource for anyone who wants to enhance their interview skills in iOS development. Basic knowledge of iOS development and Swift is necessary to get started with this book.
Mobile App Development for Businesses
Digitize your business operations both internally and externally with a well-structured app design. Customers today turn to mobile when searching for their future vendor. This book is your step-by-step guide through the process of building mobile apps that will meet your company's needs as well as the needs of your staff. See exactly how applying certain basic principles work and make them serve your goals by troubleshooting common mobile app design, usability, and promotion issues. You'll start by listing the advantages of what makes a mobile app an ideal platform and resource for growing your market and revenue. As many companies burn money on failed mobile app projects, you'll review the best practices on how to outline your app ideas and create a mobile product roadmap. You'll then explore the process of starting mobile app development--from an initial idea to the final product. You'll look at the setbacks in development that can cost you a successful outcome, andreview proven practices and features that lead to success no matter what industry you operate in. You'll also understand the dynamics of mobile app development, and the best ways to ensure that your mobile app serves your company's goal for further growth. At the end, you'll future proof your app and weigh the pros and cons of potentially outsourcing mobile development. Mobile App Development for Businesses puts theory into practical use for developing internal and external mobile apps. What You'll LearnLaunch and position your app in the marketDevelop apps for internal and external audiencesCollect and incorporate user feedbackSee why any great business today starts with a solid digital foundationWho This Book Is ForEntrepreneurs, business owners, directors, and executives wishing to grow their businesses and expand their reach in the market. Previous technological experience is helpful but not required.
Introducing Functional Programming Using C#
Understand the power of C#, a multi-paradigm language. This book will help you learn, analyze, and harness the functional aspects of C# so you can create a better program.The book is divided into two parts. Part I starts with an overview of functional programming (FP). It covers the building blocks for FP: functions and immutability. You will learn about the built-in supports for FP, first- and higher-order functions (HOF), functional purity and side effects, different forms of immutability, and much more. Part II includes discussions on functional composition using pipelining and currying. It also explains how to handle temporal coupling and discusses partial functions and useful functional patterns (such as Map, Bind, Filter, and Fold). Author Vaskaran Sarcar takes you through functional exception-handling mechanisms and provides additional tips to make your programs more efficient.After reading the book, you will understand and be able to implement key aspects of FP. You will be able to produce better code (and refactor existing code) by combining the best techniques from both FP and object-oriented programming (OOP) paradigms.What Will You LearnUnderstand how the concepts of functional programming (FP) can be implemented using C#Refactor existing code (following the FP paradigm) to make it more readable, maintainable, and predictiveKnow how advanced features (such as delegates, lambdas, generics) can be used differentlyUnderstand how to efficiently use features such as lambda expressions and type inference as C# includes explicit language extensions to support functional programmingWho This Book Is ForC# developers familiar with object-oriented programming (OOP) who want to harness the power of functional programming (FP)
Python Data Science for Beginners
Embark on a transformative journey into the world of data science with Python, the most popular programming language for data analysis and manipulation. "Python Data Science for Beginners" is a comprehensive guide that equips you with the fundamental skills and knowledge needed to dive into the exciting field of data science, even if you have no prior coding experience.Inside, you'll find: - A step-by-step introduction to Python programming, covering the basics and providing a solid foundation for data science - Practical explanations of key data science concepts, including data exploration, visualization, manipulation, and analysis - Hands-on coding examples and exercises to reinforce your understanding and help you build your own data science projects - Guidance on popular Python libraries for data science, such as Pandas, NumPy, Matplotlib, and Scikit-learn - Strategies for effective data cleaning, preprocessing, and feature engineering And Much More!...Whether you're a student, professional, or simply someone with a curiosity for data science, "Python Data Science for Beginners" provides a comprehensive and beginner-friendly approach to mastering the essentials. With the help of this book, you'll gain the confidence to tackle real-world data challenges and embark on a rewarding career in the field of data science.Get ready to unleash your analytical skills and unlock the power of Python in the fascinating world of data science.
Theoretical Aspects of Software Engineering
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
Managing Information Technology
There are two different, interdependent components of IT that are important to a CIO: strategy, which is long-term; and tactical and operational concerns, which are short-term. Based on this distinction and its repercussions, this book clearly separates strategy from day-to-day operations and projects from operations - the two most important functions of a CIO.It starts by discussing the ideal organization of an IT department and the rationale behind it, and then goes on to debate the most pressing need - managing operations. It also explains some best industry standards and their practical implementation, and discusses project management, again highlighting the differences between the methodologies used in projects and those used in operations. A special chapter is devoted to the cutover of projects into operations, a critical aspect seldom discussed in detail. Other chapters touch on the management of IT portfolios, project governance, as well as agile project methodology, how it differs from the waterfall methodology, and when it is convenient to apply each. In this second edition, besides a number of corrections and updates throughout the text, chapter 8 on "Agile Project Management" replaces the former chapter 8 completely, and chapter 10 on "IT Security" has been newly introduced as this topic has become more and more important for both management and operations during the last six years.Taking the fundamental principles of IT service management and best practices in project management, the book offers a single, seamless reference for IT managers and professionals. It is highly practical, explaining how to apply these principles based on the author's extensive experience in industry.
AI Basics and The RGB Prompt Engineering Model
Unlock the mysteries of Artificial Intelligence and master the foundations of the RGB Prompt Engineering Model with "AI Basics: A Practical Understanding of RGB Prompt Engineering"! This comprehensive guide is designed for AI enthusiasts, tech hobbyists, and professionals alike who want to delve deeper into the world of AI and understand the groundbreaking RGB Prompt Engineering Model. Each chapter carefully presents a structured pathway from AI's historical origins to the most advanced applications in today's technology landscape. The book navigates you through key AI concepts like Machine Learning, Natural Language Processing, and Computer Vision, setting a robust base for exploring the unique capabilities of the RGB Model. What sets this guide apart is its specific focus on the RGB Prompt Engineering Model, a state-of-the-art tool in AI that elevates machine understanding to new heights. With detailed explanations, real-world examples, and hands-on exercises, you will learn to effectively harness the power of this groundbreaking model. "AI Basics: A Practical Understanding of RGB Prompt Engineering" offers you the future of AI today. Let it be your companion in this fascinating journey towards understanding and applying AI in our daily lives. Prepare to step into the future, one prompt at a time!
Pro iPhone Development with Swiftui
Develop your own bestselling iPhone and iPad appsUse Swift playgroundsOptimize your code and deliver great user experiences
Beginning iPhone Development with Swiftui
Develop your own iPhone and iPad apps with the latest version of SwiftUse Swift playgrounds Optimize your code and deliver great user experiences
Super App Part 1 - The Fundamentals
Mobile Development is an unavoidable digital strategy for most enterprises. It needs vision, focus, and experience to develop software with longevity, sustainability, maintenance and change management at a reasonable cost for the organisation and if there is infinite time anyone can learn and write software.This book is for those readers who aspire to know about mobile application developments for building a Super App where the end goal is to create a mental model. The book is a part of the Super App series. Reading it will rewire the reader's thought process with ideas that act as recipes and perspectives that will help the individual to lay the foundation and do the groundwork for the Super App mobile application. In addition, the book covers the essentials required to be understood by readers who are in the driver's seat for a mobile application project.Reading this book prepares an individual to think in a direction which is close to the ground realities for the approaches required for building a Super App. Furthermore, the book brings together the experience gained from multiple projects over the past ten years, which the reader can capitalize on and add to their knowledge base.The book presents the reader with the fundamentals for the development and design philosophies of the Super App. It starts with exploring what a Super App is, and the narrative follows where the essential technology and practical wisdom for the approaches can be applied while building a Super App. The book applies two use cases to drive the narrative. The first is a hypothetical mobile application from an organisation providing multiple services like cab booking, online book purchase, cycle renting and seven other services. The second is a finance application that supports multiple regions.To benefit fully from this book, it is recommended that the reader should meet the following prerequisites: 1.Hands-on experience in developing a mobile application on at least one platform.2.Knowledge of architectural patterns used in mobile development.3.Experience in creating libraries and reusable packages for mobile applications.4.Understand the terminology used in the development of a mobile application life-cycle.Sreejith K Rajendran, a passionate technology leader in iOS mobile development, has more than a decade of development expertise along with an exposure of working with multiple organisations and industry veterans. Mobile application development has been a focus area for Sreejith as a Software Engineer. His experience gives him the advantage of sharing his point of view on things that have worked out and those that have failed. He has encountered all these while building scalable mobile applications for thriving business enterprises.His expertise on engineering practices and thought leadership inherent from the organisation, along with the collated experiences from multiple projects and organisations has been pivotal in shaping his tech acumen in this diverse tech landscape.Sreejith's areas of expertise are: - Native iOS Application Development (Swift & Objective C)- Developing enterprise applications MBass integration- Developing applications in cross-platform Frameworks like Xamarin, Flutter, and PhoneGap- Developing mobile applications in banking, insurance, trading, and retail domains- Developing IOT-based applications using BLE, Onvif Protocol-supported IP cameras, and indoor navigation using iBeaconsThe exposure and technical acumen cultivated over the past decade have motivated and pushed Sreejith to embrace the path of an Author with the intent of helping the broader community by sharing his knowledge.
Delphi High Performance - Second Edition
Discover algorithm performance, high- and low-level optimizations, and the internal behavior of programs written in the Delphi languagePurchase of the print or Kindle book includes a free PDF eBookKey Features: Discover external programming libraries that will speed up your programming and codeLearn to integrate external libraries into Delphi programsBuild fast Delphi applications using concurrency, parallel programming, and memory managementBook Description: Performance matters! Users hate to use programs that are not responsive to interactions or run too slow to be useful. While becoming a programmer is simple enough, you require dedication and hard work to achieve an advanced level of programming proficiency where you know how to write fast code.This book begins by helping you explore algorithms and algorithmic complexity and continues by describing tools that can help you find slow parts of your code. Subsequent chapters will provide you with practical ideas about optimizing code by doing less work or doing it in a smarter way. The book also teaches you how to use optimized data structures from the Spring4D library, along with exploring data structures that are not part of the standard Delphi runtime library.The second part of the book talks about parallel programming. You'll learn about the problems that only occur in multithreaded code and explore various approaches to fixing them effectively. The concluding chapters provide instructions on writing parallel code in different ways - by using basic threading support or focusing on advanced concepts such as tasks and parallel patterns.By the end of this book, you'll have learned to look at your programs from a totally different perspective and will be equipped to effortlessly make your code faster than it is now.What You Will Learn: Get to grips with algorithmic complexity and learn how to recognize itUse tools to determine program runtime behaviorSpeed up programs by doing less instead of moreDiscover the internal workings of Delphi data structuresGain an understanding of Delphi's memory managerFind out how to write low-level parallel programs with TThreadUse parallel patterns from the PPL and OTL libraries to write fast codeInclude external code, written in C or C++, in Delphi programsWho this book is for: This book is for all Delphi programmers. Whether you're a beginner or an accomplished programmer, you will find something interesting. Even though the focus is on the latest Delphi release, the code uses only standard Delphi syntax without syntactic additions from the latest releases, and most of it should compile and run in any Delphi from XE7 onward. If you're using an older version of Delphi, don't despair! Most of the concepts in this book do not depend on a specific Delphi version and will be useful for everyone.
Design and Deploy a Secure Azure Environment
Follow this comprehensive guide as it provides you with a deep understanding of Azure security principles, best practices, and implementation strategies aligned with the NIST Cybersecurity Framework (CSF). The book covers various topics from Azure security to designing and deploying solutions for infrastructure, data, and applications, including identify, protect, detect, respond, and recover solutions, in line with the NIST CSF.The book will take you through an introduction and the basic requirements for cloud security aligned with the NIST CSF. And then it will teach you how to design and deploy security for infrastructure, data, and apps security in an Azure enterprise environment. The book covers the NIST CSF and various cloud services offered by Microsoft Azure, maps each service against the NIST CSF, and explains each section with design and deployment considerations from a cybersecurity viewpoint.After reading this book, you will understand NIST CSF alignment with Microsoft Azure Services. You will also have a comprehensive understanding of Azure security and be equipped with the knowledge and skills to design, deploy, and manage secure Azure environments. Whether you are a security professional, system administrator, or cloud architect, this book is a valuable resource for mastering Azure security and implementing robust security measures in the Azure environment using the NIST CSF. What You Will LearnDesign and deploy security for infrastructure, data, and applicationsDesign and deploy an identify solutionDesign and deploy a protect solutionDesign and deploy a detect solutionDesign and deploy a respond solutionDesign and deploy a recover solutionWho This Book Is ForCyber system administrators and architects working with Microsoft Azure integrated services
Trends in Functional Programming
This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wide variety of topics including DSL design and implementation, dependent type systems, instruction set architecture, data structures, and logic programming.
Model-Driven Engineering and Software Development
This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8-10, 2021 and February 6-8, 2022.The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.
Smart Technologies for Sustainable and Resilient Ecosystems
This book constitutes the jointly proceedings of the 3rd International Conference on Intelligent Edge Processing in the IoT Era, Edge-IoT 2022, and the 4th International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2022. Both conferences were held online due to COVID-19 pandemic in November 2022, held as virtual events, in November 16-18, 2022.The 12 full papers were selected from 31 submissions. SmartGov 2022 was to promote the development of secure and sustainable smart cities with smart governance, while the theme of Edge-IoT 2022 was to address the decentralization of contemporary processing paradigms, notably Edge processing, focusing on the increasing demand for intelligent processing at the edge of the network, which is paving the way to the Intelligent IoT Era". Both the EAI SmartGov 2022 and EAI Edge-IoT 2022 conferences were co-located with EAI SmartCity360 international convention.The papers are organized in the following topical sections: Edge-IoT Applications; IoT Architectures, Forecasting and Adversarial Training; Artificial Intelligence and Machine Learning for smart governance; and Smart Transportation.
Intelligent Crowdsourced Testing
In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call. Since then, by modifying crowdsourcing into different forms, some of the most successful new companies on the market have used this idea to make people's lives easier and better. On the other hand, software testing has long been recognized as a time-consuming and expensive activity. Mobile application testing is especially difficult, largely due to compatibility issues: a mobile application must work on devices with different operating systems (e.g. iOS, Android), manufacturers (e.g. Huawei, Samsung) and keypad types (e.g. virtual keypad, hard keypad). One cannot be 100% sure that, just because a tested application works well on one device, it will run smoothly on all others.Crowdsourced testing is an emerging paradigm that can improve the cost-effectiveness of software testing and accelerate the process, especially for mobile applications. It entrusts testing tasks to online crowdworkers whose diverse testing devices/contexts, experience, and skill sets can significantly contribute to more reliable, cost-effective and efficient testing results. It has already been adopted by many software organizations, including Google, Facebook, Amazon and Microsoft. This book provides an intelligent overview of crowdsourced testing research and practice. It employs machine learning, data mining, and deep learning techniques to process the data generated during the crowdsourced testing process, to facilitate the management of crowdsourced testing, and to improve the quality of crowdsourced testing.
Achieving Your Potential
The software engineering field is vast, with many disciplines and many people with different backgrounds. In this book, I will boil down what it's like to work in the field and how to make the most out of your career. I will discuss my experiences over the years: what went well, what went not so well and what I learned from it all. I hope that by the end of this book you understand a little more about the field and how to make it a long and successful one. Not just success in a traditional sense of money and climbing the ladder, but alternative paths that suit your unique life and values.
Achieving Your Potential
The software engineering field is vast, with many disciplines and many people with different backgrounds. In this book, I will boil down what it's like to work in the field and how to make the most out of your career. I will discuss my experiences over the years: what went well, what went not so well and what I learned from it all. I hope that by the end of this book you understand a little more about the field and how to make it a long and successful one. Not just success in a traditional sense of money and climbing the ladder, but alternative paths that suit your unique life and values.
Beginning Microsoft Dataverse
Understand the role that Dataverse plays in the low-code revolution that helps businesses gain advantage from being more agile with technology. This book shows you how to use Dataverse to solve business problems by describing the layers of a solution in the Power Platform and the options that exist at each layer so you can make informed decisions as you develop your solutions. The book shows how Dataverse is a central piece of the Microsoft Power Platform and helps tech-savvy professionals move nimbly and seize the day when opportunities present themselves. The book starts out by covering the platform in terms of its layers so you can orient yourself with the features that exist at each level and what that means to you as a developer. You will learn how to work inside the data layer to design tables to store data and relationships and manage how it all works together. You will learn how to apply business logic and validation in the business layerto ensure data integrity and enforce process compliance. You will learn how to design interfaces in the presentation layer to allow users to interact with your data and processes in user-friendly applications. And you will learn how to utilize third-party integration tools to create seamless connections between your solution and legacy systems so you can develop enterprise-grade tools in record time. What You Will LearnUnderstand the layers of Dataverse and the features at each layerCreate tables and relationships to store data and manage interactionsBuild applications to allow users to interact with your data using logical interfacesDesign business logic and workflows to ensure data integrity and automationConfigure security to control access to data and prevent unauthorized accessExplore the options for integration with third-party systems Who This Book Is ForMicrosoft Power Platform users who want to learn how to access the power of the Power Platform and leverage Dataverse to build powerful, robust, and resilient tools; power users and citizen developers who are looking for tools to quickly build scalable business solutions that don't require a strong developer background; pro developers who want to learn how to utilize use the Power Platform to speed up the development cycle and deliver value to customers faster than ever before
Getting Started with SQL and Databases
Learn the basics of writing SQL scripts. Using Standard SQL as the starting point, this book teaches writing SQL in various popular dialects, including PostgreSQL, MySQL/MariaDB, Microsoft SQL Server, Oracle, and SQLite.The book starts with a general introduction to writing SQL and covers the basic concepts. Author Mark Simon then covers database principles, and how database tables are designed. He teaches you how to filter data using the WHERE clause, and you will work with NULL, numbers, dates, and strings. You will also understand sorting results using the ORDER BY clause, sorting by calculated columns, and limiting the number of results. By the end of the book, you will know how to insert and update data, and summarize data with aggregate functions and groups. Three appendices cover differences between SQL dialects, working with tables, and a crash course in PDO.What You Will LearnFilter, sort, andcalculate dataSummarize data with aggregate functionsModify data with insert, update, and delete statementsStudy design principles in developing a databaseWho This Book Is ForDevelopers and analysts working with SQL, as well as web developers who want a stronger understanding of working with databases
Distributed Applications and Interoperable Systems
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions. The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.
Testing in Pharo
Pharo is a modern, dynamically-typed, reflective, and pure object-oriented programming language - http: //www.pharo.org. Pharo inherits and enhances the testing spirit from its ancestor Smalltalk. Indeed, Pharo's SUnit framework is the one of key asset of Agile Development as brought forward by K. Beck in its Test-Driven Development seminal book. But Pharo is much more powerful. It defines and supports eXtreme Test-Driven Development, a.k.a TDD on Steriods. Unique to Pharo, eXtreme Test-Driven Development is a powerful development technique that puts live objects at the center of the coding experience. With its unique flow, it delivers an excellent and unforeseen productivity mixing a fully live programming environment with TDD. In this book you will learn all the elements around TDD and XTDD. You will be empowered and understand why writing tests is not a side effect but a key element of the development process. Once immersed into XTDD you will not program the same way anymore.
