Описание: Software testing is a critical stage in software development that ensures that a program meets required specifications and is free of bugs. In this handbook, Cem Kaner and James Bach, two of the world`s leading testing experts help you avoid testing errors without the trial and error it normally takes to do so.
Автор: Philippe Desfray; Joaquim Filipe; Slimane Hammoudi Название: Model-Driven Engineering and Software Development ISBN: 3319278681 ISBN-13(EAN): 9783319278681 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Lu Zhang; Chang Xu Название: Software Engineering and Methodology for Emerging Domains ISBN: 9811034818 ISBN-13(EAN): 9789811034817 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Описание: It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context - and finally how to present the results of the design cycle as a whole.
Автор: Jean-Claude Derniame; Badara A. Kaba; David Wastel Название: Software Process: Principles, Methodology, and Technology ISBN: 3540655166 ISBN-13(EAN): 9783540655169 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1 Jean Claude Derniame Software process technology is an emerging and strategic area that has already reached a reasonable degree of maturity, delivering products and significant industrial expe riences.
Автор: G?nther Ruhe; Frank Bomarius Название: Learning Software Organizations: Methodology and Applications ISBN: 3540414304 ISBN-13(EAN): 9783540414308 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed and revised post-conference documentation of the 11th International Conference on Software Engineering and Knowledge Engineering, SEKE`99, held in Kaiserslautern, Germany in June 1999.
Автор: Maurice Nivat; Charles Rattray; Teodor Rus; Giusep Название: Algebraic Methodology and Software Technology (AMAST`93) ISBN: 3540198520 ISBN-13(EAN): 9783540198529 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods.
Автор: Sami Beydeda; Matthias Book; Volker Gruhn Название: Model-Driven Software Development ISBN: 3642065023 ISBN-13(EAN): 9783642065026 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Models can be refined and finally be transformed into a technical implementation, i.e., a software system.The aim of this book is to give an overview of the state of the art in model-driven software development.
Автор: Martin Wirsing; Maurice Nivat Название: Algebraic Methodology and Software Technology ISBN: 354061463X ISBN-13(EAN): 9783540614630 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings (25 revised full papers, 23 system demonstrations) are organized into sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet Название: Model-Driven Dependability Assessment of Software Systems ISBN: 3642395112 ISBN-13(EAN): 9783642395116 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
Описание: Model-Driven Software Development (MDSD) is currently a highly regarded development paradigm among developers and researchers. With the advent of OMG`s MDA and Microsoft`s Software Factories, the MDSD approach has moved to the centre of the programmer`s attention, becoming the focus of conferences such as OOPSLA, JAOO and OOP.
Автор: Michael Johnson Название: Algebraic Methodology and Software Technology ISBN: 3540638881 ISBN-13(EAN): 9783540638889 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, held Australia, in 1997. This volume addresses various aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
