Ein geradlinig geschriebenes Buch für die professionelle Java-Programmierung mit Eclipse, das Sie Ihr Ziel schnell erreichen lässt. Sie erfahren, wie Sie die Softwareentwicklung objektorientiert ausrichten u...
详细信息
ISBN:
(数字)9783834890634
Ein geradlinig geschriebenes Buch für die professionelle Java-Programmierung mit Eclipse, das Sie Ihr Ziel schnell erreichen lässt. Sie erfahren, wie Sie die Softwareentwicklung objektorientiert ausrichten und dabei mit Eclipse das ausbügeln, was an Java negativ ist. Sie profitieren davon, dass Eclipse modular beliebig erweitert werden kann. So wird es zu Ihrem gezielt anpassbaren Profiwerkzeug. Ein Buch, das Umwege und Irrwege erspart. Geschrieben von erfahrenen Entwicklern. Die neue Auflage wurde verbessert, aktualisiert, um neuere Entwicklungen der Plugins erweitert und an die aktuelle Version Eclipse 3.2 angepasst.
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respect...
详细信息
ISBN:
(数字)9783642307430
ISBN:
(纸本)9783642307423
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for m...
详细信息
ISBN:
(数字)9783540470182
ISBN:
(纸本)9783540667100
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011.The 19 revised f...
详细信息
ISBN:
(数字)9783642293207
ISBN:
(纸本)9783642293191
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011.
The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.
The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference in the early 1970s, Hewitt described actors as entities with knowledge...
详细信息
ISBN:
(数字)9783642148439
ISBN:
(纸本)9783642148422
The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference in the early 1970s, Hewitt described actors as entities with knowledge and goals. Research on actors continued to focus on AI with the development of the Sprites model in which a monotonically growing knowledge base could be accessed by actors (inspired by what Hewitt called “the Scienti?c Computing Metaphor”). In the late1970sandwellinto 1980s,controversyragedinAIbetweenthosearguingfor declarative languages and those arguing for procedural ones. Actor researchers stood on the side of a procedural view of knowledge, arguing for an open s- tems perspective rather than the closed world hypothesis necessary for a logical, declarativeview. In the open systemsview,agentshad armslength relationships and could not be expected to store consistent facts, nor could the information in a system be considered complete (the “negation as failure” model). Subsequent work on actors, including my own, focused on using actors for general purpose concurrent and distributed programming. In the late 1980s, a number of actor languages and frameworks were built. These included Act++ (in C++) by Dennis Kafura and Actalk (in Smalltalk) by Jean-Pierre Briot. In recent times, the use of the Actor model, in various guises, has proliferated as new parallel and distributed computing platforms and applications have become common:clusters,Webservices,P2Pnetworks,clientprogrammingonmulticore processors, and cloud computing.
暂无评论