Výsledky vyhľadávania - "Verification. Keywords Aspect-Oriented Programming"

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

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

Disciplined Composition of Aspects using Tests

Autori: André Restivo Rua Dr Roberto Frias a ďalší

Prispievatelia: André Restivo Rua Dr Roberto Frias a ďalší

Zdroj: http://aosd.net/workshops/late/2008/papers/Restivo.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verifi- cation—Validation, D.2.5 [Software Engineering, Test- ing and Debugging—Testing tools General Terms Languages, Verification Keywords Aspect-Oriented Programming, Tests, Software Evolution

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.4687; http://aosd.net/workshops/late/2008/papers/Restivo.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.4687
http://aosd.net/workshops/late/2008/papers/Restivo.pdf

Retroactive Aspects: Programming in the Past

Autori: Robin Salkeld Wenhao Xu Brendan Cully a ďalší

Prispievatelia: Robin Salkeld Wenhao Xu Brendan Cully a ďalší

Zdroj: http://www.cs.ubc.ca/%7Eandy/papers/retrospect-woda-final.pdf.

Predmety: General Terms Languages, Measurement, Verification Keywords Aspect-oriented Programming, Execution Mining, Deterministic Replay, Dynamic Analysis

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.657
http://www.cs.ubc.ca/%7Eandy/papers/retrospect-woda-final.pdf

Application of AOP Methodology in Eclipse-AJDT Environment for Developing Bioinformatics Software

Autori: Amita Sharma S. S. Sarangdevot The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Amita Sharma S. S. Sarangdevot The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ijcaonline.org/icwet/number15/SE243.pdf.

Predmety: General Terms Design, Experimentation, Languages, Theory, Verification. Keywords Aspect-Oriented Programming, Separation of Concerns, Bioinformatics Software, Eclipse-AJDT

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4795; http://www.ijcaonline.org/icwet/number15/SE243.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.4795
http://www.ijcaonline.org/icwet/number15/SE243.pdf

Aspects of Availability

Autori: Pascal Fradet Stéphane Hong Tuan Ha a ďalší

Prispievatelia: Pascal Fradet Stéphane Hong Tuan Ha a ďalší

Zdroj: http://pop-art.inrialpes.fr/~fradet/PDFs/GPCE07.pdf.

Predmety: ming, Program transformation General Terms Languages, Reliability, Security, Verification Keywords Aspect-Oriented Programming, Availability, Resource Management, Timed Automata, Weaving, Denial of Service

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.1850
http://pop-art.inrialpes.fr/~fradet/PDFs/GPCE07.pdf