Bücher zur Softwareentwicklung - englischsprachig  (487 Angebote unter 17.423.715 Artikeln)

This book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997. The 22 revi...

Overview of the reference model.- Application of the reference model.- Users.- Contexts.- Customisation.- Help.- History.- Concurrency.- CRL Object management.- Naming.- Protection.- Shared storage.

This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as refer...

This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation established in th...

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998. The 35 revised full papers presented we...

and general philosophy.- CONLAN concepts and contructs.- Primitive set CONLAN.- Base CONLAN.- Pscl and Bcl syntax.

Patterns and Types for Querying XML Documents.- Dual Syntax for XML Languages.- Exploiting Schemas in Data Synchronization.- Efficiently Enumerating Results of Keyword Search.- Mapping Maintenance ...

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization. National bodies that ar...

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with t...

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the ...

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full p...

Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementati...

The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization and search techniques for many industries. Despit...

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growin...

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences ...