13th IEEE International Conference on Automated Software Engineering (ASE'98) Honolulu, Hawaii October 13-October 16 ISBN: 0-8186-8750-9 Table of Contents
pp. 2 pp. 12 pp. 22 pp. 32
Planning Equational Verification in CCS (Abstract)
pp. 43
Don't Verify, Abstract! (Abstract)
pp. 53
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL (Abstract)
pp. 63 pp. 322
pp. 74 pp. 84 pp. 94
pp. 105 pp. 115 pp. 125
pp. 136 pp. 147 pp. 157
pp. 168 pp. 177
pp. 188
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (Abstract)
pp. 192
Component-based Software Process Support (Abstract)
pp. 196 pp. 200 pp. 204
Detection of Exclusive OR Global Predicates (Abstract)
pp. 213
Statically Checkable Design Level Traits (Abstract)
pp. 217 pp. 221 pp. 225
Task Oriented Software Understanding (Abstract)
pp. 230
Explaining Synthesized Software (Abstract)
pp. 240 pp. 249
pp. 260 pp. 270
pp. 281 pp. 285 pp. 289 pp. 293 pp. 297
pp. 302 pp. 306 pp. 310 pp. 314 pp. 318 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||
