DocumentCode :
3290523
Title :
AOP Maintains an Independent Coordinate System
Author :
Kutner, Joe ; Perkins, Louise ; Yenduri, Sumanth ; Zand, Farnaz ; Zhang, Joe
Author_Institution :
Univ. of Southern Mississippi, Long Beach
fYear :
2008
fDate :
7-9 April 2008
Firstpage :
1290
Lastpage :
1291
Abstract :
We argue in this paper that aspect-oriented-programming (AOP) maintains a programmer independent coordinate system and hence supports program correctness proofs. To show this, we revisit Dijkstra´s and Knuth´s original arguments on structured programming.
Keywords :
object-oriented programming; program verification; structured programming; aspect-oriented-programming; program correctness proof; programmer independent coordinate system; structured programming; Clocks; Computer languages; Encapsulation; Information technology; Inspection; Object oriented modeling; Object oriented programming; Programming profession; Software design; Vehicles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-3099-0
Type :
conf
DOI :
10.1109/ITNG.2008.13
Filename :
4492696
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3290523
بازگشت