搜索页_runtime+model

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(2)	Springer电子图书(15)	ProQuest学位论文(219)	ACS电子期刊(7)
Wiley电子期刊(7)	SpringerLink电子期刊(1706)	Elsevier电子期刊(1790)

在“SpringerLink电子期刊”中，命中：1,706条，耗时：0.0729645 秒

在所有数据库中总计命中：3,746条

1. Model predictive control under timing constraints induced by controller area networks

作者： Zhenwu Shi ; Fumin Zhang

关键词：Model predictive control ; Controller area network (CAN) ; Timing delay ; Schedulability

刊名：Real-Time Systems

出版年：2017

2. Specification and automated validation of staged reconfiguration processes for dynamic software product lines

作者： Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr

关键词：Dynamic software product lines ; Staged configuration ; Model ; based domain engineering and validation ; Model checking

刊名：Software & Systems Modeling

出版年：2017

3. Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

作者： Doron Drusinsky

关键词：Runtime monitoring ; Formal specifications ; UML ; Hidden Markov models

刊名：Innovations in Systems and Software Engineering

出版年：2017

4. Principles to Support Modular Software Construction

作者： Jack B. Dennis

关键词：program execution model ; data flow model ; codelet ; abstract architecture ; parallel computing

刊名：Journal of Computer Science and Technology

出版年：2017

5. Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

作者： Michael Szvetits ; Uwe Zdun

关键词：Models ; Runtime ; Literature review

刊名：Software and Systems Modeling

出版年：2016

6. A declarative framework for stateful analysis of execution traces

作者： Florian Wininger ; Naser Ezzati-Jivan ; Michel R. Dagenais

关键词：Software debugging ; Declarative debugging ; Execution trace analysis

刊名：Software Quality Journal

出版年：2017

7. Model-driven generation of runtime checks for system properties

作者： Mauro Pezzé ; Jochen Wuttke

关键词：Runtime verification ; Assertions ; Software design ; Development framework ; Model ; driven design

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

8. A microkernel architecture for constraint programming

作者： L. Michel ; P. Van Hentenryck

关键词：Solver ; Microkernel ; Finite ; domain

刊名：Constraints

出版年：2017

9. The physics of software tools: SWOT analysis and vision

作者： Bernhard Steffen

关键词：Validation tools ; Tool profiles ; Conceptual design ; SWOT analysis ; Open source ; Internet ; Exchange platform ; Tool competitions

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

10. ModelPlex: verified runtime validation of verified cyber-physical system models

作者： Stefan Mitsch ; André Platzer

关键词：Runtime verification ; Static verification ; Cyber ; physical systems ; Hybrid systems ; Differential dynamic logic

刊名：Formal Methods in System Design

出版年：2016

按检索点细分(1706)

题名(72)

关键词(58)

文摘(1590)

按出版年细分(1706)

2017年(13)

2016年(168)

2015年(152)

2014年(188)

2013年(162)

2012年(192)

2011年(28)

2010年(84)

2009年(106)

2008年(116)

2007年(131)

2006年(127)

2005年(144)

2004年(27)

2003年(13)

2002年(30)

2001年(8)

2000年(3)

2000年及以前(14)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700