Software Engineering Books

Book SynopsisThis book provides a comprehensive review of cloud philosophy, design principals, development trends as well as practical patterns to guide readers to understand, design and implement successful cloud-based solutions. This book provides both hows and whys. It peers behind the buzz words such as machine learning, containers, and blockchains to help readers understand how to put those technologies into practical use. This unique book covers a broad spectrum of technologies of cloud computing. Table of ContentsPrefaceAbout the Author1 The Journey to Cloud2 Cloud-Native Design3 Containers and Microservices4 Security5 Intelligent Cloud6 Intelligent Edge7 Serverless8 Cloud DevOps9 Blockchain10 Cloud-Native ApplicationsIndex

Read more less

Book SynopsisThe book addresses the need to investigate new approaches to lower energy requirement in multiple application areas and serves as a guide into emerging circuit technologies. It explores revolutionary device concepts, sensors, and associated circuits and architectures that will greatly extend the practical engineering limits of energy-efficient computation. The book responds to the need to develop disruptive new system architecutres, circuit microarchitectures, and attendant device and interconnect technology aimed at achieving the highest level of computational energy efficiency for general purpose computing systems.Features Discusses unique technologies and material only available in specialized journal and conferences Covers emerging applications areas, such as ultra low power communications, emerging bio-electronics, and operation in extreme environments Explores broad circuit operation, ex. analog, RF, memory, and digital circuits ContaiTable of Contents1. Clock Generation and Distribution for Low-Power Digital Systems. 2. Design of Low Standby Power Fully Integrated Voltage Regulators. 3. On-Chip Regulators for Low Voltage and Portable Systems-on-Chip. 4. Low-Power Biosensor Design Techniques Based on Information theoretic Principles. 5. A Cost-Effective TAF-DPS Syntonuzation Scheme of Improving Clock Frequency Accuracy and Long-Term Frequency Stability for Universal Applications. 6. Exploiting Time: The Intersection Point of Multidiciplines and the Nest Challenge and Opportunity in the Making of Electronics. 7. Aging Evaluation and Mitigation Techniques Targeting FPGA Devices.

Read more less

Book SynopsisThis book explains IoT technology, its potential applications, the security and privacy aspects, the key necessities like governance, risk management, regulatory compliance needs, the philosophical aspects of this technology that are necessary to support an ethical, safe and secure digitally enhanced environment in which people can live smarter. It describes the inherent technology of IoT, the architectural components and the philosophy behind this emerging technology. Then it shows the various potential applications of the Internet of Things that can bring benefits to the human society. Finally, it discusses various necessities to provide a secured and trustworthy IoT service.Table of ContentsPart 1: Internet "of" Things. 1. Internet of Things and Its Potential. 2. The IoT Technology. 3. IoT Architecture. 4. The Philosophy of Information in the IoT. Part 2: Internet "for" Things. 5. Potential Applications of IoT. 6. IoT and Smart Cities. Part 3: Internet "by" Things. 7. Internet as the Foundation for Things: IPv4, IPv6, and Related Concepts. 8. Net Neutrality and Its Impact on IoT. 9. IoT Security, Privacy and GRC Assurance. 10. Managing Shared Risk in Interdependent Systems of Smart Cities. Part 4: IoT GRC, Standards and Regulations. 11. Discussion on Leading Global GRC Frameworks Applicable for IoT Implementations, Regulations (GDPR etc.), Standards ( NIST, ISO, IEEE, IETF, ETSI, etc.) and Role of GRC Audits. 12. Global GRC Frameworks Applicable for IoT Implementations, Regulations, Standards, and Role of GRC Audits. Part 5: Human Dimension of IoT: 13. Developing Policies to Create a Smart "White Box Society." Appendixes.

Read more less

Book SynopsisWritten by an expert in the game industry, Christer Ericson''s new book is a comprehensive guide to the components of efficient real-time collision detection systems. The book provides the tools and know-how needed to implement industrial-strength collision detection for the highly detailed dynamic environments of applications such as 3D games, virtual reality applications, and physical simulators.Of the many topics covered, a key focus is on spatial and object partitioning through a wide variety of grids, trees, and sorting methods. The author also presents a large collection of intersection and distance tests for both simple and complex geometric shapes. Sections on vector and matrix algebra provide the background for advanced topics such as Voronoi regions, Minkowski sums, and linear and quadratic programming.Of utmost importance to programmers but rarely discussed in this much detail in other books are the chapters covering numerical and geometric robustness, both essential topics for collision detection systems. Also unique are the chapters discussing how graphics hardware can assist in collision detection computations and on advanced optimization for modern computer architectures. All in all, this comprehensive book will become the industry standard for years to come.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

a huge range and FREE tracked UK delivery on ALL orders.

Read more less

Book SynopsisA no-nonsense introduction to software design using the Python programming language. The focus is on the programming process, with special emphasis on debugging. The book includes a wide range of exercises, from short examples to substantial projects, so that students have ample opportunity to practise each new concept.Trade Review'I liked this book. The presentation is neat and clean, I might even say cheerful. And I learned a lot, not least of all where higher level languages are going, and the terminology used to express that … I liked the pace of presentation. I liked the constant stirring of topics: a new feature, a hint on debugging, a few words on programming style, some thoughts on programming principles, then on to the next new feature. It really is a nice mix.' Scientific Programming'… explains concepts in clear, readable prose; contains helpful illustrations; and integrates activities to engage its readers.' Computing in Science and EngineeringTable of Contents1. Preface; 2. The way of the program; 3. Variables, expressions and statements; 4. Functions; 5. Case study: interface design; 6. Conditionals and recursion; 7. Fruitful functions; 8. Iteration; 9. Strings; 10. Case study: word play; 11. Lists; 12. Dictionaries; 13. Tuples; 14. Case study: data structure selection; 15. Files; 16. Classes and objects; 17. Classes and functions; 18. Classes and methods; 19. Inheritance; 20. Case study: Tkinter; Appendix 1: debugging.

Read more less

Book SynopsisBuilding on seven strong editions, the eighth edition maintains the organization and approach for which Object-Oriented and Classical Software Engineering is known while making significant improvements and additions to content as well as problems and projects. The revisions for the eighth edition make the text easier to use in a one-semester course.Integrating case studies to show the object oriented approach to software engineering, Object-Oriented and Classical Software Engineering, 8/e presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. While maintaining a unique organization with Part I covering underlying software engineering theory, and Part II presenting the more practical life cycle, the eighth edition includes significant revision to problems, new content, as well as a new chapter to enable instructors to better-utilize the book in a one-semester course. ComplementiTable of ContentsPart I: Introduction to Software EngineeringChapter 1: The Scope of Software EngineeringChapter 2: Software Life-Cycle ModelsChapter 3: The Software ProcessChapter 4: TeamsChapter 5: The Tools of the TradeChapter 6: TestingChapter 7: From Modules to ObjectsChapter 8: Reusability and PortabilityChapter 9: Planning and EstimatingPart II: The Workflows of the Software Life CycleChapter 10: Key Material from Part AChapter 11: RequirementsChapter 12: Classical AnalysisChapter 13: Object-Oriented AnalysisChapter 14: DesignChapter 15: ImplementationChapter 16: Postdelivery MaintenanceChapter 17: More on UMLChapter 18: Emerging Technologies

Read more less

Book SynopsisThe first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for e

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisThese proceedings cover a selection of papers presented at the 5th China - Europe International Symposium on Software Industry-oriented Education (CEISIE 2009) with particular focus given to enterprise applications in industry, integration and interoperability of enterprise applications and software, as well as enterprise application-oriented training and education.

Read more less

Book SynopsisThis series of five volumes proposes an integrated description of physical processes modeling used by scientific disciplines from meteorology to coastal morphodynamics. Volume 1 describes the physical processes and identifies the main measurement devices used to measure the main parameters that are indispensable to implement all these simulation tools. Volume 2 presents the different theories in an integrated approach: mathematical models as well as conceptual models, used by all disciplines to represent these processes. Volume 3 identifies the main numerical methods used in all these scientific fields to translate mathematical models into numerical tools. Volume 4 is composed of a series of case studies, dedicated to practical applications of these tools in engineering problems. To complete this presentation, volume 5 identifies and describes the modeling software in each discipline.Table of ContentsIntroduction xv PART 1. 3D MODELS 1 Chapter 1. Non-Linear Waves With REFLUX 3D 3 Philippe SERGENT 1.1. Context 3 1.2. Data required for implementation 13 1.3. Specific numerical methods 14 1.4. Modeling options 17 1.5. Results output by the code, and operation 21 1.6. Examples of models 25 1.7. Bibliography 25 Chapter 2. Current Modeling with TELEMAC3D 29 Jacques CHORDA and Marie-Madeleine MAUBOURGUET 2.1. TELEMAC3D: 3D hydrodynamics at a free surface 29 2.2. Equations used in TELEMAC3D 30 2.3. Choices of 3D mesh 31 2.4. Specific features 31 2.5. Simple transition from TELEMAC2D to TELEMAC3D 32 2.6. Application example 32 2.7. Bibliography 34 Chapter 3. Atmospheric Modeling 35 Jean PAILLEUX 3.1. The rise of modeling as a tool in meteorology 35 3.2. Operational weather forecasting models 36 3.3. Towards kilometer-scale numerical forecasting – the AROME model 40 3.4. Bibliography 43 Chapter 4. Groundwater Flow Modeling in Porous Media Using MARTHE 45 Dominique THIÉRY 4.1. Application area 45 4.2. References 46 4.3. Technical features 47 4.4. Structure of the code 49 4.5. WinMarthe preprocessor 51 4.6. Simulation of the migration of a pollution plume 54 4.7. Complex hydrogeological configurations 56 4.8. Biphasic simulation of saline intrusion 59 4.9. Infiltration of imiscible TCE (tetracholoethylene) into heterogenous sand initially saturated with water 60 4.10. Biphasic simulation of water injected at four points into an aquifier initially saturated with oil 60 4.11. Biphasic simulation of methane storage in an aquifer 60 PART 2. 2D MODELS 63 Chapter 5. Meteorology and Hydrology 65 Florence HABETS 5.1. Bibliography 69 Chapter 6. Hydrological Modeling with MARINE 71 Marie-Madeleine MAUBOURGUET 6.1. General description of MARINE 71 6.2. Description of pre-processing 72 6.3. Description of the hydrological module 73 6.4. Description of river transport 78 6.5. Application examples 78 6.6. Bibliography 80 Chapter 7. Distributed Hydrological Modeling – the ATHYS Platform 83 Christophe BOUVIER, Anne CRESPY, Agnès L’AOUR-DUFOUR, François Noël CRES, François DESCLAUX and Arthur MARCHANDISE 7.1. General description of ATHYS 83 7.2. Pre-processing phase 84 7.3. Description hydrological models 86 7.4. Description of post-processing 92 7.5. Applications 93 7.6. Conclusions and future directions 99 7.7. Bibliography 100 Chapter 8. Operational Applications of the LARSIM Model for Flood Forecasting 101 Norbert DEMUTH 8.1. The problem 101 8.2. Structure of the LARSIM model 101 8.3. Operational mode – summary 102 8.4. Quality control and validation of input data 103 8.5. Spatial interpolation of rainfall data 105 8.6. Launching a forecasting simulation 105 8.7. Analysis of results, and experiments performed by the flood prediction services 105 8.8. Bibliography 107 Chapter 9. Real-Time Runoff – Infiltration Models: TOPMODEL 109 Georges-Marie SAULNIER 9.1. Introduction 109 9.2. TOPMODEL philosophy 110 9.3. Advantages of TOPMODEL 113 9.4. Forcing and predicted variables in TOPMODEL 113 9.5. Analytical basis 116 9.6. Bibliography 117 Chapter 10. Currents with TELEMAC2D 119 Marie-Madeleine MAUBOURGUET and Jacques CHORDA 10.1. TELEMAC2D: hydrodynamics and the environment 119 10.2. The TELEMAC system 120 10.3. Original features and customizable code 121 10.4. TELEMAC as a training tool for hydraulic engineers 122 10.5. Bibliography 126 Chapter 11. 2D Model of Sediment Transport with RUBAR 20TS 129 André PAQUIER 11.1. Description of the 2D RUBAR 20TS model 129 11.2. Bibliography 138 Chapter 12. NAVMER: Ship Trajectory Simulator 139 Yann HOLLOCOU 12.1. The simulator 139 12.2. Simulations of a passenger vessel on the Seine 140 12.3. Sixth crossing on the Seine 141 12.4. Le Havre Port 2000: navigability of outer reaches 145 12.5. Port of Nice 146 12.6. Outlook 153 PART 3. 1D MODELS 155 Chapter 13. Waves Using VAG 157 Philippe SERGENT 13.1. Context 157 13.2. Results from the operational code 162 13.3. Examples of models 163 13.4. Bibliography 163 Chapter 14. Real Time Discharge-Discharge Models with SOPHIE 165 Marie-Pierre NÉRARD 14.1. Discharge-discharge relationships 166 14.2. Rainfall-runoff models 170 14.3. Other models 172 14.4. Which model to use? 174 Chapter 15. 1D Flow Models: Comparing MASCARET and RUBAR 3 177 André PAQUIER, Patrick CHASSÉ, Nicole GOUTAL and Amélie BESNARD 15.1. Analysis of Saint-Venant equations for transcritical flows 177 15.2. Numerical solution of sub-critical and super-critical regimes for the 1D Saint-Venant equations: examples of the RUBAR 3 and MASCARET computer codes 184 15.3. Example calculation: propagation of the dam-break wave for the Malpasset barrage 194 15.4. Bibliography 198 Chapter 16. 1D Compartment Flow Models 201 Jean-Baptiste FAURE and André PAQUIER 16.1. Context 201 16.2. Modeling options 202 16.3. Data required for implementation 203 16.4. Specific numerical methods 205 16.5. Code output and analysis 206 16.6. Examples of models 206 Chapter 17. CANOE: an Urban Hydrology Software Package 209 Bernard CHOCAT 17.1. Origin 209 17.2. General description 209 17.3. Structural data management (project) 211 17.4. Management of structure catalog (transport) 212 17.5. Management of hydrometric data (rainfall) 213 17.6. Hydrological and hydraulic simulation 213 17.7. Water quality simulation 215 17.8. Project assistant 216 17.9. CANOE-GIS 217 17.10. Examples of pre-and post-processing workflows 217 Chapter 18. Water Quality with ProSe 219 Patrick GOBLET and Stéphanie EVEN 18.1. Hydrodynamic model 219 18.2. Transport model 220 18.3. Sediment exchange 220 18.4. Biochemical model 222 18.5. Bibliography 224 Chapter 19. Substance Transport 227 Jean-Baptiste FAURE 19.1. Context 227 19.2. Modeling options 228 19.3. Data required for implementation 229 19.4. Specific numerical methods 230 19.5. Results from the code, and analysis of results 232 19.6. Bibliography 232 Chapter 20. 1D Sediment Transport with RUBARBE and TSAR 233 André PAQUIER 20.1. RUBARBE code 233 20.2. Sediment description for the river bed 235 20.3. Method of solution 236 20.4. Sedimentary balance within a mesh cell 236 20.5. Shear stress calculation 238 20.6. The TSAR code 240 20.7. Bibliography 243 Chapter 21. An Integrated Simulation Platform – PamHyr 245 Jean-Baptiste FAURE 21.1. Overview 245 21.2. Key features of a hydraulic modeling environment (HME) 246 21.3. PamHyr: an example HME 247 21.4. Bibliography 251 List of Authors 253 Index 257 General Index of Authors 259 Summaries of Other Volumes in the Series 261

