The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems. However, until now, the majority of the agent-based applications availabl...
详细信息
ISBN:
(数字)9783540451624
ISBN:
(纸本)9783540421665
The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems. However, until now, the majority of the agent-based applications available have been built by researchers who specialize in agent-based computing and distributed artificial intelligence. If agent-based computing is to become anything more than a niche technology practiced by the few, then the base of people who can successfully apply the approach needs to be broadened dramatically. A major step in this broadening endeavor is the development of methodologies for agent-oriented software engineering accessible to and attractive for professional software engineers in their daily work. Against this background, this book presents one of the first coherent attempts to develop such a methodology for a broad class of agent-based systems. The author provides a clear introduction to the key issues in the field of agent-oriented software engineering.
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers p...
详细信息
ISBN:
(数字)9783642277054
ISBN:
(纸本)9783642277047
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.
This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology. It provides acomprehensive description of the generic ...
详细信息
ISBN:
(数字)9783540480679
ISBN:
(纸本)9783540573357
This book summarizes work done by the authors under the
Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and
at Berlin University of Technology. It provides a
comprehensive description of the generic development
language Deva designed by the authors. Much of the research
reported in this monograph is inspired by the work of Michel
Sintzoff on formal program development; he contributed an
enlightening Foreword.
Deva is essentially a typed functional language with certain
deduction rules. The difference with ordinary languages is,
of course, the application domain: the types serve here to
express propositions such as specifications or programs,
rather than just data classes. Its practical applicability
was tested on several non-trivial case studies. The whole
book is written using the DVWEB system, a WEB for Deva,
beeing implemented at the Berlin University of Technology.
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification...
详细信息
ISBN:
(数字)9783540495666
ISBN:
(纸本)9783540619291
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.;The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, t...
详细信息
ISBN:
(数字)9783642276941
ISBN:
(纸本)9783642276934
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of programming Languages. The 38 revised technical papers presented together with 3 application papers were carefully reviewed and selected from 52 submissions. The volume features original work emphasizing new ideas and approaches pertaining to applications and implementation techniques of declarative languages and addresses topics such as innovative applications of declarative languages, declarative domain-specific languages and applications, practical applications of theoretical results, new language developments and their impact on applications, evaluation of implementation techniques on practical applications, novel implementation techniques relevant to applications, novel uses of declarative languages in the classroom, and practical experiences.
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks...
详细信息
ISBN:
(数字)9783642245596
ISBN:
(纸本)9783642245589
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
暂无评论