咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 1 篇 电气工程

主题

  • 7 篇 monitoring-orien...
  • 4 篇 runtime verifica...
  • 2 篇 runtime monitori...
  • 1 篇 node.js, dynamic...
  • 1 篇 software fault t...
  • 1 篇 specification qu...
  • 1 篇 empirical study
  • 1 篇 software enginee...
  • 1 篇 self-healing sys...
  • 1 篇 java
  • 1 篇 java-mop
  • 1 篇 regression testi...
  • 1 篇 specification
  • 1 篇 software testing
  • 1 篇 mop
  • 1 篇 software verific...
  • 1 篇 multi-core
  • 1 篇 aspect-oriented ...
  • 1 篇 javascript
  • 1 篇 user interfaces

机构

  • 3 篇 univ illinois ur...
  • 1 篇 oracle labs redw...
  • 1 篇 nanjing univ sta...
  • 1 篇 univ malta ctr m...
  • 1 篇 usi lugano
  • 1 篇 amer univ beirut...
  • 1 篇 univ malta dept ...
  • 1 篇 univ illinois de...

作者

  • 4 篇 rosu grigore
  • 2 篇 marinov darko
  • 2 篇 legunsen owolabi
  • 2 篇 chen feng
  • 1 篇 al awar nader
  • 1 篇 pace gordon j.
  • 1 篇 zhao jianhua
  • 1 篇 wang linzhang
  • 1 篇 li xuandong
  • 1 篇 bu lei
  • 1 篇 yang lu
  • 1 篇 ul hassan wajih
  • 1 篇 bonetta daniele
  • 1 篇 schiavio filippo
  • 1 篇 li you
  • 1 篇 xu xinyue
  • 1 篇 d'amorim marcelo
  • 1 篇 sun haiyang
  • 1 篇 binder walter
  • 1 篇 buhagiar aaron j...

语言

  • 5 篇 英文
  • 2 篇 其他
检索条件"主题词=monitoring-oriented programming"
7 条 记 录,以下是1-10 订阅
排序:
Engineering Adaptive User Interfaces using monitoring-oriented programming  17
Engineering Adaptive User Interfaces using Monitoring-Orient...
收藏 引用
IEEE International Conference on Software Quality, Reliability and Security (Companion Volume)
作者: Buhagiar, Aaron John Pace, Gordon J. Ebejer, Jean-Paul Univ Malta Dept Comp Sci Msida Malta Univ Malta Ctr Mol Med & Biobanking Msida Malta
User interfaces which adapt based on usage patterns, for example based on frequency of use of certain features, have been proposed as a means of limiting the complexity of the user interface without specialising it un... 详细信息
来源: 评论
Evolution-Aware monitoring-oriented programming  37
Evolution-Aware Monitoring-Oriented Programming
收藏 引用
IEEE/ACM 2nd International Workshop on Software Architecture and Metrics (SAM)
作者: Legunsen, Owolabi Marinov, Darko Rosu, Grigore Univ Illinois Urbana IL 61801 USA
monitoring-oriented programming (MOP) helps develop more reliable software by means of monitoring against formal specifications. While MOP showed promising results, all prior research has focused on checking a single ... 详细信息
来源: 评论
How effective are existing Java API specifications for finding bugs during runtime verification?
收藏 引用
AUTOMATED SOFTWARE ENGINEERING 2019年 第4期26卷 795-837页
作者: Legunsen, Owolabi Al Awar, Nader Xu, Xinyue Ul Hassan, Wajih Rosu, Grigore Marinov, Darko Univ Illinois Urbana IL 61801 USA Amer Univ Beirut Beirut Lebanon
Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The quality of runtime verification depends on the quality of the ... 详细信息
来源: 评论
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2006年 第4期144卷 3-20页
作者: Chen, Feng d'Amorim, Marcelo Rosu, Grigore Univ Illinois Dept Comp Sci Champaign IL 61801 USA
monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification forma... 详细信息
来源: 评论
Extending Ada to Support Multi-core Based monitoring and Fault Tolerance  10
Extending Ada to Support Multi-core Based Monitoring and Fau...
收藏 引用
ACM Annual International Conference on Ada and Related Technologies
作者: Li, You Yang, Lu Bu, Lei Wang, Linzhang Zhao, Jianhua Li, Xuandong Nanjing Univ State Key Lab Novel Software Technol Nanjing 210093 Jiangsu Peoples R China
monitoring-oriented programming (MOP) and Software Fault Tolerance(SFT) are two important approaches to guarantee the reliablity of software systems, especially for those running online for long term. However, the int... 详细信息
来源: 评论
NodeMOP: Runtime Verification for *** Applications  19
NodeMOP: Runtime Verification for *** Applications
收藏 引用
34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC)
作者: Schiavio, Filippo Sun, Haiyang Bonetta, Daniele Rosa, Andrea Binder, Walter USI Lugano Switzerland Oracle Labs Redwood Shores CA USA
*** has become one of the most popular frameworks for general-purpose and server-side application development in JavaScript. However, due to its dynamic, asynchronous, event-driven programming model, *** applications ... 详细信息
来源: 评论
MOP: An efficient and generic runtime verification framework
收藏 引用
ACM SIGPLAN NOTICES 2007年 第10期42卷 569-588页
作者: Chen, Feng Rosu, Grigore Univ Illinois Urbana IL 61801 USA
monitoring-oriented programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along ... 详细信息
来源: 评论