Read more less

Book SynopsisThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).Table of ContentsIntroduction xi Jean-Louis Boulanger Chapter 1. Formal Techniques for Verification and Validation 1 Jean-Louis BOULANGER 1.1. Introduction 1 1.2. Realization of a software application 1 1.3. Characteristics of a software application 3 1.4. Realization cycle 4 1.5. Techniques, methods and practices 13 1.6. New issues with verification and validation 39 1.7. Conclusion 41 1.8. Bibliography 42 Chapter 2. Airbus: Formal Verification in Avionics 45 Jean Souyris, David DELMAS and Stéphane DUPRAT 2.1. Industrial context 45 2.2. Two methods for formal verification 52 2.3. Four formal verification tools 66 2.4. Examples of industrial use 80 2.6. Bibliography 109 Chapter 3. Polyspace 113 Patrick MUNIER 3.1. Overview 113 3.2. Introduction to software quality and verification procedures 114 3.3. Static analysis 116 3.4. Dynamic tests 116 3.5. Abstract interpretation 117 3.6. Code verification 118 3.7. Robustness verification or contextual verification 121 3.8. Examples of Polyspace® results 123 3.9. Carrying out a code verification with Polyspace 128 3.10. Use of Polyspace® can improve the quality of embedded software 130 3.11. Carrying out certification with Polyspace® 135 3.12. The creation of critical onboard software 135 3.13. Concrete uses of Polyspace® 135 3.14. Conclusion 141 3.15. Bibliography 141 Chapter 4. Software Robustness with Regards to Dysfunctional Values from Static Analysis 143 Christèle FAURE, Jean-Louis BOULANGER and Samy AÏT KACI 4.1. Introduction 143 4.2. Normative context 144 4.3. Elaboration of the proof of the robustness method 146 4.4. General description of the method 151 4.5. Computation of the control required 157 4.6. Verification of the effective control of an industrial application 161 4.7. Discussion and viewpoints 172 4.8. Conclusion 173 4.9. Bibliography 174 Chapter 5. CodePeer – Beyond Bug-finding with Static Analysis 177 Steve BAIRD, Arnaud CHARLET, Yannick MOY and Tucker TAFT 5.1. Positioning of CodePeer 177 5.2. A tour of CodePeer capabilities 182 5.3. CodePeer’s inner working 188 5.4. Conclusions 204 5.5. Bibiliography 205 Chapter 6. Formal Methods and Compliance to the DO-178C/ED-12C Standard in Aeronautics 207 Emmanuel LEDINOT and Dillon PARIENTE 6.1. Introduction 207 6.2. Principles of the DO-178/ED-12 standard 208 6.3. Verification process 212 6.4. The formal methods technical supplement 218 6.5. LLR verification by model-checking 229 6.6. Contribution to the verification of robustness properties with Frama-C 234 6.7. Static analysis and preservation of properties 252 6.8. Conclusion and perspectives 256 6.9. Appendices 258 6.10. Acknowledgements 268 6.11. Bibliography 269 Chapter 7. Efficient Method Developed by Thales for Safety Evaluation of Real-to-Integer Discretization and Overflows in SIL4 Software 273 Anthony BAÏOTTO, Fateh KAAKAÏ, Rafael MARCANO and Daniel DRAGO 7.1. Introduction 273 7.2. Discretization errors in the embedded code production chain 274 7.3. Modeling of the creation and propagation of uncertainties 280 7.4. Good practice of an analysis of real-to-integer discretization 294 7.5. Arithmetic overflow and division by zero 297 7.6. Application to a rail signalling example 299 7.7. Conclusion 307 7.8. Annexe: proof supplements 308 7.9. Bibliography 317 Conclusion and viewpoints 319 Jean-Louis BOULANGER Glossary 323 List of Authors 327 Index 329

Read more less

Book SynopsisARM designs the cores of microcontrollers which equip most "embedded systems" based on 32-bit processors. Cortex M3 is one of these designs, recently developed by ARM with microcontroller applications in mind. To conceive a particularly optimized piece of software (as is often the case in the world of embedded systems) it is often necessary to know how to program in an assembly language. This book explains the basics of programming in an assembly language, while being based on the architecture of Cortex M3 in detail and developing many examples. It is written for people who have never programmed in an assembly language and is thus didactic and progresses step by step by defining the concepts necessary to acquiring a good understanding of these techniques.Table of ContentsPreface ix Chapter 1. Overview of Cortex-M3 Architecture 1 1.1. Assembly language versus the assembler 1 1.2. The world of ARM 2 Chapter 2. The Core of Cortex-M3 15 2.1. Modes, privileges and states 15 2.2. Registers 17 Chapter 3. The Proper Use of Assembly Directives 25 3.1. The concept of the directive 25 3.2. Structure of a program 27 3.3. A section of code 29 3.4. The data section 36 3.5. Is that all? 39 Chapter 4. Operands of Instructions 47 4.1. The constant and renaming 48 4.2. Operands for common instructions 49 4.3. Memory access operands: addressing modes 57 Chapter 5. Instruction Set 63 5.1. Reading guide 63 5.2. Arithmetic instructions 66 5.3. Logical and bit manipulation instructions 70 5.4. Internal transfer instructions 75 5.5. Test instructions 76 5.6. Branch instructions 77 5.7. Load/store instructions 80 5.8. “System” instructions and others 85 Chapter 6. Algorithmic and Data Structures 87 6.1. Flowchart versus algorithm 87 6.2. Alternative structures 89 6.3. Iterative structures 98 6.4. Compound conditions 106 6.5. Data structure 111 Chapter 7. Internal Modularity 119 7.1. Detailing the concept of procedure 119 7.2. Procedure arguments 123 7.3. Local data 136 Chapter 8. Managing Exceptions 147 8.1. What happens during Reset? 148 8.2. Possible exceptions 151 8.3. Priority management 161 8.4. Entry and return in exception processing 167 Chapter 9. From Listing to Executable: External Modularity 173 9.1. External modularity 175 9.2. The role of the assembler 182 9.3. The role of the linker 188 9.4. The loader and the debugging unit 196 Appendices 199 Appendix A. Instruction Set – Alphabetical List 201 Appendix B. The SysTick Timer 209 Appendix C. Example of a “Bootstrap” File 217 Appendix D. The GNU Assembler 227 Bibliography 239 Index 241

