8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002

Papers from a December 2002 conference on complex computer systems address collaboration and distribution, object-orientation, testing, model checking, performance and trade-off analysis, and the application of formal methods in complex computer systems. Some specific topics include validating run-t...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
IEEE Computer Society Staff
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 2002
Zusammenfassung:
Papers from a December 2002 conference on complex computer systems address collaboration and distribution, object-orientation, testing, model checking, performance and trade-off analysis, and the application of formal methods in complex computer systems. Some specific topics include validating run-time interactions in distributed Java applications, mechanization of a proof of string- preprocessing in Boyer-Moore's pattern matching algorithm, and using role-based modeling language to characterize model families. Other topics are interclass testing of object-oriented software, syntactic fault patterns in OO programs, and managing software evolution with a formalized abstraction hierarchy. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Umfang:
1 online resource
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Object-oriented programming (Computer science) > Congresses.
Computer engineering > Congresses.
Bezugswerke: