Группа авторов
Список книг автора Группа авторовVerification and Validation for Quality of UML 2.0 Models
A practical approach to enhancing quality in software models using UML Version 2.0 «Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book!» -From the Foreword by Prof. Brian Henderson-Sellers This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the discussion on the nature and creation of UML models. This is followed by a demonstration of how to apply verification and validation checks to these models with three foci: syntactical correctness, semantic meaningfulness, and aesthetic symmetry. The quality work is carried out within three distinct yet related modeling spaces: * Model of problem space (MOPS) * Model of solution space (MOSS) * Model of background space (MOBS) Readers can then choose a specific quality approach according to their roles in their projects. Verification and validation checks are also organized according to these three modeling spaces, making it easier for the reader to focus on the appropriate diagrams and quality checks corresponding to their modeling space. In addition, a major element of this publication is the Strengths, Weaknesses, Objectives, and Traps (SWOT) analysis. This analysis is performed on each UML diagram, enabling readers to fully comprehend these diagrams, their advantages and limitations, and the way in which they can be used in practical projects for modeling. A consistent case study of the Lucky Insurance System is provided throughout the chapters to illustrate the creation of good quality UML diagrams, followed by application of quality checks to them. With its emphasis on quality in UML-based projects, this book is an essential resource for all quality professionals, including quality analysts, process consultants, quality managers, test designers, and testers.
UML 2 Semantics and Applications
A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction designs Semantics of activity diagrams Verification of UML models State invariants Model transformation specification and verification Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.
PHP, MySQL, & JavaScript All-in-One For Dummies
Explore the engine that drives the internet It takes a powerful suite of technologies to drive the most-visited websites in the world. PHP, mySQL, JavaScript, and other web-building languages serve as the foundation for application development and programming projects at all levels of the web. Dig into this all-in-one book to get a grasp on these in-demand skills, and figure out how to apply them to become a professional web builder. You’ll get valuable information from seven handy books covering the pieces of web programming, HTML5 & CSS3, JavaScript, PHP, MySQL, creating object-oriented programs, and using PHP frameworks. Helps you grasp the technologies that power web applications Covers PHP version 7.2 Includes coverage of the latest updates in web development Perfect for developers to use to solve problems This book is ideal for the inexperienced programmer interested in adding these skills to their toolbox. New coders who've made it through an online course or boot camp will also find great value in how this book builds on what you already know.
Professional C# 7 and .NET Core 2.0
The professional’s guide to C# 7, with expert guidance on the newest features Professional C# 7 and .NET Core 2.0 provides experienced programmers with the information they need to work effectively with the world’s leading programming language. The latest C# update added many new features that help you get more done in less time, and this book is your ideal guide for getting up to speed quickly. C# 7 focuses on data consumption, code simplification, and performance, with new support for local functions, tuple types, record types, pattern matching, non-nullable reference types, immutable types, and better support for variables. Improvements to Visual Studio will bring significant changes to the way C# developers interact with the space, bringing .NET to non-Microsoft platforms and incorporating tools from other platforms like Docker, Gulp, and NPM. Guided by a leading .NET expert and steeped in real-world practicality, this guide is designed to get you up to date and back to work. With Microsoft speeding up its release cadence while offering more significant improvement with each update, it has never been more important to get a handle on new tools and features quickly. This book is designed to do just that, and more—everything you need to know about C# is right here, in the single-volume resource on every developer’s shelf. Tour the many new and enhanced features packed into C# 7 and .NET Core 2.0 Learn how the latest Visual Studio update makes developers’ jobs easier Streamline your workflow with a new focus on code simplification and performance enhancement Delve into improvements made for localization, networking, diagnostics, deployments, and more Whether you’re entirely new to C# or just transitioning to C# 7, having a solid grasp of the latest features allows you to exploit the language’s full functionality to create robust, high -quality apps. Professional C# 7 and .NET Core 2.0 is the one-stop guide to everything you need to know.
Hydrodynamics of Free Surface Flows
A definitive guide for accurate state-of-the-art modelling of free surface flows Understanding the dynamics of free surface flows is the starting point of many environmental studies, impact studies, and waterworks design. Typical applications, once the flows are known, are water quality, dam impact and safety, pollutant control, and sediment transport. These studies used to be done in the past with scale models, but these are now being replaced by numerical simulation performed by software suites called “hydro-informatic systems”. The Telemac system is the leading software package worldwide, and has been developed by Electricité de France and Jean-Michel Hervouet, who is the head and main developer of the Telemac project. Written by a leading authority on Computational Fluid Dynamics, the book aims to provide environmentalists, hydrologists, and engineers using hydro-informatic systems such as Telemac and the finite element method, with the knowledge of the basic principles, capabilities, different hypotheses, and limitations. In particular this book: presents the theory for understanding hydrodynamics through an extensive array of case studies such as tides, tsunamis, storm surges, floods, bores, dam break flood waves, density driven currents, hydraulic jumps, making this a principal reference on the topic gives a detailed examination and analysis of the notorious Malpasset dam failure includes a coherent description of finite elements in shallow water delivers a significant treatment of the state-of-the-art flow modelling techniques using Telemac, developed by Electricité de France provides the fundamental physics and theory of free surface flows to be utilised by courses on environmental flows Hydrodynamics of Free Surface Flows is essential reading for those involved in computational fluid dynamics and environmental impact assessments, as well as hydrologists, and bridge, coastal and dam engineers. Guiding readers from fundamental theory to the more advanced topics in the application of the finite element method and the Telemac System, this book is a key reference for a broad audience of students, lecturers, researchers and consultants, right through to the community of users of hydro-informatics systems.
Design and Analysis of Distributed Algorithms
This text is based on a simple and fully reactive computational model that allows for intuitive comprehension and logical designs. The principles and techniques presented can be applied to any distributed computing environment (e.g., distributed systems, communication networks, data networks, grid networks, internet, etc.). The text provides a wealth of unique material for learning how to design algorithms and protocols perform tasks efficiently in a distributed computing environment.
Programming the Network with Perl
After providing an introduction to the Perl programming language, this helpful guide teaches computer networking using Perl. Topics discussed include ethernet network analysis, programming standard Internet protocols, and exploring mobile agent programming. * Each chapter provides a general discussion of the technologies under consideration, the support for programming the technologies as provided by Perl, and implementations of working examples * Covers Mobile Agent Technology, which is set to become one of the «next big things» on the Internet * Further information is supplied, including a listing of Web and print resources, programming exercises, and tips to expand the reader's understanding of the material
Managing and Leading Software Projects
The book is organized around basic principles of software project management: planning and estimating, measuring and controlling, leading and communicating, and managing risk. Introduces software development methods, from traditional (hacking, requirements to code, and waterfall) to iterative (incremental build, evolutionary, agile, and spiral). Illustrates and emphasizes tailoring the development process to each project, with a foundation in the fundamentals that are true for all development methods. Topics such as the WBS, estimation, schedule networks, organizing the project team, and performance reporting are integrated, rather than being relegating to appendices. Each chapter in the book includes an appendix that covers the relevant topics from CMMI-DEV-v1.2, IEEE/ISO Standards 12207, IEEE Standard 1058, and the PMI® Body of Knowledge. (PMI is a registered mark of Project Management Institute, Inc.)
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Provides an introduction to modern object-oriented design principles and applications for the fast-growing area of modeling and simulation Covers the topic of multi-domain system modeling and design with applications that have components from several areas Serves as a reference for the Modelica language as well as a comprehensive overview of application model libraries for a number of application domains
You Can Program in C++
An interactive and fun way to learn C++, one of the most popular high-level programming languages for graphic applications This unique, hands-on approach to learning C++ makes the experience fun and interesting by offering the opportunity for readers to get started on real coding Features numerous examples and project ideas as well as GUI and audio extensions so readers can get instant feedback – in addition to instant gratification from producing a program that works Written by one of the world's leading authorities on C and C++, the book includes invaluable reference sections at the end of each chapter Discusses modern C++ idioms, which are often neglected in other publications