Download or read book Blockchain and Trustworthy Systems written by Jiachi Chen and published by Springer Nature. This book was released on with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Requirements Engineering for Software and Systems written by Phillip A. Laplante and published by CRC Press. This book was released on 2022-06-07 with total page 534 pages. Available in PDF, EPUB and Kindle. Book excerpt: Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. New software tools are emerging that are empowering practicing engineers to improve their requirements engineering habits. However, these tools are not usually easy to use without significant training. Requirements Engineering for Software and Systems, Fourth Edition is intended to provide a comprehensive treatment of the theoretical and practical aspects of discovering, analyzing, modeling, validating, testing, and writing requirements for systems of all kinds, with an intentional focus on software-intensive systems. It brings into play a variety of formal methods, social models, and modern requirements writing techniques to be useful to practicing engineers. The book is intended for professional software engineers, systems engineers, and senior and graduate students of software or systems engineering. Since the first edition, there have been made many changes and improvements to this textbook. Feedback from instructors, students, and corporate users was used to correct, expand, and improve the materials. The fourth edition features two newly added chapters: "On Non-Functional Requirements" and "Requirements Engineering: Road Map to the Future." The latter provides a discussion on the relationship between requirements engineering and such emerging and disruptive technologies as Internet of Things, Cloud Computing, Blockchain, Artificial Intelligence, and Affective Computing. All chapters of the book were significantly expanded with new materials that keep the book relevant to current industrial practices. Readers will find expanded discussions on new elicitation techniques, agile approaches (e.g., Kanpan, SAFe, and DEVOps), requirements tools, requirements representation, risk management approaches, and functional size measurement methods. The fourth edition also has significant additions of vignettes, exercises, and references. Another new feature is scannable QR codes linked to sites containing updates, tools, videos, and discussion forums to keep readers current with the dynamic field of requirements engineering.

Download or read book Artificial Intelligence and Financial Behaviour written by Riccardo Viale and published by Edward Elgar Publishing. This book was released on 2023-06-01 with total page 267 pages. Available in PDF, EPUB and Kindle. Book excerpt: Following rapid technological advancements that have taken place throughout the late twentieth and early twenty-first centuries, this intriguing book provides a dynamic agenda for the study of artificial intelligence (AI) within finance. Through an in-depth consideration of the use of AI, it utilizes case study examples to investigate AI’s effectiveness within investment and banking.

Download or read book Open Science in Engineering written by Michael E. Auer and published by Springer Nature. This book was released on 2023-12-31 with total page 1125 pages. Available in PDF, EPUB and Kindle. Book excerpt: The REV Conference is the annual conference of the International Association of Online Engineering (IAOE) together with the Global Online Laboratory Consortium (GOLC). REV 2023 is the 20th in a series of annual events concerning the area of online engineering, cyber-physical systems and Internet of things, including remote engineering and virtual instrumentation. In a globally connected world, the interest in online collaboration, teleworking, remote services, and other digital working environments is rapidly increasing. In response to that, the general objective of this conference is to contribute and discuss fundamentals, applications, and experiences in the field of online and remote engineering, virtual instrumentation, and other related new technologies, including: Cross-reality Open Science Internet of Things and Industrial Internet of Things Industry 4.0 Cyber-security M2M and smart objects.

Download or read book Leveraging Applications of Formal Methods Verification and Validation Software Engineering written by Tiziana Margaria and published by Springer Nature. This book was released on 2022-10-19 with total page 437 pages. Available in PDF, EPUB and Kindle. Book excerpt: This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Download or read book What Every Engineer Should Know about Software Engineering written by Phillip A. Laplante and published by CRC Press. This book was released on 2022-11-03 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a practical approach to understanding, designing, and building sound software based on solid principles. Using a unique Q&A format, this book addresses the issues that engineers need to understand in order to successfully work with software engineers, develop specifications for quality software, and learn the basics of the most common programming languages, development approaches, and paradigms. The new edition is thoroughly updated to improve the pedagogical flow and emphasize new software engineering processes, practices, and tools that have emerged in every software engineering area. Features: Defines concepts and processes of software and software development, such as agile processes, requirements engineering, and software architecture, design, and construction. Uncovers and answers various misconceptions about the software development process and presents an up-to-date reflection on the state of practice in the industry. Details how non-software engineers can better communicate their needs to software engineers and more effectively participate in design and testing to ultimately lower software development and maintenance costs. Helps answer the question: How can I better leverage embedded software in my design? Adds new chapters and sections on software architecture, software engineering and systems, and software engineering and disruptive technologies, as well as information on cybersecurity. Features new appendices that describe a sample automation system, covering software requirements, architecture, and design. This book is aimed at a wide range of engineers across many disciplines who work with software.

