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.)

Facets of Virtual Environments: First International Conference, FaVE 2009, Berlin, Germany, July 27-29, 2009, Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)
Facets of Virtual Environments: First International Conference, FaVE 2009, Berlin, Germany, July 27-29, 2009, Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)

In recent years, the popularity of virtual worlds has increased significantly and they have consequently come under closer academic scrutiny. Papers about virtual worlds are typically published at conferences or in journals that specialize in something - tirely different, related to some secondary aspect of the research. Thus a paper d-...

Clean Technology for the Manufacture of Specialty Chemicals
Clean Technology for the Manufacture of Specialty Chemicals
Producing large quantities of waste is not only environmentally unacceptable, it is also not viable in economic terms. The chemical industry, particularly the speciality and pharmaceuticals sectors, is becoming increasingly aware of the advantages associated with clean technology, particularly in terms of competitive advantage and environmental...
CISA Certified Information Systems Auditor All-in-One Exam Guide
CISA Certified Information Systems Auditor All-in-One Exam Guide

"All-in-One is All You Need."

CISA Certified Information Systems Auditor All in One Exam Guide

Get complete coverage of all the material included on the Certified Information Systems Auditor exam inside this comprehensive resource. Written by an IT security and audit expert, this...


Eurydice and the Birth of Macedonian Power (Women in Antiquity)
Eurydice and the Birth of Macedonian Power (Women in Antiquity)
Eurydice (c.410-340s BCE) played a significant part in the public life of ancient Macedonia, the first royal Macedonian woman known to have done so, though hardly the last. She was the wife of Amyntas III, the mother of Philip II (and two other short-lived kings of Macedonia), and grandmother of Alexander the Great. Her career marks a...
Apple Pro Training Series: Aperture
Apple Pro Training Series: Aperture
The only Apple-certified guide to Aperture, Apple’s revolutionary application for managing, editing, and archiving digital photographs! This comprehensive book-DVD combo starts with the basics of image management and takes you step by step all the way through Aperture’s powerful photo-editing, image-retouching, proofing, publishing,...
Practical DV Filmmaking, Second Edition
Practical DV Filmmaking, Second Edition
Since this book was first published in its first edition in 2002, it appeared to be prepared for the brave
new world of the DV revolution. But in the accelerated development of current filmmaking, it later
needed much revising to reflect what could be termed the post-revolutionary DV world. Arrivals such
as streaming, web film and
...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy