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
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Marie Pelleau
Название: Abstract Domains in Constraint Programming
ISBN: 1785480103 ISBN-13(EAN): 9781785480102
Издательство: Elsevier Science
Рейтинг:
Цена: 53010.00 T
Наличие на складе: Невозможна поставка.
Описание: Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables. . In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

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

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