Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model-driven development has become the most important new paradigm in software development and has already demonstrated considerable impact in reducing time to market and improving product quality. However, the development of high-quality systems not only requires systematic development processes but also systematic test processes. This book is about systematic, model-driven test processes in the context of UML. As UML provides only limited means for the design and development of test artifacts, a consortium was formed by the Object Management Group (OMG) to develop a UML profile for model-driven testing – the UML Testing Profile (UTP), an official OMG standard since 2005. Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java. This book is the definitive reference for the only UML-based test specification language, written by the creators of that language. It is supported by an Internet site that provides information on the latest tools and uses of the profile.

Computer software --- UML (Computer science) --- Quality control. --- Testing. --- Software, Computer --- Computer systems --- Unified Modeling Language (Computer science) --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Development --- Information Technology --- Software Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This i

UML (Computer science) --- Formal methods (Computer science) --- Computer software --- Development. --- Development of computer software --- Software development --- Unified Modeling Language (Computer science) --- System design --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Development

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A Practical Guide to SysML: The Systems Modeling Language is a comprehensive guide for understanding and applying SysML to model systems. The Object Management Group's OMG SysML is a general-purpose graphical modeling language for representing systems that may include combinations of hardware, software, data, people, facilities, and natural objects. SysML supports the practice of model-based systems engineering (MBSE) used to develop system solutions in response to complex and often technologically challenging problems. The book is organized into four parts. Part I provides an overview of sys

Systems engineering --- Computer simulation --- SysML (Computer science) --- Systems engineering. --- OMG SysML (Computer science) --- Systems Modeling Language (Computer science) --- Computer software --- Modeling languages (Computer science) --- UML (Computer science) --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Development --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes guidelines for creating effective models using the industry-standard Unified Modeling Language (UML). It is the first book of its kind. It does not tell you how to create the models, but it instead describes how to create clean-looking, easy-to-understand diagrams.

Programming --- UML (unified modeling language) --- UML (Computer science) --- Computer software --- Development of computer software --- Software development --- Unified Modeling Language (Computer science) --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Development. --- Development

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach. The book consists of five parts. Part I provides essential concepts on SPL in terms of the first development methodologies. It also introduces variability concepts and discusses SPL architectures finishing with the SMarty approach. Part II is focused on the design, verification and validation of SMarty SPLs, and Part III concentrates on the SPL architecture evolution based on ISO/IEC metrics, the SystEM-PLA method, optimization with the MOA4PLA method, and feature interaction prevention. Next, Part IV presents SMarty as a basis for SPL development, such as, the M-SPLearning SPL for mobile learning applications, the PLeTs SPL for testing tools, the PlugSPL plugin environment for supporting the SPL life cycle, the SyMPLES approach for designing embedded systems with SysML, the SMartySPEM approach for software process lines (SPrL), and re-engineering of class diagrams into an SPL. Eventually, Part V promotes controlled experimentation in UML-based SPLs, presenting essential concepts on how to plan, conduct, and document experiments, as well as showing several experiments carried out with SMarty. This book aims at lecturers, graduate students and experienced practitioners. Lecturers might use the book for graduate level courses about SPL fundamentals and tools; students will learn about the SPL engineering process, variability management, and mass customization; and practitioners will see how to plan the transition from single-product development to an SPL-based process, how to document inherent variability in a given domain, or how to apply controlled experiments to SPLs.

Computer software --- UML (Computer science) --- Reusability. --- Unified Modeling Language (Computer science) --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Reusability of software --- Reusable code (Computer programs) --- Software reusability --- Software reengineering --- Generic programming (Computer science) --- Development --- Software engineering. --- Software Engineering.