Kategoria BISAC: Computers >> Logic Design

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks.

This book includes formal definitions and properties of semiring-based soft...

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.

Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge...

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency Theory that was or- nized in Bonn, August 2006. The FMICS workshop continued successfully the aim of the FMICS working group to promote the use of formal methods for industrial applications, by supporting research in this area and its application in...

This year, for the tenth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP Workshop Reader, a c- pendium of workshop reports pertaining to the ECOOP 2006 conference, held in Nantes during July 3 7, 2006. ECOOP 2006 hosted 19 high-quality research workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci?c call for proposals. We are very grateful to the members of the Workshop Selection...

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. It publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. Its scope covers all aspects of computer architecture, code generation and compiler optimization methods.

This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

"

This volume contains the papers presented at the 18th International Conf- ence on Algorithmic Learning Theory (ALT 2007), which was held in Sendai (Japan) during October 1-4, 2007. The main objective of the conference was to provide an interdisciplinary forum for high-quality talks with a strong theore- cal background and scienti?c interchange in areas such as query models, on-line learning, inductive inference, algorithmic forecasting, boosting, support vector machines, kernel methods, complexity and learning, reinforcement learning, - supervised learning and grammatical inference. The...

Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia, industry, researchandlicensingins- tutions, providing ample opportunities for exchanging insights,...

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum, Paris, France entitled Design for Dependable Systems and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has...

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International Conference on the Quality of Software Architectures, QoSA 2007, held in Medford, MA, USA, in 2007. It was mounted in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007. The 13 revised full papers presented together with one keynote lecture were carefully reviewed and selected from 42 submissions.

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development. We focus on the challenges related to component development, reuse, veri?cation and, of course, composition.Softwarecompositionisbecomingmoreandmoreimportant as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2008 edition, researchers were solicited to contribute on topics related to component adaptation techniques, composition languages,...

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, andWRLA), ninetutorials, andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571...

Software architectures that contain many interacting components are difficult to correctly and efficiently engineer. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering.

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner...

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.

This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFormalMethods, organizedbyAbo AkademiUniversity, Turku, Finland, during May 26-30, 2008. The series of Formal Methods conf- ences is supported by FME (Formal Methods Europe), an independent asso- ation which aims to stimulate the use of, and the research on, formal methods for system development. The ?rst event in this series was VDM Europe, held in 1987. The scope of the symposium has grown since then, encompassing all aspects of software and hardware that are amenable to formal analysis. As...

This volume contains the proceedings of TESTCOM/FATES 2008, a joint c- ference of two communities: TESTCOM was the 20th edition of the IFIP TC6/ WG6.1 International Conference on Testing of Communicating Systems and FATESwasthe8theditionoftheInternationalWorkshoponFormalApproaches to Testing of Software. TESTCOM/FATES 2008 was held at the Campus In- vation Center in Tokyo, Japan during June 10-13, 2008. Testing is one of the most important techniques for validating and che- ing the correctness of communication and software systems. Testing, however, is also a laborious and very cost-intensive...

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer, communication, and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2008 was devoted...

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for...