Managing Policy Interactions in KNX-Based Smart Homes

Authors:
Mohamed Shehata;Armin Eberlein;Abraham O. Fapojuwo
Affiliations:
Benha University, 108 Shoubra Street, Cairo, Egypt;American University of Sharjah, UAE;University Drive NW, Calgary, AB, Canada
Venue:
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Year:
2007

Citing 0
Cited 1

Specifying software features for composition: A tool-supported approach

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

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 ...