Constraint-Based Design Recovery for Software Reengineering, Steven G. Woods; Alexander E. Quilici; Qiang Yang

Автор: Alfs Berztiss
Название: Software Methods for Business Reengineering
ISBN: 0387945539 ISBN-13(EAN): 9780387945538
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mit einem ingenieurwissenschaftlich orientierten Ansatz zeigt das Buch, wie Umstrukturierungsprobleme durch gezielte Softwareentwicklung besser zu bewaltigen sind. Der Autor stellt Konzepte und Erfordernisse von Umstrukturierungsmassnahmen dar und verbindet sie mit den Prinzipien und Praktiken der Softwareentwicklung.

Автор: Ian P. Gent
Название: Principles and Practice of Constraint Programming - CP 2009
ISBN: 3642042430 ISBN-13(EAN): 9783642042430
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers.

Автор: Ba-Ngu Vo; Antonio Cantoni; Kok Lay Teo
Название: Filter Design With Time Domain Mask Constraints: Theory and Applications
ISBN: 1441948589 ISBN-13(EAN): 9781441948588
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Optimum envelope-constrained filter design is concerned with time-domain synthesis of a filter such that its response to a specific input signal stays within prescribed upper and lower bounds, while minimizing the impact of input noise on the filter output or the impact of the shaped signal on other systems depending on the application.

Автор: Jun Yuan; Carl Pixley; Adnan Aziz
Название: Constraint-Based Verification
ISBN: 1441938524 ISBN-13(EAN): 9781441938527
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Автор: Denys Duchier; Yannick Parmentier
Название: Constraint Solving and Language Processing
ISBN: 3642415776 ISBN-13(EAN): 9783642415777
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing applications. Constraints are widely used in linguistics, computer science, and psychology.