Filters








174,580 Hits in 7.0 sec

Semi-Automated Design Space Exploration for Formal Modelling [article]

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
<span title="2016-03-02">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Here, we propose Design Space Exploration, an approach that aims to assist a designer by automatically providing high-level modelling guidance in real-time.  ...  Refinement based formal methods allow the modelling of systems through incremental steps via abstraction.  ...  We are grateful for feedback on our approach by Jean-Raymond Abrial.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1603.00636v1">arXiv:1603.00636v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7lrism5mnjdjdol7kuy6e52tpa">fatcat:7lrism5mnjdjdol7kuy6e52tpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825044824/https://arxiv.org/pdf/1603.00636v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/9f/959f328a8617a803f27513f39d7f2fb84e523708.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1603.00636v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The Chaotic Nature of Human Experience: An Alternative Approach to Determinacy in Understanding Emotions and Experience

Bilge Mutlu, Jodi Forlizzi
<span title="2019-04-01">2019</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Additionally, we present an indeterministic framework that formalizes the nature of human experience, and a set of guiding principles suggesting directions for design practice.  ...  We attempt to explain the emergence of emotions as a part of an indeterministic system of experiences.  ...  Rittel's views are based on the idea that a part of the design process is explicit, teachable, and communicable to others, while the other part embodies tacit information, and "wicked" in nature (Rittel  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.2619728">doi:10.5281/zenodo.2619728</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r5qbxuolwjhttb6x2ddpocam3y">fatcat:r5qbxuolwjhttb6x2ddpocam3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201223215358/https://zenodo.org/record/2619729/files/Mutlu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/6c/676cce8090018a3f0a975a4848b4c60a231fe638.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.2619728"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Process and event modelling for conceptual design

Robert L. Nagel, Ryan Hutcheson, Daniel A. McAdams, Robert Stone
<span title="2009-09-25">2009</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tsldtmbhmbhu3giqf2aumj3ebq" style="color: black;">Journal of engineering design</a> </i> &nbsp;
To that end, this paper presents a process modelling methodology consisting of model levels for the representation of product-related events and configurations based on current functional modelling techniques  ...  With solely the generation of a functional model, the designer, however, runs the risk of failing to explicitly capture expected interactions and operations of the product as a whole.  ...  Team B, like Team A, generates a black box model; their overall goal is to disarm an explosive ordinance.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/09544820903099575">doi:10.1080/09544820903099575</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/54yk7yqytje2langtkfii26lbi">fatcat:54yk7yqytje2langtkfii26lbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812105228/http://prosedesign.tamu.edu/publications/process_and_event_modeling.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1b/3a/1b3a0cd01ab5583c3e1ec48b579e753dd8ab3b70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/09544820903099575"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Representation and use of task knowledge in a user interface design environment

P. Markopoulos, S. Wilson, P. Johnson
<span title="">1994</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i6gaqnnagndt7pf6mxgezspaka" style="color: black;">IEE Proceedings - Computers and digital Techniques</a> </i> &nbsp;
A rapid prototyping approach to user interface design may be enhanced by integration with a theory of the users' tasks.  ...  The integration of task knowledge with a rapid prototyping approach to design is introduced in the context of work on the Adept project.  ...  Prototyping tools such as user interface design environments (UIDEs) aim to address these problems and to encourage an iterative approach to design, but they rarely guide the designer in any aspect of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/ip-cdt:19949996">doi:10.1049/ip-cdt:19949996</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/clc2cssmpvclzlxkncroyw22bm">fatcat:clc2cssmpvclzlxkncroyw22bm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706082614/http://www.idemployee.id.tue.nl/p.markopoulos/downloadablePapers/1994_MarkopoulosEtAl_IEE.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/0d/500d21eac0c937d8c6e756a85c566b5d69a21038.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/ip-cdt:19949996"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Adept-a task based design environment

P. Markopoulos, J. Pycock, S. Wilson, P. Johnson
<span title="">1992</span> <i title="IEEE"> Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences </i> &nbsp;
This paper introduces the underlying framework, and discusses how this can be used to support task based user interface design.  ...  A framework for task-based design Many authors, e.g. [3], have suggested viewing both systems and users as different types of information processing systems.  ...  Acknowledgements The Adept Project (Advanced Design Environments for Prototyping with Tasks) is a collaboration between Queen Mary and Westfield College (University of London), British Aerospace Plc, British  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.1992.183310">doi:10.1109/hicss.1992.183310</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6v5467s4obhtfmiaeinmnstwp4">fatcat:6v5467s4obhtfmiaeinmnstwp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141107003801/http://www.idemployee.id.tue.nl:80/p.markopoulos/downloadablePapers/Markopoulos-P-1992.HICSS25.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/ba/e9ba6c2163b6cd0831b1bb8cbfa9b2afe5f4d5df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.1992.183310"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Synthesizing tests for combinatorial coverage of modal scenario specifications

