Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors)

• Record Nr.: UNISA996465326103316
• Pubbl/distr/stampa: Berlin, Germany ; ; New York, New York : , : Springer, , [2008]; ©2008
• ISBN: 3-540-79707-6
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (X, 254 p.)
• Collana: Programming and Software Engineering ; ; 4916
• Classificazione: 54.52
• Disciplina: 005.1/4
• Soggetti: Computer programs - Verification; Software engineering; Formal methods (Computer science)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions.
• Sommario/riassunto: This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

Serverless integration design patterns with azure : build powerful cloud solutions that sustain next-generation products / / Abhishek Kumar, Srinivasa Mahendrakar

• Record Nr.: UNINA9910820813903321
• Autore: Kumar Abhishek
• Pubbl/distr/stampa: Birmingham ; ; Mumbai : , : Packt Publishing, , [2019]; ©2019
• ISBN: 1-78839-083-0
• Edizione: [1st edition]
• Descrizione fisica: 1 online resource (486 pages) : illustrations
• Disciplina: 005.436
• Soggetti: Software maintenance - Computer programs
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Sommario/riassunto: A practical guide that helps you progress to using modern integration methods and leverage new cloud capability models Key Features Design critical hybrid integration solutions for your organization Gain in-depth knowledge of how to build cloud-native integration solutions Leverage cognitive services to build smart cloud solutions Book Description With more enterprises adapting cloud-based and API-based solutions, application integration has become more relevant and significant than ; ever before. Parallelly, Serverless Integration has gained popularity, as it helps agile organizations to build integration solutions quickly without having to worry about infrastructure costs. With Microsoft Azure's serverless offerings, such as Logic Apps, Azure Functions, API Management, Azure Event Grid and Service Bus, organizations can build powerful, secure, and scalable integration solutions with ease. The primary objective of this book is to help you to understand various serverless offerings included within Azure Integration Services, taking you through the basics and industry practices and patterns. This book starts by explaining the concepts of services such as Azure Functions, Logic Apps, and Service Bus with hands-on examples and use cases. After getting to grips with the basics, you will be introduced to API Management and building B2B solutions using Logic Apps Enterprise Integration Pack. This book will help readers to understand building hybrid integration solutions and touches upon Microsoft Cognitive Services and leveraging them in modern integration solutions. Industry practices and patterns are brought to light at appropriate opportunities while explaining various concepts. What you will learn Learn about the design principles of Microsoft Azure Serverless Integration Get insights into Azure Functions, Logic Apps, Azure Event Grid and Service Bus Secure and manage your integration endpoints using Azure API Management Build advanced B2B solutions using Logic Apps, Enterprise Integration Pack Monitor integration solutions using tools available on the market Discover design patterns for hybrid integration Who this book is for Serverless Integration Design Patterns with Azure is for you if you are a solution architect or integration professional aiming to build complex cloud solutions for your organization. Developers looking to build next-level hybrid or cloud solutions will also find this book useful. Prior programming knowledge is necessary.