Výsledky vyhledávání - "Verification Keywords Aspect-oriented programming"

Designing aspects for side-effect localization

Autoři: Kung Chen Jia-yin Lin Shu-chun Weng a další

Přispěvatelé: Kung Chen Jia-yin Lin Shu-chun Weng a další

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

Témata: 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 souboru: application/pdf

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

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

Concurrent aspects

Autoři: Rémi Douence Didier Le Botlan Jacques Noyé a další

Přispěvatelé: Rémi Douence Didier Le Botlan Jacques Noyé a další

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

Témata: 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 souboru: application/pdf

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

Dostupnost: 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

Autoři: André Restivo Rua Dr Roberto Frias a další

Přispěvatelé: André Restivo Rua Dr Roberto Frias a další

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

Témata: 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 souboru: 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

Dostupnost: 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

Autoři: Robin Salkeld Wenhao Xu Brendan Cully a další

Přispěvatelé: Robin Salkeld Wenhao Xu Brendan Cully a další

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

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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Amita Sharma S. S. Sarangdevot The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Amita Sharma S. S. Sarangdevot The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Aspects of Availability

Autoři: Pascal Fradet Stéphane Hong Tuan Ha a další

Přispěvatelé: Pascal Fradet Stéphane Hong Tuan Ha a další

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

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

Popis souboru: application/pdf

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

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