✦ LIBER ✦

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering X Volume 6038 || A Formal Specification for Organizational Adaptation

✍ Scribed by Gleizes, Marie-Pierre; Gomez-Sanz, Jorge J.

Book ID: 115497491
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 384 KB
Category: Article
ISBN: 3642192084
DOI: 10.1007/978-3-642-19208-1_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering X Volume 6038 || Automatic Generation of Executable Behavior: A Protocol-Driven Approach

✍ Gleizes, Marie-Pierre; Gomez-Sanz, Jorge J. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 605 KB

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering IV Volume 2935 || From Agents to Organizations: An Organizational View of Multi-agent Systems

✍ Giorgini, Paolo; Müller, Jörg P.; Odell, James 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 255 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Pattern-Driven Formal Specification

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 500 KB

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering IX Volume 5386 || The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems

✍ Luck, Michael; Gomez-Sanz, Jorge J. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 328 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering for Self-Adaptive Systems Volume 5525 || Software Engineering for Self-Adaptive Systems: A Research Roadmap

✍ Cheng, Betty H. C.; de Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, J 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 382 KB

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occ

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Societies in the Agents World Volume 1972 || Formal Specification and Prototyping of Multi-agent Systems

✍ Omicini, Andrea; Tolksdorf, Robert; Zambonelli, Franco 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 192 KB