Aspect-oriented programming and modular reasoning
暂无分享,去创建一个
[1] D. Krakauer. Robustness in Biological Systems: A Provisional Taxonomy , 2006 .
[2] Ivar Jacobson,et al. Aspect-oriented software development with use cases , 2005, Addison Wesley object technology series.
[3] Gary T. Leavens,et al. How the design of JML accommodates both runtime assertion checking and formal verification , 2003, Sci. Comput. Program..
[4] Ivar Jacobson,et al. Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series) , 2004 .
[5] Michael Eichberg,et al. Pointcuts as Functional Queries , 2004, APLAS.
[6] Kathi Fisler,et al. Verifying aspect advice modularly , 2004, SIGSOFT '04/FSE-12.
[7] Martin C. Rinard,et al. A classification system and analysis for aspect-oriented programs , 2004, SIGSOFT '04/FSE-12.
[8] Robert DeLine,et al. Typestates for Objects , 2004, ECOOP.
[9] Masaaki Mizuno,et al. SyncGen: An Aspect-Oriented Framework for Synchronization , 2004, TACAS.
[10] Jim Hugunin,et al. Advice weaving in AspectJ , 2004, AOSD '04.
[11] Michael Haupt,et al. Virtual machine support for dynamic join points , 2004, AOSD '04.
[12] Shigeru Chiba,et al. Josh: an open AspectJ-like language , 2004, AOSD '04.
[13] Angelo Furfaro,et al. Multimedia synchronization based on aspect oriented programming , 2004, Microprocess. Microsystems.
[14] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.
[15] Jonathan Aldrich,et al. Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming , 2004 .
[16] Hidehiko Masuhara,et al. Dataflow Pointcut in Aspect-Oriented Programming , 2003, APLAS.
[17] Hidehiko Masuhara,et al. Modeling Crosscutting in Aspect-Oriented Mechanisms , 2003, ECOOP.
[18] Jianjun Zhao,et al. Pipa: A Behavioral Interface Specification Language for AspectJ , 2003, FASE.
[19] João Araújo,et al. Modularisation and composition of aspectual requirements , 2003, AOSD '03.
[20] Kris Gybels,et al. Arranging language features for more robust pattern-based crosscuts , 2003, AOSD '03.
[21] Mira Mezini,et al. Conquering aspects with Caesar , 2003, AOSD '03.
[22] Ramnivas Laddad,et al. Aspectj in Action: Practical Aspect-Oriented Programming , 2003 .
[23] Joseph D. Gradecki,et al. Mastering AspectJ: Aspect-Oriented Programming in Java , 2003 .
[24] Gary T. Leavens,et al. Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy , 2003 .
[25] Gregor Kiczales,et al. Design pattern implementation in Java and aspectJ , 2002, OOPSLA '02.
[26] Sérgio Soares,et al. Implementing distribution and persistence aspects with aspectJ , 2002, OOPSLA '02.
[27] João Araújo,et al. Early aspects: a model for aspect-oriented requirements engineering , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.
[28] Acm Sigsoft,et al. International Conference on Aspect-Oriented Software Development : AOSD ... , 2002 .
[29] Ivan Kiselev,et al. Aspect-Oriented Programming with AspectJ , 2002 .
[30] Gary T. Leavens,et al. Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning , 2002 .
[31] Gregor Kiczales,et al. Aspect-oriented programming , 2001, ESEC/FSE-9.
[32] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.
[33] Jesse Liberty,et al. Programming C , 2001 .
[34] Joshua J. Bloch. Effective Java : programming language guide , 2001 .
[35] Cristina V. Lopes,et al. A study on exception detection and handling using aspect-oriented programming , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[36] John C. Grundy,et al. Aspect-oriented requirements engineering for component-based software systems , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).
[37] Stanley M. Sutton,et al. N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[38] Martin Odersky,et al. Making the future safe for the past: adding genericity to the Java programming language , 1998, OOPSLA '98.
[39] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.
[40] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.