Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Jay M. Doyle"'
Autor:
G. Clark, Jay M. Doyle, Salem Derisavi, Daniel D. Deavours, T. Courtney, William H. Sanders, Patrick G. Webster, David M. Daly
Publikováno v:
IEEE Transactions on Software Engineering. 28:956-969
The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components.
Autor:
T. Courtney, Daniel D. Deavours, David M. Daly, G. Clark, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
Publikováno v:
PNPM
Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formali
Publikováno v:
Computer Performance Evaluation.Modelling Techniques and Tools ISBN: 9783540672609
Computer Performance Evaluation / TOOLS
Computer Performance Evaluation / TOOLS
Mobius is a system-level performance and dependability modeling tool. Mobius makes validation of large dependability models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25c5b7a402f492779638c49898070326
https://doi.org/10.1007/3-540-46429-8_25
https://doi.org/10.1007/3-540-46429-8_25