Format:
Online-Ressource
ISBN:
0769522971
Note:
"IEEE Computer Society Order Number P2297"--Title page verso
,
Includes bibliographical references and index
,
Parallel als Buch-Ausg. erschienen
Additional Edition:
Erscheint auch als Druck-Ausgabe SERA 2005 (3rd : 2005 : Mount Pleasant, Michigan, USA) Third ACIS International Conference on Software Engineering Research, Management and Applications Los Alamitos : IEEE Computer Society, ©2005
Language:
English
Keywords:
Formale Methode
;
Komponentenmodell
;
Verifikation
;
Leistungsbewertung
;
Mensch-Maschine-Kommunikation
;
Information Retrieval
;
Konferenzschrift