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