Read more less

Book SynopsisDuring the IFAC/IFIP I-ESA international conference, supported by the INTEROP NoE and the ATHENA IP, three workshops and a doctoral symposium were organized in order to strengthen some key topics related to interoperability for enterprise applications and software. The workshops were selected to complement the conference topics, providing researchers with more time to brainstorm and then to come out, at the end of the workshops, with new research directions for the future.Table of ContentsEditorial. EI2N 2nd International Workshop on Enterprise Integration, Interoperability and Networking. Session 1: UEML for Enterprise Applications Interoperability. Session 2: Ontologies for Applications Interoperability. Session 3: Collaborative and Networked Enterprise Interoperability. WSI 2nd International Workshop on Web Services and Interoperability. Session 1: Model Driven Architectures. Session 2: Web Services for Interoperability. IS-TSPQ 1st International Workshop on Interoperability Solutions to Trust, Security, Policies and QoS for Enhanced Enterprise Systems. Session 1: A Business and Requirements View. Session 2: Infrastructure Provision. I-ESA '2006 Doctorial Symposium. Session 1: Model Driven Development. Session 2: Business Process Modelling. Session 3: Software Development and Interoperability. Session 4: Enterprise Modelling and Knowledge Management. Index of Authors.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisBuild and deploy secure Spring Framework and Spring Boot-based enterprise Java applications with the Spring Security Framework. This book explores a comprehensive set of functionalities to implement industry-standard authentication and authorization mechanisms for Java applications.Pro Spring Security, Third Edition has been updated to incorporate the changes in Spring Framework 6 and Spring Boot 3. It is an advanced tutorial and reference that guides you through the implementation of the security features for a Java web application by presenting consistent examples built from the ground up.This book also provides you with a broader look into Spring security by including up-to-date use cases such as building a security layer for RESTful web services and JSON Web Token applications.What You Will Learn Explore the scope of security and how to use the Spring Security Framework Master Spring security architecture and design Secure the web tier in Spring Work with alternative authentication providers Take advantage of business objects and logic security Extend Spring security with other frameworks and languages Secure the service layer Secure the application with JSON Web Token Who This Book Is ForExperienced Spring and Java developers with prior experience in building Spring Framework or Boot-based applicationsTable of Contents

Read more less

