Title :
Supporting the Formal Analysis of Software Systems
Author :
Campbell, Sherrie ; Sobel, Ann E Kelley
Author_Institution :
Comput. Sci. & Syst. Anal., Miami Univ., Oxford, OH
Abstract :
The formal analysis support environment, Advanced Design Employing Pattern Templates (ADEPT), is outlined. The use of ADEPT will alleviate the software engineer from the minute details that conducting formal analysis by hand requires. The developer will be able to experiment with a variety of derivations from specifications, architectural structures, and mixtures of quality attributes; thereby, gaining new insight into potential versions of high-quality, verifiable code.
Keywords :
formal verification; software architecture; advanced design employing pattern templates; architectural structures; formal analysis support environment; quality attributes; software developement; software engineer; software systems; Computer architecture; Computer science; Design engineering; Formal specifications; Pattern analysis; Programming; Software engineering; Software maintenance; Software quality; Software systems; ADEPT; Spec; design patterns; specification; verification;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.1301
