Suchergebnisse - "Monitoring-oriented programming"

Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests von Guan, Kevin, d'Amorim, Marcelo, Legunsen, Owolabi

“… ). This paper concerns Monitoring-Oriented Programming (MOP), the only RV approach shown to scale to thousands of open-source GitHub projects when simultaneously monitoring passing unit tests against dozens of specs …”
Volltext

Evolution-Aware Monitoring-Oriented Programming von Legunsen, Owolabi, Marinov, Darko, Rosu, Grigore

“… Monitoring-Oriented Programming (MOP) helps develop more reliable software by means of monitoring against formal specifications …”
Volltext

Using Aspect Oriented Programming and Monitor Oriented Programming in Timetable Generation System von Grigoriţă, Delia-Iustina, Duţuc, Paul, Cotiugă, Ionela, Boboc, Raul-Mădălin, Iftene, Adrian

“… The process of creating a schedule requires a lot of patience, time, and work. A timetable is made for a number of reasons, such as scheduling lectures at …”
Volltext

A case study for monitoring-oriented programming in multi-core architecture von Yang, Lu, Tang, Jianwen, Zhao, Jianhua, Li, Xuandong

“… With the explosion of software size, Monitoring-Oriented Programming (MOP) is considered as a design trend to increase reliability of the software systems …”
Volltext

How effective are existing Java API specifications for finding bugs during runtime verification? von Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, Marinov, Darko

“… Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The …”
Volltext

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming von Buhagiar, Aaron John, Pace, Gordon J., Ebejer, Jean-Paul

“… In this paper we explore the use of monitoring-oriented programming to add adaptive features to user interfaces, an approach which has been touted as a means of separating certain …”
Volltext

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation von Chen, Feng, Roşu, Grigore

“… to become common practice. In this paper we present a paradigm for combining formal specification with implementation, called monitoring-oriented programming (MoP …”
Volltext

Towards Monitoring-Oriented Programming von Chen, Feng, Roşu, Grigore

Volltext

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP von Chen, Feng, d'Amorim, Marcelo, Roşu, Grigore

“… Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role …”
Volltext

An overview of the MOP runtime verification framework von Meredith, Patrick O’Neil, Jin, Dongyun, Griffith, Dennis, Chen, Feng, Roşu, Grigore

“… This article gives an overview of the, monitoring oriented programming framework (MOP …”
Volltext