8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002)
| Author/creator | IEEE Computer Society Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 258 p. 27.000 x 021.000 cm. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation 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 |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769517575 |
| ISBN | 0769517579 (Trade Paper) Active Record |
| Standard identifier# | 9780769517575 |
| Stock number | PR01757 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |