DocumentCode :
3025868
Title :
Third IEEE International Conference on Software Engineering and Formal Methods
fYear :
2005
fDate :
7-9 Sept. 2005
Abstract :
The following topics are dealt with: program testing; real-time system; static analysis; requirements specification; program verification; true concurrency; formal methods; abstraction; human-computer interaction; software tools; component-based development; quality of service.
Keywords :
formal specification; formal verification; object-oriented programming; program testing; real-time systems; software maintenance; software tools; abstraction; component-based development; formal methods; human-computer interaction; program testing; program verification; quality of service; real-time system; requirements specification; software maintenance; software tools; static analysis; true concurrency;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on
Conference_Location :
Koblenz
Print_ISBN :
0-7695-2435-4
Type :
conf
DOI :
10.1109/SEFM.2005.46
Filename :
1575880
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3025868
بازگشت