{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:18:49Z","timestamp":1740028729327,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"abstract":"<jats:p>We explore the availability of tools which can support the development of more correct and reliable Multi-Agent Systems (MAS) immersed in Ambient Intelligence (AmI) systems. We explain how state of the art software engineering methods and tools can be used to guide the development of such systems and increase our confidence on them. The explanation assumes little technical background on behalf of the reader. We use this exercise as an opportunity to highlight the advantages of available tools as well as to illustrate why the AmI area should build a new generation of development frameworks.<\/jats:p>","DOI":"10.3233\/978-1-61499-050-5-65","type":"book-chapter","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T18:02:07Z","timestamp":1739988127000},"source":"Crossref","is-referenced-by-count":0,"title":["Designing More Reliable MAS-based Ambient Intelligence Systems"],"prefix":"10.3233","author":[{"family":"Augusto Juan Carlos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hornos Miguel J.","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Ambient Intelligence and Smart Environments","Agents and Ambient Intelligence"],"original-title":[],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T18:02:18Z","timestamp":1739988138000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=1875-4163&volume=12&spage=65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-050-5-65","relation":{},"ISSN":["1875-4163"],"issn-type":[{"value":"1875-4163","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}