Suchergebnisse - "Monitoring-oriented programming"

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming

Autoren: Buhagiar, Aaron John Pace, Gordon J. Ebejer, Jean Paul et al.

Quelle: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). :200-207

Schlagwörter: Software engineering, Self-adaptive software, Computer programs -- Verification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, User interfaces (Computer systems), 01 natural sciences

Zugangs-URL: https://www.um.edu.mt/library/oar/bitstream/123456789/27699/3/Engineering_adaptive_user_interfaces_using_monitoring_oriented_programming_2017.pdf
https://www.um.edu.mt/library/oar/bitstream/123456789/27699/3/Engineering_adaptive_user_interfaces_using_monitoring_oriented_programming_2017.pdf
http://ieeexplore.ieee.org/document/8009924/
https://dblp.uni-trier.de/db/conf/qrs/qrs2017.html#BuhagiarPE17
https://ieeexplore.ieee.org/document/8009924/
https://www.um.edu.mt/library/oar/handle/123456789/27699
https://www.um.edu.mt/library/oar//handle/123456789/27699

Evolution-Aware Monitoring-Oriented Programming

Autoren: Darko Marinov Grigore Rosu Owolabi Legunsen

Quelle: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. :615-618

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

A case study for monitoring-oriented programming in multi-core architecture

Autoren: Jianwen Tang Lu Yang Jianhua Zhao et al.

Quelle: Proceedings of the 1st international workshop on Multicore software engineering. :47-52

Schlagwörter: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/10.1145/1370082.1370094

Towards Monitoring-Oriented Programming

Autoren: Feng Chen Grigore Rosu

Quelle: Electronic Notes in Theoretical Computer Science. 89:108-127

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests

Autoren: Guan, Kevin d'Amorim, Marcelo Legunsen, Owolabi

Quelle: Proceedings of the ACM on Programming Languages ; volume 9, issue OOPSLA2, page 3696-3725 ; ISSN 2475-1421

Verfügbarkeit: https://doi.org/10.1145/3763183
https://dl.acm.org/doi/pdf/10.1145/3763183

Java-MOP: A Monitoring Oriented Programming Environment for Java

Autoren: Feng Chen Grigore Rosu

Quelle: Lecture Notes in Computer Science ISBN: 9783540253334

Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_36.pdf
http://fsl.cs.illinois.edu/papers/chen-rosu05a.pdf
https://link.springer.com/10.1007/978-3-540-31980-1_36
https://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#ChenR05
https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_36.pdf
https://core.ac.uk/display/24548240
https://experts.illinois.edu/en/publications/java-mop-a-monitoring-oriented-programming-environment-for-java

G.: Monitoring oriented programming - a project overview

Autoren: Feng Chen Dongyun Jin Patrick Meredith et al.

Weitere Verfasser: Feng Chen Dongyun Jin Patrick Meredith et al.

Quelle: http://fsl.cs.illinois.edu/pubs/chen-jin-meredith-rosu-2009-icicis.pdf.

Schlagwörter: General Terms Reliability, Languages, Verification. Keywords monitoring oriented programming, runtime verification

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3919

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3919
http://fsl.cs.illinois.edu/pubs/chen-jin-meredith-rosu-2009-icicis.pdf

Using Aspect Oriented Programming and Monitor Oriented Programming in Timetable Generation System.

Autoren: Grigoriţă, Delia-Iustina Duţuc, Paul Cotiugă, Ionela et al.

Quelle: Procedia Computer Science. 2025, Vol. 270, p2562-2571. 10p.

Schlagwörter: Scheduling, Time management, User interfaces, School schedules, Database management, Synchronization

Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Autoren: Feng Chen The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Feng Chen The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cin.ufpe.br/~damorim/publications/mopTR.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.559.1746; http://www.cin.ufpe.br/~damorim/publications/mopTR.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.559.1746
http://www.cin.ufpe.br/~damorim/publications/mopTR.pdf

Towards monitoring-oriented programming: A paradigm combining specification and implementation

Autoren: Feng Chen Grigore Ro The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Feng Chen Grigore Ro The Pennsylvania State University CiteSeerX Archives

Quelle: http://gureni.cs.uiuc.edu/~grosu/download/rv-paper.ps.

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.1350

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.1350
http://gureni.cs.uiuc.edu/~grosu/download/rv-paper.ps

Evolution-Aware Monitoring-Oriented Programming.

Autoren: Legunsen, Owolabi Marinov, Darko Roşu, Grigore

Quelle: ICSE: International Conference on Software Engineering; 2015, p615-618, 4p

Schlagwörter: COMPUTER software, COMPUTER programming, REGRESSION testing (Computer science), SOFTWARE engineering, COMPUTER science

A Case Study for Monitoring-Oriented Programming in Multi-core Architecture.

Autoren: Lu Yang Jianwen Tang Jianhua Zhao et al.

Quelle: ICSE: International Conference on Software Engineering; 2008, p47-52, 6p, 2 Color Photographs, 1 Diagram, 1 Chart, 2 Graphs

Schlagwörter: SOFTWARE architecture, COMPUTER software, ELECTRONIC systems, HIGH performance computing, COMPUTER science

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Autoren: Feng Chen Grigore Rosu Marcelo d'Amorim

Quelle: Electronic Notes in Theoretical Computer Science. 144:3-20

Schlagwörter: Java-MOP, MOP, specification, Monitoring-oriented programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Java, Theoretical Computer Science, Computer Science(all)

Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Autoren: Chen, Feng d'Amorim, Marcelo Rosu, Grigore

Schlagwörter: object-oriented software, Formal Methods

Relation: http://hdl.handle.net/2142/10786

Verfügbarkeit: http://hdl.handle.net/2142/10786

Java-MOP: A Monitoring Oriented Programming Environment for Java

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://gureni.cs.uiuc.edu/~grosu/download/java-mop-tool.ps.

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.1962

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.1962
http://gureni.cs.uiuc.edu/~grosu/download/java-mop-tool.ps

Java-mop: A monitoring oriented programming environment for java

Autoren: Feng Chen The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Feng Chen The Pennsylvania State University CiteSeerX Archives

Quelle: http://fsl.cs.illinois.edu/papers/chen-rosu05a.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.3945

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.3945
http://fsl.cs.illinois.edu/papers/chen-rosu05a.pdf

A case study for monitoring-oriented programming in multi-core architecture.

Autoren: Yang, Lu Tang, Jianwen Zhao, Jianhua et al.

Quelle: Proceedings of the 1st International Workshop: Multicore Software Engineering; 5/11/2008, p47-52, 6p

Java-MOP: A Monitoring Oriented Programming Environment for Java.

Autoren: Halbwachs, Nicolas Zuck, Lenore D. Chen, Feng et al.

Quelle: Tools & Algorithms for the Construction & Analysis of Systems (9783540253334). 2005, p546-550. 5p.

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

Autoren: Chen, Feng Roşu, Grigore

Quelle: ENTCS: Electronic Notes in Theoretical Computer Science. Oct2003, Vol. 89 Issue 2, p1-20. 20p.

Schlagwörter: Logic, Systems design, Prototypes, Computer science

Monitoring Oriented Programming and Analysis

Autoren: Chen, Feng Rosu, Grigore Meseguer, José et al.

Weitere Verfasser: Chen, Feng Rosu, Grigore Meseguer, José et al.

Schlagwörter: Computer programming

Relation: http://hdl.handle.net/2142/13620

Verfügbarkeit: http://hdl.handle.net/2142/13620