- Table View
- List View
Fundamentals of Software Engineering
by Mehdi Dastani Marjan SirjaniThis book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 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 software industry and promoting their integration with practical engineering techniques.
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14155)
by Hossein Hojjat Erika ÁbrahámThis 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.
Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers (Lecture Notes in Computer Science #12818)
by Hossein Hojjat Mieke MassinkThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 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.
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11761)
by Mieke Massink Hossein HojjatThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 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 agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Fundamentals of Software Testing
by Bernard HomèsThe testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world. The ISTQB Foundations level syllabus was updated in 2011, and this book provides detailed course study material including a glossary and sample questions to help adequately prepare for the certification exam.The fundamental aspects of testing are approached, as is testing in the lifecycles from Waterfall to Agile and iterative lifecycles. Static testing, such as reviews and static analysis, and their benefits are examined as well as techniques such as Equivalence Partitioning, Boundary Value Analysis, Decision Table Testing, State Transitions and use cases, along with selected white box testing techniques. Test management, test progress monitoring, risk analysis and incident management are covered, as are the methods for successfully introducing tools in an organization. Contents 1. Fundamentals of Testing.2. Testing Throughout the Software Life Cycle.3. Static Techniques (FL 3.0).4. Test Design Techniques (FL 4.0).5. Test Management (FL 5.0).6. Tools support for Testing (FL 6.0).7. Mock Exam.8. Templates and Models.9. Answers to the Questions.
Fundamentals of Software Testing
by Bernard HomèsSoftware testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in "agile" teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental knowledge that testers should have to be effective and efficient in today's world. This book describes the fundamental aspects of testing in the different lifecycles, and how to implement and benefit from reviews and static analysis. Multiple other techniques are approached, such as equivalence partitioning, boundary value analysis, use case testing, decision tables and state transitions. This second edition also covers test management, test progress monitoring and incident management, in order to ensure that the testing information is correctly provided to the stakeholders. This book provides detailed course-study material for the 2023 version of the ISTQB Foundation level syllabus, including sample questions to help prepare for exams.
Fundamentals of Stream Processing
by Henrique C. M. Andrade Bu Ra Gedik Deepak S. TuragaStream processing is a novel distributed computing paradigm that supports the gathering, processing, and analysis of high-volume, heterogeneous, continuous data streams, to extract insights and actionable results in real time. This comprehensive, hands-on guide combining the fundamental building blocks and emerging research in stream processing is ideal for application designers, system builders, analytic developers, as well as students and researchers in the field. This book introduces the key components of the stream computing paradigm, including the distributed system infrastructure, the programming model, design patterns, and streaming analytics. The explanation of the underlying theoretical principles, illustrative examples and implementations using the IBM InfoSphere Streams SPL language, and real-world case studies provide students and practitioners with a comprehensive understanding of such applications and the middleware that supports them.
Fundamentals of Supervised Machine Learning: With Applications in Python, R, and Stata (Statistics and Computing)
by Giovanni CerulliThis book presents the fundamental theoretical notions of supervised machine learning along with a wide range of applications using Python, R, and Stata. It provides a balance between theory and applications and fosters an understanding and awareness of the availability of machine learning methods over different software platforms.After introducing the machine learning basics, the focus turns to a broad spectrum of topics: model selection and regularization, discriminant analysis, nearest neighbors, support vector machines, tree modeling, artificial neural networks, deep learning, and sentiment analysis. Each chapter is self-contained and comprises an initial theoretical part, where the basics of the methodologies are explained, followed by an applicative part, where the methods are applied to real-world datasets. Numerous examples are included and, for ease of reproducibility, the Python, R, and Stata codes used in the text, along with the related datasets, are available online.The intended audience is PhD students, researchers and practitioners from various disciplines, including economics and other social sciences, medicine and epidemiology, who have a good understanding of basic statistics and a working knowledge of statistical software, and who want to apply machine learning methods in their work.
Fundamentals of the Insurance Business (Springer Texts in Business and Economics)
by Massimiliano Maggioni Giuseppe TurchettiThis textbook presents the fundamental economic dimensions of insurance companies and links them to managerial issues. Combining academic rigour and a strongly practice-oriented approach, it addresses both the competitive environment and the management of the insurance business. Further, it provides a general overview of insurance undertakings and technical topics are explained in depth. Filling an important gap in the market for textbooks on the insurance business, it is divided into four parts and 35 chapters. Part I (chapters 1 to 10) describes the fundamentals of the business, how the industry works, the Authorities and the regulations. It presents the insurance products (for life, non-life retail, and non-life commercial lines). Part II (chapters 11 to 17) explains the pricing and reserving for life and non-life insurance. Reinsurance business is also illustrated. Part III (chapters 18 to 25) describes business models in the industry and the organizational structures. The main processes of an insurance company (product development, underwriting, claims settlement, investments) are presented. Marketing and distribution are also described. Part IV (chapters 26 to 35) defines the financial statement and introduces IFRS principles. Solvency II calculation, ALM model, and Embedded Value are explained in detail. This part also describes management accounting, performance indicators, and the Business Plan in the insurance industry. The book offers a valuable resource for lower and upper undergraduate students, graduate students, professionals/practitioners working at insurance companies, insurance agents, brokers, bankers, and consultants.
Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging
by Dmitry VostokovThis book will help you analyze traces and logs from different software environments and communicate analysis results using a pattern language that covers everything from a small debugging log to a distributed trace with billions of messages from hundreds of computers, thousands of software components, threads, and processes. The book begins with the basic terminology of operating systems and programming, the foundation for understanding trace and log analysis. It then talks about patterns that help describe problems from a user’s view and patterns for errors and failures. Then, the book covers a range of trace patterns that group messages, and explores how logs depict software activities. It even examines specific message patterns and how they connect in a single trace. Moving forward, you’ll review patterns for multiple traces and logs and how to evaluate them. In this way, you can use similar methods to find problems across a wide variety of software. The book also provides guidance for analyzing issues on systems such as Windows, macOS, Linux, Android, iOS, and other types of computers, including those in networks and the Internet of Things, regardless of their system differences. Upon completing this book, you will be able to navigate the complexities of trace and log analysis and apply uniform diagnostics and anomaly detection pattern language across diverse software environments to help you troubleshoot, debug, and fix issues. What You Will Learn Understand pattern language for trace and log analysisGain a pattern-oriented methodology for trace and log analysis applicable to various domains, including cybersecurityMaster the fundamentals of operating systems and programming related to trace and log analysisUnderstand observed behavior in traces and logs, which aids incident response, diagnostics, root cause analysis, troubleshooting, and debugging Who This Book Is For Software technical support engineers, system and network administrators, software developers, testers, DevOps and DevSecOps, digital forensics and malware analysts, security incident response engineers, data analysts, and data mining practitioners.
Fundamentals of User-Centered Design: A Practical Approach
by Brian Still Kate CraneThere has been some solid work done in the area of User-Centered Design (UCD) over the last few years. What’s been missing is an in-depth, comprehensive textbook that connects UCD to usability and User Experience (UX) principles and practices. This new textbook discusses a theoretical framework in relation to other design theories. It provides a repeatable, practical process for implementation, offering numerous examples, methods, and case studies for support, and it emphasizes best practices in specific environments, including mobile and web applications, print products, as well as hardware.
Fundamentals of Wavelets
by Jaideva C. Goswami Andrew K. ChanMost existing books on wavelets are either too mathematical or they focus on too narrow a specialty. This book provides a thorough treatment of the subject from an engineering point of view. It is a one-stop source of theory, algorithms, applications, and computer codes related to wavelets. This second edition has been updated by the addition of: a section on "Other Wavelets" that describes curvelets, ridgelets, lifting wavelets, etc a section on lifting algorithms Sections on Edge Detection and Geophysical Applications Section on Multiresolution Time Domain Method (MRTD) and on Inverse problems
Fundamentals of Web Development
by Randy Connolly Ricardo HoarFundamentals of Web Development covers the broad range of topics required for modern web development (both client- and server-side) and is appropriate for students who have taken a CS1 course sequence. The book guides students through the creation of enterprise-quality websites using current development frameworks, its comprehensive coverage of a modern internet development platform#65533;includes HTML5, CSS3, Javascript, and the LAMP stack (that is, Linux, Apache, MySQL, and PHP). Other important technologies covered include jQuery, XML, WordPress, Bootstrap, and a variety of third-party APIs that include Facebook, Twitter, and Google and Bing Maps. Coverage also includes the required ACM web development topics in a modern manner closely aligned with best practices in the real world#65533;of web development. #65533; Teaching and Learning Experience Help students master the fundamentals of web development:#65533;A true grasp of web development requires an understanding of both the foundations of the web and current web development practices. Support learning outcomes in various teaching scenarios:#65533;This book allows instructors to chart their own unique way through the topics that make up contemporary web development.
Fundamentals Of Web Development
by Randy Connolly Ricardo HoarWelcome to the Fundamentals of Web Development. This textbook is intended to cover the broad range of topics required for modern web development and is suitable for intermediate to upper-level computing students. A significant percentage of the material in this book has also been used by the authors to teach web development principles to first-year computing students and to non-computing students as well.
Fundiert entscheiden: Ein kleines Handbuch für alle Lebenslagen
by Karsten WeiheOrientierungshilfe in postfaktischen Zeiten Dieses Buch ist ein Rettungsanker in der Flut der Informationen, die ununterbrochen auf uns einstr#65533;men. Tag f#65533;r Tag m#65533;ssen Sie sich Meinungen bilden, sei es zu politischen Fragen, zu privaten Kauf- und Anlageentscheidungen oder zu medizinischen Problemen. Aber wo immer Sie suchen, wen immer Sie fragen - jede Information kann falsch sein! Es scheint kaum m#65533;glich, "die Wahrheit" zu finden und fundierte Entscheidungen zu treffen. Gerade bei den ganz gro#65533;en Fragen geben viele Leute fr#65533;hzeitig auf und vertrauen nur noch ihrem Bauchgef#65533;hl oder dem ersten zuf#65533;lligen Augenschein oder aber dem Experten mit dem seri#65533;sesten Auftritt. Karsten Weihe zeigt Ihnen, dass das nicht sein muss. Die Grundprinzipien, um Informationen einzuordnen und fundierte Entscheidungen zu treffen, sind #65533;berall dieselben. Jeder kann sie durchschauen und in seinem t#65533;glichen Leben anwenden. Mehr als einhundert #65533;berraschende Fallbeispiele veranschaulichen die praxisnahen Erkenntnisse und Handreichungen. Nach der Lekt#65533;re dieses Buches wird Ihnen niemand mehr so leicht etwas vormachen k#65533;nnen!
Funding a Revolution: Government Support for Computing Research
by National Research CouncilThe past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to this revolution are manifest; less widely recognized is the major role the federal government played in launching the computing revolution and sustaining its momentum. Funding a Revolution examines the history of computing since World War II to elucidate the federal government's role in funding computing research, supporting the education of computer scientists and engineers, and equipping university research labs. It reviews the economic rationale for government support of research, characterizes federal support for computing research, and summarizes key historical advances in which government-sponsored research played an important role.Funding a Revolution contains a series of case studies in relational databases, the Internet, theoretical computer science, artificial intelligence, and virtual reality that demonstrate the complex interactions among government, universities, and industry that have driven the field. It offers a series of lessons that identify factors contributing to the success of the nation's computing enterprise and the government's role within it.
Fungal Machines: Sensing and Computing with Fungi (Emergence, Complexity and Computation #47)
by Andrew AdamatzkyThis unique book explores fungi as sensors, electronic devices, and potential future computers, offering eco-friendly alternatives to traditional electronics. Fungi are ancient, widely distributed organisms ranging from microscopic single cells to massive mycelium spanning hectares. They possess senses similar to humans, detecting light, chemicals, gases, gravity, and electric fields. It covers fungal electrical activity, sensors, electronics, computing prototypes, and fungal language. Authored by leading experts from diverse fields, the book is accessible to readers of all backgrounds, from high-schoolers to professors. It reveals the remarkable potential of fungal machines while minimizing environmental impact.
Funktionalität und Standardunterstützung von IoT-Software-Plattformen: HMD Best Paper Award 2019 (essentials)
by Sebastian Lempert Alexander PflaumDerzeit konkurrieren über 450 Anbieter von IoT-Software-Plattformen miteinander, die Komplexität und die unterschiedlichen Eigenschaften dieser Plattformen führen zu einem intransparenten Markt. Folglich stehen Unternehmen, die eine IoT-Anwendung unter Weiternutzung ihrer bestehenden IT-Infrastruktur umsetzen wollen, vor der Herausforderung, die für diesen unternehmensspezifischen Anwendungsfall am besten geeignete IoT-Plattform aus einer Vielzahl von Kandidaten auszuwählen. Vor diesem Hintergrund werden Unternehmen durch das vorliegende Buch in die Lage versetzt, die Funktionalität und Standardunterstützung der am Markt verfügbaren IoT-Plattformen schnell zu verstehen und untereinander zu vergleichen.
Funktionelles Zusammenspiel von Gehirn und Herz: Von der Physiologie zur fortgeschrittenen Methodik der Signalverarbeitung und -modellierung
by Vincenzo Catrambone Gaetano ValenzaDiese Monographie bietet einen systemübergreifenden Austausch und eine modalitätsübergreifende Untersuchung des Zusammenspiels von Gehirn und Herz. Das Zusammenspiel von Gehirn und Herz (Brain-Heart Interplay, BHI) ist ein hochgradig interdisziplinäres wissenschaftliches Thema, das sich von der Physiologie des zentralen/autonomen Nervensystems, insbesondere des zentral-autonomen Netzwerks, bis hin zu fortgeschrittener Signalverarbeitung und Modellierung zur Quantifizierung seiner Aktivität erstreckt. Motiviert durch klinische Befunde und unterstützt durch die neuesten Erkenntnisse der Neurophysiologie, untersucht diese Monographie zunächst die Definition grundlegender Quantifizierer des Zusammenspiels von Gehirn und Herz und geht dann zu fortgeschrittenen Methoden für die Bewertung von Gesundheits- und Krankheitszuständen über. Der nicht-invasive Einsatz von Techniken zur Überwachung des Gehirns, einschließlich des Elektroenzephalogramms und der funktionellen Magnetresonanztomographie, wird zusammen mit der Überwachung der Herzschlagdynamik durch Pulsoximeter und EKG-Signale beschrieben.Das Buch richtet sich insbesondere an biomedizinische Ingenieure und Mediziner mit Fachkenntnissen in Statistik und/oder Signalverarbeitung. Aber auch Forscher in den Bereichen Kardiologie, Neurologie, Psychiatrie und Neurowissenschaften im Allgemeinen können sich für dieses Buch interessieren.
Funktionstrennung in ERP-Systemen
by Petra Maria AsprionEin unverzichtbares Instrument zum Management von Risiken ist die Aufteilung von Tätigkeiten auf mehrere Personen. Aus der Organisationslehre stammend, wurde das Konzept der Funktionstrennung auf betriebliche Softwareanwendungen transformiert und in Form von Zugriffsrechten abgebildet. Petra Maria Asprion erläutert aktuelle Konzepte und Methoden zur Funktionstrennung unter Berücksichtigung aktueller Compliance-Anforderungen. Einen Schwerpunkt bildet die Sanierung unzureichender Funktionstrennungen sowie der Einsatz spezieller Software. Auf Basis einer qualitativen Studie stellt sie Faktoren dar, die die Assimilation solcher Software fördern bzw. verhindern.
Funny Cats: A Hilarious Collection of the World’s Funniest Felines and Most Relatable Memes
by Charlie EllisFeaturing comedic captions, relatable memes and a collection of the world’s funniest felines, this book is the purr-fect gift for connoisseurs of hilarious cat contentIt’s a truth universally acknowledged that cats are some of the funniest animals on the planet. From contorting themselves into strange shapes, to pulling bizarre expressions, to cramming themselves into tiny cardboard boxes, wherever there’s a cat there’s always something weird and wonderful to be seen.Funny Cats is here to chronicle these important moments of absurdity. Within its pages, you’ll find:A selection of ridiculous cats in high-quality photo formWitty captions to make you laugh out loudPriceless expressions and relatable memes for all the moments you thought you were the only one (but realized you weren’t)There is simply no end to the nonsense that cats are capable of – and this book is here to celebrate, honour and cherish that fact.
Funny Dogs: A Hilarious Collection of the World’s Silliest Dogs and Most Relatable Memes
by Charlie EllisFeaturing comedic captions, relatable memes and a collection of the world’s most hilarious doggos, this book is a pawsome gift for anyone who enjoys preposterous pooch picsIt’s a truth universally acknowledged that dogs are one of the most hilarious animals on the planet. From amusingly awkward sleeping positions, to pulling bizarre expressions, to zoomies so quick they give themselves a “frighten”, wherever there’s a doggo there’s always something silly and splendid to be seen.Funny Dogs is here to chronicle these important moments of absurdity. Within its pages, you’ll find:A selection of ridiculous dogs in high-quality photo formWitty captions to make you laugh out loudPriceless expressions and relatable memes for all the moments you thought you were the only one (but realized you weren’t)There is simply no end to the nonsense that dogs are capable of – and this book is here to celebrate, honour and cherish that fact.
Funology 2: From Usability to Enjoyment (Human–Computer Interaction Series)
by Mark Blythe Andrew MonkHow should we understand and design for fun as a User Experience? This new edition of a classic book is for students, designers and researchers who want to deepen their understanding of fun in the context of HCI. The 2003 edition was the first book to do this and has been influential in broadening the field. It is the most downloaded book in the Springer HCI Series. This edition adds 14 new chapters that go well beyond the topics considered in 2003. New chapter topics include: online dating, interactive rides, wellbeing, somaesthetics, design fiction, critical design and participatory design methods. The first edition chapters are also reprinted, with new notes by their authors setting the context in which the 2003 chapter was written and explaining the developments since then. Taken with the new chapters this adds up to a total of 35 theoretical and practical chapters written by the most influential thinkers from academia and industry in this field.
Furnishing the Library Interior
by William S PierceThis book discusses the selection, evaluation, and purchase of furniture and equipment for libraries. It examines the arrangement of the interior to update and illuminate earlier writings, and helps those spending even small amounts for library furniture and equipment to do so more wisely.
Further Advances in Internet of Things in Biomedical and Cyber Physical Systems (Intelligent Systems Reference Library #193)
by Valentina E. Balas Vijender Kumar Solanki Raghvendra KumarThis book covers the further advances in the field of the Internet of things, biomedical engineering and cyber physical system with recent applications. It is covering the various real-time, offline applications, and case studies in the field of recent technologies and case studies of the Internet of things, biomedical engineering and cyber physical system with recent technology trends. In the twenty-first century, the automation and management of data are vital, in that, the role of the Internet of things proving the potential support. The book is consisting the excellent work of researchers and academician who are working in the domain of emerging technologies, e.g., Internet of things, biomedical engineering and cyber physical system. The chapters cover the major achievements by solving and suggesting many unsolved problems, which am sure to be going to prove a strong support in industries towards automation goal using of the Internet of things, biomedical engineering and cyber physical system.