DocumentCode
1955215
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
Volume
2
fYear
2008
fDate
12-14 Dec. 2008
Firstpage
776
Lastpage
779
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location
Wuhan, Hubei
Print_ISBN
978-0-7695-3336-0
Type
conf
DOI
10.1109/CSSE.2008.1301
Filename
4722164
Link To Document