Download or read book Space Data Management written by Agostino Cortesi and published by Springer Nature. This book was released on with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book ICT Systems Security and Privacy Protection written by Nikolaos Pitropakis and published by Springer Nature. This book was released on with total page 509 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2023 IEEE ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain WETSEB written by IEEE Staff and published by . This book was released on 2023-05-14 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 6th Workshop on Emerging Trends in Software Engineering for Blockchain aims at involving researchers interested in emerging topics and trends in software engineering with particular focus on Blockchain software systems, extending the experiences of WETSEB 2018 through WETSEB 2022

Download or read book 2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain WETSEB written by Roberto Tonelli and published by . This book was released on 2018 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2023 IEEE ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain WETSEB written by and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Blockchain for Cybersecurity and Privacy written by Yassine Maleh and published by CRC Press. This book was released on 2020-08-02 with total page 407 pages. Available in PDF, EPUB and Kindle. Book excerpt: Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity is that you can put any digital asset or transaction in the blocking chain, the industry does not matter. Blockchain technology has infiltrated all areas of our lives, from manufacturing to healthcare and beyond. Cybersecurity is an industry that has been significantly affected by this technology and may be more so in the future. Blockchain for Cybersecurity and Privacy: Architectures, Challenges, and Applications is an invaluable resource to discover the blockchain applications for cybersecurity and privacy. The purpose of this book is to improve the awareness of readers about blockchain technology applications for cybersecurity and privacy. This book focuses on the fundamentals, architectures, and challenges of adopting blockchain for cybersecurity. Readers will discover different applications of blockchain for cybersecurity in IoT and healthcare. The book also includes some case studies of the blockchain for e-commerce online payment, retention payment system, and digital forensics. The book offers comprehensive coverage of the most essential topics, including: Blockchain architectures and challenges Blockchain threats and vulnerabilities Blockchain security and potential future use cases Blockchain for securing Internet of Things Blockchain for cybersecurity in healthcare Blockchain in facilitating payment system security and privacy This book comprises a number of state-of-the-art contributions from both scientists and practitioners working in the fields of blockchain technology and cybersecurity. It aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this particular area or those interested in grasping its diverse facets and exploring the latest advances on the blockchain for cybersecurity and privacy.

Download or read book Squeak written by Stephane Ducasse and published by Apress. This book was released on 2006-11-22 with total page 363 pages. Available in PDF, EPUB and Kindle. Book excerpt: * Fun and easy-to-grasp, yet based on solid programming principles of object-oriented programming * Visually oriented—teaches programming by commanding turtle to move through loops, variables, procedures, and AI * Suitable for any reader, from curious children to adults, who’d like a gentle, methodical approach to core programming concepts

Download or read book Artificial Intelligence and Security written by Xingming Sun and published by Springer Nature. This book was released on 2020-08-31 with total page 841 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.

Download or read book Applied Informatics written by Hector Florez and published by Springer. This book was released on 2019-10-26 with total page 548 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2019, held in Madrid, Spain, in November 2019. The 37 full papers and one short paper were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on bioinformatics; data analysis; decision systems; health care information systems; IT Architectures; learning management systems; robotic autonomy; security services; socio-technical systems; software design engineering.

Download or read book Computability Complexity and Languages written by Martin Davis and published by Academic Press. This book was released on 1994-02-03 with total page 631 pages. Available in PDF, EPUB and Kindle. Book excerpt: This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second edition include: extended exercise sets, which vary in difficulty; expanded section on recursion theory; new chapters on program verification and logic programming; updated references and examples throughout.

Download or read book Twenty Five Years of Constructive Type Theory written by Giovanni Sambin and published by Clarendon Press. This book was released on 1998-10-15 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.