Valerio Panzica La Manna, Itai Segall, Joel Greenyer
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bkbkidixczetzbllp2pobouque" style="color: black;">2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)</a> </i> &nbsp;
Inspired by Combinatorial Test Design, which exploits that bugs are typically found by regarding the interaction of a small set of parameters, we propose a new test coverage criterion based on scenario  ...  When designing tests, as in the design of the system itself, the challenge is to consider interactions of scenarios. When doing this manually, critical interactions are easily overlooked.  ...  Specifying Goal States The process of designing a test plan traditionally requires the engineer to manually generate, from an informal specification, relevant test cases for specific functionality of the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/models.2015.7338243">doi:10.1109/models.2015.7338243</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/models/MannaSG15.html">dblp:conf/models/MannaSG15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bpdums3iorarrhhssvwqzocuvy">fatcat:bpdums3iorarrhhssvwqzocuvy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809031337/http://jgreen.de/wp-content/documents/2015/models15found-foundp064-p-0a5d9b3-25013-preprint.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/13/b11324e1d585df46dbeb10122cd1153ceed0d406.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/models.2015.7338243"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Runtime models for automatic reorganization of multi-robot systems

Christopher Zhong, Scott A. DeLoach
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS &#39;11</a> </i> &nbsp;
This paper presents a reusable framework for developing adaptive multi-robotic systems for heterogeneous robot teams using an organization-based approach.  ...  We demonstrate our framework by presenting the design and implementation of a multi-robot system for detecting improvised explosive devices. We then highlight the adaptability of the resulting system.  ...  ACKNOWLEDGMENTS This work was supported by grants from the US National Science Foundation (0347545) and the Air Force Office of Scientific Research (FA9550-09-1-0108), and a contract from the US Marine  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1988008.1988012">doi:10.1145/1988008.1988012</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/ZhongD11.html">dblp:conf/icse/ZhongD11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/daav4kswyrfjvb2jo4kn7dteri">fatcat:daav4kswyrfjvb2jo4kn7dteri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130603141026/http://people.cis.ksu.edu/~sdeloach/publications/Conference/zhong_SEAMS2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/29/7c29d4a462a211d1b9e0fed32a93d223c13c9802.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1988008.1988012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

xTAO

Toacy C. Oliveira, Paulo Alencar, Don Cowan, Carlos Lucena
<span title="">2005</span> <i title="ACM Press"> Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems - SELMAS &#39;05 </i> &nbsp;
However, it is still difficult and costly for designers that need a unique set of agent modeling features to either develop a new agent modeling language from scratch or undertake the task of modifying  ...  Existing approaches typically support a basic set of modeling constructs very well, but adapt to others poorly.  ...  The Control relation designates that a role A (the controlled) is controlled by a role B (the controller) and that B must satisfy A's demands.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082960.1082968">doi:10.1145/1082960.1082968</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/icyeymoii5g4rhvuh6k6x42uvm">fatcat:icyeymoii5g4rhvuh6k6x42uvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20101205150100/http://www.cs.uwaterloo.ca/research/tr/2005/CS-2005-12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/66/1d/661df28bc57526fbeb3afcce62aeae60771e3792.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082960.1082968"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

xTAO

Toacy C. Oliveira, Paulo Alencar, Don Cowan, Carlos Lucena
<span title="2005-07-01">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
However, it is still difficult and costly for designers that need a unique set of agent modeling features to either develop a new agent modeling language from scratch or undertake the task of modifying  ...  Existing approaches typically support a basic set of modeling constructs very well, but adapt to others poorly.  ...  The Control relation designates that a role A (the controlled) is controlled by a role B (the controller) and that B must satisfy A's demands.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1082968">doi:10.1145/1082983.1082968</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i577sqggrvhotfogfgbxmzuef4">fatcat:i577sqggrvhotfogfgbxmzuef4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20101205150100/http://www.cs.uwaterloo.ca/research/tr/2005/CS-2005-12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/66/1d/661df28bc57526fbeb3afcce62aeae60771e3792.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1082968"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On systems and control approaches to therapeutic gain

Tomas Radivoyevitch, Kenneth A Loparo, Robert C Jackson, W David Sedwick
<span title="2006-04-25">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hheklop5kbcmhawhlxc5lzh2sa" style="color: black;">BMC Cancer</a> </i> &nbsp;
It is an abstraction of a strategy for treating BCR-ABL pro-B cell childhood leukemia patients using curable cases as the guides.  ...  Mathematical models of cancer relevant processes are being developed at an increasing rate. Conceptual frameworks are needed to support new treatment designs based on such models.  ...  Jacobberger for his critical review of the manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1471-2407-6-104">doi:10.1186/1471-2407-6-104</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/16638124">pmid:16638124</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC1484487/">pmcid:PMC1484487</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ovizl65btzfw5lie3njus4bjm4">fatcat:ovizl65btzfw5lie3njus4bjm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830102854/https://bmccancer.biomedcentral.com/track/pdf/10.1186/1471-2407-6-104?site=http://bmccancer.biomedcentral.com" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/83/8283d984cfc534bd6d6eda572c54b9e5ce884bf6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1471-2407-6-104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1484487" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

MAS Methodology for HMS [chapter]

