Software Process: Principles, Methodology, and Technology, Jean-Claude Derniame; Badara A. Kaba; David Wastel
Автор: Jos? Meseguer; Grigore Rosu Название: Algebraic Methodology and Software Technology ISBN: 3540799796 ISBN-13(EAN): 9783540799795 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra.
Автор: Jean-Claude Derniame Название: Software Process Technology ISBN: 3540559280 ISBN-13(EAN): 9783540559283 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reviewing recent research in the field, this volume includes papers on concepts and reference frameworks, human and social aspects in process modelling, process engines and enactment mechanisms, models and the process lifecycle.
Автор: Jacobson Название: The Road to the Unified Software Development Process ISBN: 0521787742 ISBN-13(EAN): 9780521787741 Издательство: Cambridge Academ Рейтинг: Цена: 9979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an excellent overview of Ivar Jacobson`s work on the Unified Software Development Process.
Автор: Christian Wagner Название: Model-Driven Software Migration: A Methodology ISBN: 3658052694 ISBN-13(EAN): 9783658052690 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central component in software evolution. For the first time a model-driven procedure for maintenance and migration of software systems is described.
Автор: V.S. Alagar; Maurice Nivat Название: Algebraic Methodology and Software Technology ISBN: 3540600434 ISBN-13(EAN): 9783540600435 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology. The papers are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.
Автор: 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.
Автор: Wilhelm Sch?fer Название: Software Process Technology ISBN: 3540592059 ISBN-13(EAN): 9783540592051 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Among the issues addressed by this volume are analysis and metrics, application experiments, distribution models, language experiments, mechanisms for co-operation, and change and meta-processes.
Автор: Volker Gruhn Название: Software Process Technology ISBN: 3540649565 ISBN-13(EAN): 9783540649564 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Sixth European Workshop on Software Process Technology. It contains 16 papers and 10 position papers which cover all aspects of software process technology, taking into account both the academic point of view as well as the needs of practitioners from industry.
Автор: 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.
Автор: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
