Software Process: Principles, Methodology, and Technology, Jean-Claude Derniame; Badara A. Kaba; David Wastel

Автор: Maurice Nivat; Charles Rattray; Teodor Rus; Giusep
Название: Algebraic Methodology and Software Technology (AMAST`93)
ISBN: 3540198520 ISBN-13(EAN): 9783540198529
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: V.S. Alagar; Maurice Nivat
Название: Algebraic Methodology and Software Technology
ISBN: 3540600434 ISBN-13(EAN): 9783540600435
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Martin Wirsing; Maurice Nivat
Название: Algebraic Methodology and Software Technology
ISBN: 354061463X ISBN-13(EAN): 9783540614630
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Michael Johnson
Название: Algebraic Methodology and Software Technology
ISBN: 3540638881 ISBN-13(EAN): 9783540638889
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jos? Meseguer; Grigore Rosu
Название: Algebraic Methodology and Software Technology
ISBN: 3540799796 ISBN-13(EAN): 9783540799795
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Brian C. Warboys
Название: Software Process Technology
ISBN: 3540577394 ISBN-13(EAN): 9783540577393
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 3rd European Workshop on Software Process Technology. Its papers are divided into sections on computer architecture, methodology, process modelling concepts, PML concepts and paradigms, and recent research experiences.

Автор: Wilhelm Sch?fer
Название: Software Process Technology
ISBN: 3540592059 ISBN-13(EAN): 9783540592051
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Carlo Montangero
Название: Software Process Technology
ISBN: 354061771X ISBN-13(EAN): 9783540617716
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings are organized into sections on frameworks, architectures, evolution, metrics, descriptive approaches, organizational modelling and management, and an industrial experience session. Issues addressed include product modelling and configuration management.

Автор: Volker Gruhn
Название: Software Process Technology
ISBN: 3540649565 ISBN-13(EAN): 9783540649564
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Reidar Conradi
Название: Software Process Technology
ISBN: 3540671404 ISBN-13(EAN): 9783540671404
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 21 revised papers presented in this volume were carefully reviewed and selected from 44 submissions. The book is organized in sections on: methods; applications; process instance evolution; distributed processes and process modelling languages; and industrial experience.

Автор: Jacobson
Название: The Road to the Unified Software Development Process
ISBN: 0521787742 ISBN-13(EAN): 9780521787741
Издательство: Cambridge Academ
Рейтинг:
Цена: 66530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an excellent overview of Ivar Jacobson`s work on the Unified Software Development Process.