Adriana Giret, Vicente Botti, Soledad Valero
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
To date, many of the developments in HMS have been conducted in an almost "empirical way", without design methodology.  ...  To this end, in this work we present a Multi Agent Methodology for HMS analysis and design. 1 Abstract Believe Believe Event Resource Interaction WorkFlow Group A Abstract Agent A Abstract Task  ...  This is a top-down, recursive, incremental process. The main goal of the analysis phase is to identify the constituent holons and to provide an initial holon specification. Fig. 3.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11537847_4">doi:10.1007/11537847_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f2df5jissjevroevdvcgughgey">fatcat:f2df5jissjevroevdvcgughgey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705144155/https://static.aminer.org/pdf/PDF/000/252/296/mas_methodology_for_hms.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/8e/ae8e836a72044eb531e7b21c7f53ea86494a8017.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11537847_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

MBSE and V&V: a tool-equipped method for combining various V&V strategies

B. Nastov, V. Chapurlat, F. Pfister, C. Dony
<span title="">2017</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4oklsgzkjvbihhegxblzc6b7re" style="color: black;">IFAC-PapersOnLine</a> </i> &nbsp;
Abstract: Model-Based System engineering (MBSE) promotes Verification and Validation (V&V) as crucial activities to demonstrate, during the system design stage and based on models, that a system meets  ...  Abstract: Model-Based System engineering (MBSE) promotes Verification and Validation (V&V) as crucial activities to demonstrate, during the system design stage and based on models, that a system meets  ...  The goal of boilerplate-based approaches is to ease the work of designers by providing a solid starting point basis with pre-verified information.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ifacol.2017.08.1309">doi:10.1016/j.ifacol.2017.08.1309</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5npryo7qm5d2venpjjbenjcn3q">fatcat:5npryo7qm5d2venpjjbenjcn3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200312193749/https://hal.archives-ouvertes.fr/hal-01930280/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/6f/2b6f016310824e5915e6d2173a34578f5418d067.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ifacol.2017.08.1309"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The role of supervisory controller synthesis in automatic control software development

Jos Baeten, Jasen Markovski
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
systems and software engineering framework. • The framework has been applied to multiple industrial studies. a r t i c l e i n f o a b s t r a c t We give an overview of a model-driven systems engineering  ...  h i g h l i g h t s • We discuss the role of supervisor synthesis in automated software code generation. • The proposed approach is systematic and based on process theory. • We implemented a model-based  ...  Fig. 2 . 2 (a) A plant that models the behavior of an automated guided vehicle; (b) An observer that keeps track of the location of the vehicle of (a); (c) A supervisor that ensures proper coordination  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2013.11.016">doi:10.1016/j.scico.2013.11.016</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e4enholjbvaezply45oa4znezm">fatcat:e4enholjbvaezply45oa4znezm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719091847/https://ir.cwi.nl/pub/23314/23314D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ec/fd/ecfdebe16a6486457535558a46fc4e21b9b0278f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2013.11.016"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Involving the Application Domain Expert in the Construction of Systems of Systems

Imane Cherfa, Salah Sadou, Nicolas Belloir, Reegis Fleurquin, Djamal Bennouar
<span title="">2018</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mc2gzntr5ncuvguuzzvttayxba" style="color: black;">2018 13th Annual Conference on System of Systems Engineering (SoSE)</a> </i> &nbsp;
With our approach we have correctly defined an SoS concerning crowd management during a sport event.  ...  The later will serve as a guide and controller of the choices proposed by the system architect during the design and evolution stages.  ...  In our approach, mission is an activity encapsulating the way to achieve the goal of the SoS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sysose.2018.8428728">doi:10.1109/sysose.2018.8428728</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sysose/CherfaSBFB18.html">dblp:conf/sysose/CherfaSBFB18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2psg26bwavgxfl7bykfa3vu7um">fatcat:2psg26bwavgxfl7bykfa3vu7um</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503143627/https://hal.archives-ouvertes.fr/hal-01978238/file/CherfaetAll.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/e7/73e7ca7916111450c18f19a7a5ce11f6f321b0d4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sysose.2018.8428728"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A design framework for generating BDI-agents from goal models

Loris Penserini, Anna Perini, Angelo Susi, Mirko Morandini, John Mylopoulos
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4v2roxq5mjauje36xbyymkvn2u" style="color: black;">Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS &#39;07</a> </i> &nbsp;
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate from it fragments of a BDI agent.  ...  We propose the use of goal models at different abstraction levels in engineering a Multi-Agent System (MAS), that is, not only at design time, but also as a part of the agent knowledge and choice strategy  ...  Nevertheless, the output of the analysis and design process with Gaia corresponds to an abstract specification that requires to be operationalized by using additional detailed design methods and techniques  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1329125.1329307">doi:10.1145/1329125.1329307</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/atal/PenseriniPSMM07.html">dblp:conf/atal/PenseriniPSMM07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nk6geqekbrd6xdrzqdchgaszgq">fatcat:nk6geqekbrd6xdrzqdchgaszgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809034902/http://selab.fbk.eu/morandini/publications/bdiagents_goalmodels_TR200601002_AAMAS07extended.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b7/35/b735bf3ee31233072954bc61e7fafae3007ab34f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1329125.1329307"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 174,580 results