Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Buy

"Modeling" has become one of the primary concerns in modern Software Engineering. The reason is simple: starting development processes from clear and succinct models has proven to foster not only quality but also productivity. With the advance of modeling there also came a desire for automatic code generation from models. This way, the costly and error-prone implementation in terms of low-level languages should be saved. To this end, the models need to be "executable" in the widest sense.

In this general picture the concepts of constraint programming obtain a new and economically important role. Even though they are not in the current mainstream of UML-style graphical languages, they are extremely well suited for describing models. This is evident by considering the very nature of constraints: one formulates the properties that a software system shall fulfill; the implementation is done automatically by the constraint solver. So the time is ripe for constraint-based programming to come out of the more academic world, to which it still is constrained to a large extent, and show its potential for modeling real-world applications.

However, there is no silver bullet. Classical constraint systems in their pure forms are not expressive enough to be used in a large variety of application domains. Therefore they need to be augmented by other styles and concepts for programming and modeling. This leads into the realm of so-called "multiparadigm languages". There have been all kinds of approaches in Computer Science to address the "no-silver-bullet" issue. Examples range from voluminous languages such as PL/1 or Ada (which failed miserably), huge libraries (which are non-standardized and thus lead to severe problems in the long run), or Microsoft’s .Net approach (which solves the problem at least on the low level of machine code). The keyword DSLs (domain-specific languages) can be viewed as the general circumscription for all kinds of attempts to address the multiparadigm idea. By contrast to .Net the emphasis here is on the integration at the level at which the users formulate their intentions.

(HTML tags aren't allowed.)

The Art of SEO
The Art of SEO
The book before you is designed to be a complete and thorough education on search engine optimization for SEO practitioners at all levels. This second edition has been completely revamped and updated from the first edition, taking into account the changes in the search engine industry and the rising influence of...
Pipelined Processor Farms: Structured Design for Embedded Parallel Systems
Pipelined Processor Farms: Structured Design for Embedded Parallel Systems

This book outlines a methodology for the use of parallel processing in real time systems. It provides an introduction to parallel processing in general, and to embedded systems in particular. Among the embedded systems are processors in such applications as automobiles, various machinery, IPGAs (field programmable gate arrays), multimedia...

Character Development in Blender 2.5
Character Development in Blender 2.5

I got started in Blender approximately eight and a half years ago. At the time, there were very few tutorials or other training resources available. Essentially, the only resource around was the people of the Blender Community, who was active through the online forum, http://blenderartists.org. With nothing but the generous time of...


Nginx High Performance
Nginx High Performance

Optimize NGINX for high-performance, scalable web applications

About This Book

  • Configure Nginx for best performance, with configuration examples and explanations
  • Step–by-step tutorials for performance testing using open source software
  • Tune the TCP stack to make the...
Mining Graph Data
Mining Graph Data
Data mining, or knowledge discovery in databases, is a large area of study and is populated with numerous theoretical and practical textbooks. In this book, we take a focused and comprehensive look at one topic within this field: mining data that is represented as a graph. We attempt to cover the full breadth of the topic, including graph...
Battery Systems Engineering
Battery Systems Engineering

A complete all-in-one reference on the important interdisciplinary topic of Battery Systems Engineering

Focusing on the interdisciplinary area of battery systems engineering, this book provides the background, models, solution techniques, and systems theory that are necessary for the development of advanced battery management...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy