19 | -- | 39 | Xiangyang Li, Mohammad A. Ketabchi. A Model-Based Computer-Aided Prototyping System |
41 | -- | 72 | Luqi, Man-tak Shing. Real-Time Scheduling for Software Prototyping |
73 | -- | 92 | Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang. Realizing EQL Programs for Bounded-Time Execution |
93 | -- | 134 | Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins. Software Component Search |
135 | -- | 150 | Valdis Berzins, David A. Dampier. Software Merge: Combining Changes to Decompositions |