Name
Title | ||
|---|---|---|
An Aspect Oriented Middleware Architecture for Adaptive Mobile Computing Applications |
Abstract | ||
|---|---|---|
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ... |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/COMPSAC.2007.59 | COMPSAC (2) |
Keywords | Field | DocType |
program verification,aspect-oriented language,aspect oriented middleware architecture,promising approach,adaptive mobile computing applications,program quality,aspectoriented program,computer architecture,computer applications,user requirements,prototypes,software systems,application software,availability,computer networks,aspect oriented,middleware,mobile computing,object oriented programming,aspect oriented programming,memory footprint,distributed computing,mobile computer,level of service | Middleware,Mobile computing,Middleware (distributed applications),Architecture,Aspect-oriented programming,Object-oriented programming,Computer science,Real-time computing,Memory footprint,Message oriented middleware,Distributed computing | Conference |
ISSN | ISBN | Citations |
0730-3157 | 0-7695-2870-8 | 4 |
PageRank | References | Authors |
0.44 | 12 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Celso Maciel Da Costa | 1 | 6 | 2.54 |
| Marcelo da Silva Strzykalski | 2 | 6 | 1.52 |
| Guy Bernard | 3 | 15 | 2.91 |