Book SynopsisAPIs are the enablers for a thriving ecosystem that can drive revenue growth and ROIs for any organization. This book will cover all relevant topics and trends that enterprise architects need to know to build and govern APIs as a product. The second edition of the API Management builds on the foundation established in the first edition to cover recent advances in API development as well as the principles and best practices of building API as a product. It has been updated to cover the latest and emerging trends in API architecture, design, and implementation covering the use of gRPC, graphQL, microservices and service mesh to building and manage a scalable API platform. New chapters cover how to build an effective API strategy for digital transformation and implement an API-First architecture to build and deliver APIs as a Product. Any software architect or developer looking to adopt and build APIs for digital transformation and excellence within their organization will find this book to be an invaluable resource. What You Will Learn Understand API Management Architecture and Design best practices How to build an effective API strategy and build APIs as product How to design, build and test APIs using API-First approach How to implement API Security What are the latest API technology trends and adoption across industry Who This Book Is For CxOs, software architects, and developers who are looking to implement APIs within their organization for digital transformation initiatives. Table of ContentsChapter 1: Introduction to APIsChapter Goal: This chapter introduces APIs and their importance in today’s digital economy for all digital transformation programs. We look at some of the associated and similar technologies like SOA, iPaas, and Microservices and understand their differences and relationship with API. The second edition will make updates to the examples for popular public APIs, types of APIs, introduction to iPaas platform for APIs, and some of No of pages 12 to 15 pagesChapter 2: Introduction to API ManagementChapter Goal: This chapter discusses the need for an API Management platform for an enterprise. It focuses on the capabilities required for an API management platform viz. API Gateway, Developer Portal, and API Analytics. The second edition of the book will highlight the recent advancements and trends in API Management and new capabilities added to API Management platform products.No of pages: 12 to 15 pagesSub - Topics 1. API Gateway2. API Developer Portal3. API Analytics4. Service MeshChapter 3: Designing RESTful APIsChapter Goal: This chapter will cover the concepts and best practices for designing RESTful APIs that developer love. It will introduce the audience to the right use of HTTP verbs, HTTP status codes, versioning guidelines, and resource naming conventions for building restful APIs. No of pages : 18 to 20 pagesSub - Topics: 1. REST API Design Principles2. API Naming conventions3. HTTP Verbs and Error codes4. API Design Best Practices Chapter 4: API DocumentationChapter Goal: This chapter will discuss the importance of documentation for APIs and the best practices for documenting APIs. It will discuss the various standards out there for documentation and the differences. Advances and differences in API documentation standards like OAS. RAML and Async APIs will be covered. The 2nd edition of the book will introduce the changes in the API document standards No of pages:12 to 15 pagesSub - Topics: 1. Importance of good API documentation2. Open API Specifications3. RAML4. Async APIsChapter 5: API Architecture PatternsChapter Goal: This chapter focuses on the various patterns for developing and managing scalable APIs. It discusses the patterns for API Implementation, Traffic Management, API Security, API Deployments, and API Adoption. The 2nd edition will cover the new patterns for the development scalable APIsNo of pages: 20 to 25 pagesSub - Topics: 1. API Traffic Management Patterns2. API Security Patterns3. API deployment patterns4. API Operations and adoption patternsChapter 6: API Version ManagementChapter Goal: This chapter will highlight the importance and approaches for versioning APIs for easier life cycle management. Chapter 7: API SecurityChapter Goal: This chapter will discuss the various approaches and technologies available for implementing robust end-to-end security for APIs. The 2nd edition will also focus on the latest advances in API security like WAAP and protection against BoT attacksNo of pages:25 to 30 pagesSub - Topics: 1. API Authentication and Authorization2. OAuth3. Open Id Connect4. JwT tokens5. Preventing BoT attacks6. WAAP (Web Application and API Protection)Chapter 8: API MonetizationChapter Goal: This chapter will highlight the various API monetization models and the concepts around creating an API Monetization package. The chapter will also cover some of the pitfalls to avoid while selecting the monetization model. The 2nd edition will update this chapter to cover the pitfalls to avoid while monetizing APIsNo of pages: 8 to 10 pagesSub - Topics: 1. API Monetization approach2. API Monetization Models3. Pitfalls to avoid while Monetizing APIsChapter 9: API Testing StrategyChapter Goal: This chapter will focus on the right approach to test APIs with interface testing, functional integration testing, security testing, and load and performance testing. The chapter will also look at some of the popular tools for API testing. No of pages: 12 to 15 pagesSub - Topics: 1. API Testing approach2. Best practices for API testing3. API Testing toolsChapter 10: API AnalyticsChapter Goal: This chapter will focus on the various stakeholders and metrics/dashboards to look at for monitoring the performance of APIs. No of pages: 5 to 8 pagesSub - Topics: 5. API Analytics6. App Analytics7. Developer Analytics Chapter 11: API Developer PortalChapter Goal: This chapter will focus on the need for building a rich and user-friendly Developer Portal. It will highlight the necessary components and functionalities to be implemented in a Developer Portal. The 2nd edition of this chapter will introduce the best practices to follow and advanced capabilities that should be built to accelerate the adoption of APIs using the Developer PortalNo of pages: 12 to 15 pagesSub - Topics: 1. API Publications2. Developer Onboarding3. API dashboards4. Forums and Blogs5. Support Chapter 12: API GovernanceChapter Goal: This chapter will look into the various personas and their roles in the API lifecycle. It will look at the scope and aim of API Governance. The various API governance models will be discussed in this chapter. The 2nd edition will highlight the best practices to follow for an effective API governanceNo of pages: 8 to 10 pagesSub - Topics: 1. API Lifecycle 2. Personals and Roles3. API Governance Models4. Best practices for effective API GovernanceChapter 13: Building an effective API Strategy Chapter Goal: This new chapter in the 2nd edition will focus on the approach to building an effective API strategy for an organization. It will highlight the components that should be part of the enterprise API strategy. No of pages: 5 to 8 pages Sub - Topics: 1. API Business Strategy2. API Technology Strategy3. API Ecosystem StrategyChapter 14: Building an API-First Architecture Chapter Goal: This new chapter in the 2nd edition will focus on the principles and approaches for building an API-First architecture. It will cover the API principles for API exposure, and various patterns for building scalable and decoupled APIs like orchestration, choreography, event-driven approach, service mesh, service registryNo of pages: 20 to 25 pagesChapter 15: Modern API Architecture StylesChapter Goal: This new chapter in the 2nd edition will introduce the readers to some of the latest advancements in technology for building APIs like graphQL, and gRPC. It will look at the various criteria for making the right technology choices for architecting APIsNo of pages: 10 to 12 pagesSub - Topics: 1. graphQL2. gRPCChapter 16: Build APIs as a ProductChapter Goal: This new chapter in the 2nd edition will focus on the principles for building APIs as a product that customers will love. It will also discuss the approaches and best practices to be followed for creating an API Product and launching it in the marketNo of pages: 10 to 12 pagesSub - Topics: 1. Pillars of a product mindset2. Guide to API Product Management Principles Chapter 17: API Maturity ModelChapter Goal: This new chapter in the 2nd edition will talk about the maturity levels of an enterprise APIs program. It also provides a roadmap that organizations may adopt to evolve and mature their APIs to meet the growing business needs No of pages: 8 to 10 pagesSub - Topics: 1. API Architecture maturity2. API Governance maturity3. API Developer Community Maturity4. API Development Process Maturity5. API Operations Maturity

