咨询与建议

限定检索结果

文献类型

  • 6 篇 会议
  • 3 篇 期刊文献

馆藏范围

  • 9 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 9 篇 工学
    • 7 篇 计算机科学与技术...
    • 3 篇 电气工程
    • 2 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 信息与通信工程

主题

  • 9 篇 executable model...
  • 2 篇 formal methods
  • 2 篇 colored petri ne...
  • 1 篇 semantic mapping
  • 1 篇 graphical modeli...
  • 1 篇 statecharts
  • 1 篇 financial market...
  • 1 篇 complex systems
  • 1 篇 uml
  • 1 篇 runtime verifica...
  • 1 篇 architecting fra...
  • 1 篇 simulation
  • 1 篇 worst-case cost ...
  • 1 篇 syntax
  • 1 篇 executable uml
  • 1 篇 design by contra...
  • 1 篇 artificial life
  • 1 篇 state transition
  • 1 篇 action semantics
  • 1 篇 static analysis

机构

  • 1 篇 univ oslo dept i...
  • 1 篇 cwi
  • 1 篇 univ complutense...
  • 1 篇 sdl fredhopper
  • 1 篇 natl univ sci & ...
  • 1 篇 tech univ darmst...
  • 1 篇 george mason uni...
  • 1 篇 international is...
  • 1 篇 weizmann inst sc...
  • 1 篇 armor technique ...
  • 1 篇 tech univ crete ...
  • 1 篇 univ mons fac sc...
  • 1 篇 engineering mana...
  • 1 篇 jct lev acad ctr...
  • 1 篇 agh university o...
  • 1 篇 weizmann inst sc...
  • 1 篇 minist educ acad...

作者

  • 1 篇 kulakowski k.
  • 1 篇 amir-kroll hila
  • 1 篇 spanoudakis niko...
  • 1 篇 schlatte rudolf
  • 1 篇 meng qing-hua
  • 1 篇 waheed tabinda
  • 1 篇 malik zafar i.
  • 1 篇 tarifa s. lizeth...
  • 1 篇 iqbal muhammad z...
  • 1 篇 decan alexandre
  • 1 篇 pitts rowland
  • 1 篇 kilicay-ergin ni...
  • 1 篇 haehnle reiner
  • 1 篇 kostrzewa m.
  • 1 篇 wong peter y. h.
  • 1 篇 dong zhi-hong
  • 1 篇 sadot avital
  • 1 篇 johnsen einar br...
  • 1 篇 de boer frank s.
  • 1 篇 lou da-guang

语言

  • 9 篇 英文
检索条件"主题词=executable modeling"
9 条 记 录,以下是1-10 订阅
排序:
executable modeling for system of systems architecting: An Artificial Life Framework
Executable modeling for system of systems architecting: An A...
收藏 引用
2nd Annual IEEE Systems Conference
作者: Kilicay-Ergin, Nil Dagli, Cihan Engineering Management and Systems Engineering Department Missouri University of Science and Technology Rolla MO United States
There is a diversity of frameworks and methodologies for enabling architecture developments. Static representation frameworks provide a standardized way to communicate the architecture to stakeholders, hut do not prov... 详细信息
来源: 评论
Command and Control System executable modeling Researching
Command and Control System Executable Modeling Researching
收藏 引用
2012 International Conference on Material Sciences and Manufacturing Technology(ICMSMT 2012)
作者: Tang Xue-song Meng Qing-hua Dong Zhi-hong Lou Da-guang Armor Technique Institute of PLA
We proceed from the perspective of object-oriented analysis and design modeling, focusing on the model design of command and control automation system, using Colored Petri Net(CPN) to a command and control systems for... 详细信息
来源: 评论
A method for testing and validating executable statechart models
收藏 引用
SOFTWARE AND SYSTEMS modeling 2019年 第2期18卷 837-863页
作者: Mens, Tom Decan, Alexandre Spanoudakis, Nikolaos I. Univ Mons Fac Sci Software Engn Lab B-7000 Mons Belgium Tech Univ Crete Sch Prod Engn & Management Appl Math & Comp Lab Khania 73100 Greece
Statecharts constitute an executable language for modelling event-based reactive systems. The essential complexity of statechart models solicits the need for advanced model testing and validation techniques. In this a... 详细信息
来源: 评论
Data flow analysis of UML action semantics for executable models
Data flow analysis of UML action semantics for executable mo...
收藏 引用
4th European Conference on Model Driven Architecture - Foundations and Applications
作者: Waheed, Tabinda Iqbal, Muhammad Zohaib Z. Malik, Zafar I. Natl Univ Sci & Technol Mil Coll Signals Dept Comp Sci Rawalpindi Pakistan International Islam Univ Dept Comp Sci Islamabad Pakistan Minist Educ Acad Educ & Planning Islamabad Pakistan
executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models use precise action languages to specify the algorithms and computational details requir... 详细信息
来源: 评论
GemCell: A generic platform for modeling multi-cellular biological systems
收藏 引用
THEORETICAL COMPUTER SCIENCE 2008年 第3期391卷 276-290页
作者: Amir-Kroll, Hila Sadot, Avital Cohen, Irun R. Harel, David Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel Weizmann Inst Sci Dept Immunol IL-76100 Rehovot Israel
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although living organisms are composed of cells, ac... 详细信息
来源: 评论
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
收藏 引用
SERVICE ORIENTED COMPUTING AND APPLICATIONS 2014年 第4期8卷 323-339页
作者: Albert, Elvira de Boer, Frank S. Haehnle, Reiner Johnsen, Einar Broch Schlatte, Rudolf Tarifa, S. Lizeth Tapia Wong, Peter Y. H. Univ Complutense Madrid DSIC Madrid Spain CWI Amsterdam Netherlands Tech Univ Darmstadt Darmstadt Germany Univ Oslo Dept Informat Oslo Norway SDL Fredhopper Amsterdam Netherlands
We demonstrate by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification la... 详细信息
来源: 评论
modeling Semantics sans Mathematical Formalism  7
Modeling Semantics <i>sans</i> Mathematical Formalism
收藏 引用
7th International Workshop on Software Knowledge
作者: Gallant, Reuven JCT Lev Acad Ctr Deparment Comp Sci & Engn 21 HaVaad HaLeumi St Jerusalem Israel
Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm desi... 详细信息
来源: 评论
A practical approach to the modelling, visualising and executing of reactive systems
A practical approach to the modelling, visualising and execu...
收藏 引用
International Conference on Mixed Design of Integrated Circuits and Systems
作者: Kostrzewa, M. Kulakowski, K. AGH University of Science and Technology Poland
Reliability (like recoverability and fault tolerance) has often been considered as a crucial quality aspect of the reactive system. In this way, the designer can put great attention and effort into increasing their re... 详细信息
来源: 评论
modeling state transitions with colored petri nets
Modeling state transitions with colored petri nets
收藏 引用
2020 International Workshop on Petri Nets and Software Engineering, PNSE 2020
作者: Pitts, Rowland George Mason University FairfaxVA United States
来源: 评论