Autor der Publikation

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.

, , , und . SIS, Seite 348-355. IEEE, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelado de Negocio Interorganizacional: Una Aproximación para la Trazabilidad entre Objetivos, Modelos Organizacionales y Procesos de Negocio., , und . CIbSE, Seite 15-28. (2009)Procesos de Negocio e Ingeniería de Servicios (PNIS, 3ª ed.)., , , und . JISBD, Seite 351. IBERGARCETA Pub. S.L., (2010)MaCMAS CASE Tool Demonstration: MDD-based refinement of Collaboration-Based UML Models., und . JISBD, Seite 415-416. Thomson Editorial, (2007)Improving Temporal-Awareness of WS-Agreement., , , , und . ICSOC, Volume 4749 von Lecture Notes in Computer Science, Seite 193-206. Springer, (2007)Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions., , , und . Conquering Complexity, Springer, (2012)Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap., und . VaMoS, Volume 29 von ICB Research Report, Seite 137-143. Universität Duisburg-Essen, (2009)Moskitt FM and FAMA FW: Taking feature models to the next level., , , , und . JISBD, Seite 285-288. (2009)Análisis en líneas de productos: avances, desafíos y lecciones aprendidas., , und . JISBD, Seite 433-433. (2009)Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines., , , und . SPLC (2), Seite 51-56. Kindai Kagaku Sha Co. Ltd., Tokyo, Japan, (2007)Using Java CSP Solvers in the Automated Analyses of Feature Models., , , und . GTTSE, Volume 4143 von Lecture Notes in Computer Science, Seite 399-408. Springer, (2005)