Read more less

Book SynopsisTake a 360 degree tour of the engineering manager's role and responsibilities. This book brings them to life with practical scenarios and references, and ensures their relevance to your daily work. From upkeeping technical skills, to managing people and stakeholders, to ensuring timely deliverables, the job of the engineering manager is fast-paced, complex, and often short on learning resources. Fear not, this book has you covered with tips on managing evolving processes, delivering impactful projects in a timely manner, setting goals and priorities among product and technical initiatives, and helping your team focus and deliver. The Complete Engineering Manager will leave you with a broader perspective and deeper skill set to apply to engineering management.What You Will LearnBuild a compelling roadmap with your product manager and set strategy, direction, and goals with your teamIdentify what's working and not working for your engineering teamEvolve your team's development, delivery, and technical processes to improve their efficiency Recognize priorities that matter the most for you, your team, and your organizationPrioritize aggressively between product and technical initiativeAdopt modern engineering management practices such as utilizing AIWho This Book is ForNew, aspiring, and experienced engineering managers who are looking for resources to address challenges in their role.

Read more less

Book SynopsisChapter 1: Fundamentals of Software Engineering.- Chapter 2: Components of Code.- Chapter 3: Classes Chapter 4: Testing.- Chapter 5: Design Principles.- Chapter 6: Programming.- Chapter 7: High-Level Design.- Chapter 8: Refactoring.- Chapter 9: Other Common Topics.- Chapter 10: Collaborating.- Appendix A: Further Reading.- Appendix B: Abbreviations.

Read more less

Book SynopsisChapter 1: Build Your Presence.- Chapter 2: Champion Your Team.- Chapter 3: Acquire Talent.- Chapter 4: Organize Your People.- Chapter 5: Set Goals.- Chapter 6: Set Expectations.- Chapter 7: Evaluate & Promote.- Chapter 8: Choose the Tech Stack.- Chapter 9: Adopt Best Practices.- Chapter 10: Build a strong software foundation.- Chapter 11: Manage technical debt.- Chapter 12: Closing words.

Read more less

Book SynopsisIntroduction.- Part I: The Importance of API Design.- Chapter 1: Transforming Problematic APIs.- Chapter 2: Communication Categories.- Chapter 3: Quality Requirements for APIs.- Part II: Domain Driven API Design.- Chapter 4: Online Library.- Chapter 5: API Design supported by Domain-driven Design.- Chapter 6: Definition of the Interfaces.- Chapter 7: Defining the Interfaces of the Online Library.- Part III: Enabling Tranformation.- Chapter 8: Developer experience and API implementation.- Chapter 9: Collaborative Design and Agility.- Chapter 10: Iterative Extesions.- Chapter 11: Brownfield Project.- Chapter 12: Shortcuts in the Process.- Chapter 13: APIs and Events in a Neverless World.- Part IV: Summarizing.- Chapter 14: Avoiding Mistakes in the Definition of Events and APIs.- Chapter 15: A Couple of Beautiful APIs.- Chapter 16: Summary.- Glossary.- Solutions.

Read more less