Format:
Online-Ressource
ISBN:
9781424453207
,
0769539033
,
1424453208
,
9780769539034
,
9781424453207
Note:
Weitere Papers erschienen im Springer-Verl., Berlin u.d.T.: Software engineering research, management and applications 2009 (Studies in computational intelligence, Vol. 253)
,
Parallel als Druckausg. erschienen
Additional Edition:
ISBN 9780769539034
Additional Edition:
Erscheint auch als Druck-Ausgabe SERA 2009 (2009 : Haikou Shi, China) Proceedings 7th ACIS International Conference on Software Engineering Research, Management, & Applications Los Alamitos, Calif : IEEE Computer Society, ©2009
Language:
English
Keywords:
Formale Methode
;
Komponentenmodell
;
Verifikation
;
Leistungsbewertung
;
Mensch-Maschine-Kommunikation
;
Information Retrieval
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
Bookmarklink