DocumentCode :
3225053
Title :
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
fYear :
2004
fDate :
27-27 May 2004
Abstract :
The following topics are dealt with: software architecture; formal specification; formal verification; optimisation; software performance evaluation; software modeling; systems analysis; software engineering; computer-based system; UML.
Keywords :
Unified Modeling Language; formal specification; formal verification; software architecture; software performance evaluation; software prototyping; UML; computer-based system; formal specification; formal verification; optimisation; software architecture; software engineering; software modeling; software performance evaluation; systems analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Conference_Location :
Brno, Czech Republic
Print_ISBN :
0-7695-2125-8
Type :
conf
DOI :
10.1109/ECBS.2004.1316669
Filename :
1316669
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3225053
بازگشت