DocumentCode :
2136395
Title :
Proceedings First International Conference on Software Engineering and Formal Methods
fYear :
2003
fDate :
22-27 Sept. 2003
Abstract :
The following topics are dealt with: software engineering; testing; formal models for security; program verification; integration of formal and informal methods; object-oriented modelling; and automated verification.
Keywords :
formal specification; object-oriented programming; program testing; program verification; security of data; software engineering; automated verification; formal methods; informal methods; object-oriented modelling; program verification; software engineering; software security; software testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on
Conference_Location :
Brisbane, Queensland, Australia
Print_ISBN :
0-7695-1949-0
Type :
conf
DOI :
10.1109/SEFM.2003.1236201
Filename :
1236201
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2136395
بازگشت