Kategoria BISAC: Computers >> Programming - General

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs uCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and...

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010.

The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named "Foundations: ASP and Theories of LP, KR, and NMR," "ASP and Dynamic Domains," and "ASP - Applications and Tools."

Die zunehmende Leistungsfahigkeit mobiler Endgerate (z.B. PDAs, Smartcards) erlaubt den effizienten Einsatz mobiler Datenbanktechnologie im Rahmen einer umfassenden Integration mobiler Anwendungen in bestehende heterogene Systeme. Charakteristika des mobilen Umfeldes sowie beschrankte physische Ressourcen mobiler Gerate stellen spezifische Anforderungen an Architektur und Implementierung mobiler Datenbanksysteme. Das Buch liefert eine fundierte Einfuhrung in generische Architekturen und konkrete Implementierungskonzepte sowie einen Uberblick uber existierende Technologien und Konzepte....

Evolutionary scheduling is a vital research domain at the interface of artificial intelligence and operational research. This edited book gives an overview of many of the current developments in the large and growing field of evolutionary scheduling. It demonstrates the applicability of evolutionary computational techniques to solve scheduling problems, not only to small-scale test problems, but also fully-fledged real-world problems.

Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems.

Advances and Innovations in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006) which was part of the International Joint Conferences on...

Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture is important because the requirements, be they explicit or implicit, represent the function, whereas the architecture determines the form. While changes to a set of requirements may impact on the realization of the architecture, choices made for an architectural solution may impact on requirements, e.g., in terms of revising functional or non-functional requirements that cannot actually be met.

Although research in both requirements...

How can you help your software team improve? This concise book introduces codermetrics, a clear and objective way to identify, analyze, and discuss the successes and failures of software engineers not as part of a performance review, but as a way to make the team a more cohesive and productive unit.

Experienced team builder Jonathan Alexander explains how codermetrics helps teams understand exactly what occurred during a project, and enables each coder to focus on specific improvements. Alexander presents a variety of simple and complex codermetrics, and teaches you how to create...

Software Architektur kompakt gibt Ihnen alles, was Sie zu einem reibungslosen und schnellen Start in das Thema benotigen. Lernen Sie Systeme zukunftssicher, flexibel und transparent zu konstruieren. Sie finden hier sofort einsetzbare und erprobte Muster und Vorlagen zur Erstellung praxistauglicher IT-Architekturen.

Das Buch liefert allen relevanten Projektbeteiligten massgeschneiderte Antworten zu Entwurfsentscheidungen, Systemstruktur und Implementierung.

Pro Oracle Spatial for Oracle Database 11g shows how to take advantage of Oracle Databases built-in feature set for working with location-based data. A great deal of the information used in business today is associated with location in some way, and analysis of that data is becoming ever more important in today's mobile and highly connected world. In Pro Oracle Spatial for Oracle Database 11g, authors Ravi Kothuri and Albert Godfrind address:

• The special nature of spatial data and its role in...

Im Mittelpunkt dieses Buches steht der Entwurf von Softwarearchitekturen. Ausgehend von globalen Architekturmustern werden zunachst Einzelaspekte mit ihren Alternativen behandelt. Damit immer der Bezug zur Realitat vorhanden ist, wird eine durchgangige Fallstudie in verschiedenen Varianten zunachst fur Einzelaspekte entworfen und implementiert. Neben der Java EE-Plattform wird auch die .NET-Plattform behandelt. Zusatzlich werden die Besonderheiten bei softwareintensiven Systemen dargestellt.

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to developseparatemetrics and benchmarks.

"Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles" presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software...