Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability.
Lennart C. L. KatsEelco VisserPublished in: SCAM (2010)
Keyphrases
- aspect oriented programming
- software platform
- cross cutting concerns
- aspect oriented
- script language
- crosscutting concerns
- proof theory
- web services
- formal language
- formal logic
- case study
- programming language
- dynamic logic
- software product line
- graphical user interfaces
- logic programming
- object oriented
- business applications
- operational semantics
- modal logic
- natural language
- database
- databases
- software engineering
- machine learning
- predicate logic
- markup language
- software development
- end users
- database systems