Výsledky vyhledávání - "Robert Karban"

Preface to the OpenMBEE International Workshop

Autor: Robert Karban, Robbie Robertson, Ahsan Qamar, Erich Lee

Publikováno v: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c60cba5b6a22b0c115a23bedd637e09b
https://doi.org/10.1109/models-c53483.2021.00071

Zobrazit plný text záznamu

Assisted authoring of model-based systems engineering documents

Autor: Ivan Gomes, Thomas Boyer Chammard, Robert Karban, Blake Regalia

Publikováno v: MODELS Companion

In systems engineering practices, system design and analysis have historically been performed using a document-centric approach where stakeholders produce a number of documents that represent their views on a system under development. Given the ad-ho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c3bb012e79c0c3da9a73d37bfb9afa55
https://doi.org/10.1145/3417990.3421406

Zobrazit plný text záznamu

Model checking as a service - towards pragmatic hidden formal methods

Autor: Ákos Hajdu, István Ráth, Vince Molnár, Luigi Andolfato, Ivan Gomes, Robert Karban, Bence Graics, Zoltán Micskei, Benedek Horváth

Publikováno v: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
MODELS Companion

Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. However, in today's complex systems, failures could arise d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f49017f494db0c5ff701292a3b75e8e2

Zobrazit plný text záznamu

Verifying Interfaces and generating interface control documents for the alignment and phasing subsystem of the Thirty Meter Telescope from a system model in SysML

Autor: Scott Michaels, Mitchell Troy, Robert Karban, Gary L. Brack, Frank Dekens, Sebastian J. I. Herzig

This paper presents a novel method for verifying interfaces and generating interface control documents (ICDs) from a system model in SysMLTM. In systems and software engineering, ICDs are key artifacts that specify the interface(s) to a system or sub

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2049cdbb4f780ebcede665ef28160d90
https://resolver.caltech.edu/CaltechAUTHORS:20190823-134014362

Zobrazit plný text záznamu

The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope

Autor: Robert Karban, Michele Zamparelli, Eric W. Brower, Ivan Gomes, Gelys Trancho, Amanda G. Crawford, Marie Piette, Sebastian J. I. Herzig

Publikováno v: Modeling, Systems Engineering, and Project Management for Astronomy VIII.

The OpenSE Cookbook is an open-sourced collection of patterns, procedures, and best practices targeted for systems engineers who seek guidance on applying model-based and executable systems engineering (MBSE) using SysML. Its content has emerged from

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e3f4726dbc994efdd9168d4adc0b76d
https://doi.org/10.1117/12.2312281

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání