Algebraic Methodology and Software Technology (AMAST`93), Maurice Nivat; Charles Rattray; Teodor Rus; Giusep

Автор: 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.

Автор: Roel J. Wieringa
Название: Design Science Methodology for Information Systems and Software Engineering
ISBN: 3662524465 ISBN-13(EAN): 9783662524466
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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.

Автор: 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.

Автор: Helene Kirchner; Christophe Ringeissen
Название: Algebraic Methodology and Software Technology
ISBN: 3540441441 ISBN-13(EAN): 9783540441441
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R`eunion Island, France.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Markus Volter
Название: Model-Driven Software Development: Technology, Engineering, Management
ISBN: 0470025700 ISBN-13(EAN): 9780470025703
Издательство: Wiley
Рейтинг:
Цена: 6336.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.