Výsledky vyhľadávania - Verification Keywords Aspect-oriented programming

A classification system and analysis for aspect-oriented programs

Autori: Martin Rinard Ru Sălcianu Suhabe Bugrara a ďalší

Prispievatelia: Martin Rinard Ru Sălcianu Suhabe Bugrara a ďalší

Zdroj: http://www.cag.lcs.mit.edu/~rinard/paper/fse04.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software/Program Verification, Validation, D.3 [Software, Programming Languages General Terms, Languages, Verification. Keywords, Aspect oriented programming, program analysis

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.9956; http://www.cag.lcs.mit.edu/~rinard/paper/fse04.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.9956
http://www.cag.lcs.mit.edu/~rinard/paper/fse04.pdf

Current Trends of Object Oriented Programming Paradigm in Software Development.

Autori: Pawar, Rupali Pravinkumar

Zdroj: International Scientific Journal of Engineering & Management; May2025, Vol. 4 Issue 5, p1-9, 9p

Predmety: OBJECT-oriented programming, COMPUTER software developers, COMPUTER software development, SOFTWARE engineering, TECHNOLOGICAL innovations

Concurrent aspects

Autori: Rémi Douence Didier Le Botlan Jacques Noyé a ďalší

Prispievatelia: Rémi Douence Didier Le Botlan Jacques Noyé a ďalší

Zdroj: http://www.emn.fr/sudholt/papers/gpce06.pdf.

Predmety: Categories and Subject Descriptors D.1.3. Software [Programming Techniques, Concurrent Programming General Terms Languages, Verification Keywords Aspect-oriented programming, concurrency, formal verification, implementation, Java

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4036; http://www.emn.fr/sudholt/papers/gpce06.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4036
http://www.emn.fr/sudholt/papers/gpce06.pdf

Garbage collection for monitoring parametric properties

Autori: Dongyun Jin Meredith Dennis Griffith Grigore Ros¸u a ďalší

Prispievatelia: Dongyun Jin Meredith Dennis Griffith Grigore Ros¸u a ďalší

Zdroj: http://fsl.cs.uiuc.edu/pubs/jin-meredith-griffith-rosu-2011-pldi.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Assertion checkers, Class invariants, Formal methods, Reliability, D.2.5 [Software Engineering, Debugging aids, Error handling and recovery, Monitors, D.3.2 [Programming Languages, Objectoriented languages, D.3.4 [Programming Languages, Code generation, Memory management General Terms Languages, Performance, Verification Keywords runtime verification, runtime monitoring, testing, debugging, aspect-oriented programming, garbage collection

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.5666
http://fsl.cs.uiuc.edu/pubs/jin-meredith-griffith-rosu-2011-pldi.pdf

Aspect-Oriented Modeling and Verification with Finite State Machines.

Autori: Omar El-Ariss Wei-Feng Xu Lin-Zhang Wang

Zdroj: Journal of Computer Science & Technology (10009000); Sep2009, Vol. 24 Issue 5, p949-961, 13p

Predmety: ASPECT-oriented programming, SOFTWARE verification, MATHEMATICAL models, COMPUTER software execution, SYSTEMS design, COMPUTER programming, QUALITY control, ELECTRONIC data processing

Exploring Aspects in the Context of Reactive Systems

Autori: Karine Altisen Centre Karine Altisen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Karine Altisen Centre Karine Altisen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.iastate.edu/~leavens/FOAL/papers-2004/altisen-maraninchi-stauch.pdf.

Predmety: Design, Languages, Theory, Verification Keywords reactive systems, aspect-oriented programming, formal semantics, synchronous languages

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.4533
http://www.cs.iastate.edu/~leavens/FOAL/papers-2004/altisen-maraninchi-stauch.pdf

Designing aspects for side-effect localization

Autori: Kung Chen Jia-yin Lin Shu-chun Weng a ďalší

Prispievatelia: Kung Chen Jia-yin Lin Shu-chun Weng a ďalší

Zdroj: http://scw.tw/works/pub/pepm09.pdf.

Predmety: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Optimizaation General Terms Design, Languages, Theory, Verification Keywords Aspect-oriented programming, Side-effect, Lazy semantics

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.8269; http://scw.tw/works/pub/pepm09.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.8269
http://scw.tw/works/pub/pepm09.pdf

AES High-Level SystemC Modeling using Aspect Oriented Programming Approach.

Autori: Mestiri, Hassen Barraj, Imen Machhout, Mohsen

Zdroj: Engineering, Technology & Applied Science Research; Feb2021, Vol. 11 Issue 1, p6719-6723, 5p

Predmety: ADVANCED Encryption Standard, ELECTRONIC systems

Abstract

Autori: Shriram Krishnamurthi Kathi Fisler The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Shriram Krishnamurthi Kathi Fisler The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.brown.edu/people/sk/Publications/Papers/Published/kf-found-incr-aspect-mc-journal/paper.pdf.

Predmety: General Terms, Algorithms, Languages, Verification Keywords, incremental verification, modular verification, model-checking, aspect-oriented programming, feature

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.673
http://www.cs.brown.edu/people/sk/Publications/Papers/Published/kf-found-incr-aspect-mc-journal/paper.pdf

Intelligent extraction of manufacturing system components from natural language using transformer models.

Autori: Boudribila, Abderrahmane Tajer, Abdelouahed Boulghasoul, Zakaria

Zdroj: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10608-10632, 25p

An AOP-Based Security Verification Environment for KECCAK Hash Algorithm.

Autori: Hassen Mestiri Imen Barraj Machhout, Mohsen

Zdroj: Computers, Materials & Continua; 2022, Vol. 73 Issue 2, p4051-4066, 16p

Predmety: ALGORITHMS, SOURCE code, PROGRAMMING languages, ELECTRONIC systems, ELECTRONIC equipment

Monitoring Design Pattern Contracts

Autori: Jason O. Hallstrom The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Jason O. Hallstrom The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.iastate.edu/~leavens/SAVCBS/2004/papers/Hallstrom-Soundarajan-Tyler.pdf.

Predmety: Design, Reliability, Verification Keywords Design patterns, Aspect-oriented programming, Runtime monitoring

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4843
http://www.cs.iastate.edu/~leavens/SAVCBS/2004/papers/Hallstrom-Soundarajan-Tyler.pdf

Towards improving aspect-oriented software reusability estimation.

Autori: Magableh, Aws A. Ata, Hana'a Bani Saifan, Ahmad A. a ďalší

Zdroj: Scientific Reports; 6/8/2024, Vol. 14 Issue 1, p1-20, 20p

Predmety: COMPUTER software reusability, SOFTWARE measurement, OBJECT-oriented programming, NUMBER concept, CONSTRUCTION cost estimates, RESEARCH personnel

KBL: a golden keywords-based query reformulation approach for bug localization.

Autori: Cai, Biyu Zou, Weiqin Meng, Qianshuang a ďalší

Zdroj: Empirical Software Engineering; Oct2025, Vol. 30 Issue 5, p1-61, 61p

Formal verification of a machine learning tool for runway configuration assistance.

Autori: Razzaghi, Pouria Memarzadeh, Milad Kalyanam, Krishna

Zdroj: Frontiers in Aerospace Engineering; 2025, p1-12, 12p

Predmety: DECISION support systems, INTERNATIONAL airports, MONTE Carlo method, CONFIGURATION management, AIR traffic

Novel Fuzzy MCDM Model for Comparison of Programming Languages.

Autori: DAMJANOVIĆ, Srđan KATANIĆ, Predrag Kazimieras ZAVADSKAS, Edmundas a ďalší

Zdroj: Studies in Informatics & Control; Dec2024, Vol. 33 Issue 4, p5-14, 11p

Predmety: C++, PROGRAMMING languages, COMPUTERS, RATIO analysis, PROBLEM solving

Automated Test Data Generation for Aspect-Oriented Programs

Autori: Mark Harman Fayezin Islam Tao Xie a ďalší

Prispievatelia: Mark Harman Fayezin Islam Tao Xie a ďalší

Zdroj: http://www0.cs.ucl.ac.uk/staff/M.Harman/aosd09.pdf.

Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging General Terms Verification Keywords Test data generation, aspect-oriented software development, evolu- tionary testing, search-based software engineering

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.674.7116; http://www0.cs.ucl.ac.uk/staff/M.Harman/aosd09.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.674.7116
http://www0.cs.ucl.ac.uk/staff/M.Harman/aosd09.pdf

Android-SRV: Scenario-Based Runtime Verification of Android Applications.

Autori: Pengcheng Zhang Kun Cheng Gao, Jerry

Zdroj: International Journal of Software Engineering & Knowledge Engineering; Feb2018, Vol. 28 Issue 2, p239-257, 19p

Predmety: COMPUTER monitors, ASPECT-oriented programming, COMPUTER programming, MALWARE

Reviews & Products: ANDROID (Operating system)

A lightweight framework for dynamic GUI data verification based on scripts.

Autori: Mateo Navarro, Pedro Luis Ruiz, Diego Sevilla Pérez, Gregorio Martínez

Zdroj: Software Testing: Verification & Reliability; Mar2016, Vol. 26 Issue 2, p95-118, 24p

Predmety: GRAPHICAL user interfaces, VERIFICATION of computer systems, SCRIPTING languages (Computer science), REQUIREMENTS engineering, ASPECT-oriented programming

VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES.

Autori: ZHANQI CUI LINZHANG WANG XI LIU a ďalší

Zdroj: International Journal of Software Engineering & Knowledge Engineering; Jun2013, Vol. 23 Issue 5, p655-676, 22p

Predmety: ASPECT-oriented programming, COMPUTER software development, COMPUTER engineering, UNIFIED modeling language, AUTOMATION, COMPUTATIONAL complexity, SOFTWARE verification