| 30 | -- | 36 | M. Shepperd. A critique of cyclomatic complexity as a software metric |
| 37 | -- | 46 | T. F. Lunney, Ronald H. Perrott. Syntax-directed editing |
| 47 | -- | 52 | P. T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. Parkin, Brian A. Wichmann. A prototype system for the validation of Pascal programs |
| 53 | -- | 56 | Darrel C. Ince, Sharam Hekmatpour. An approach to automated software design based on product metrics |
| 57 | -- | 63 | Eli Naphtali, Michael Rich. Some practical considerations regarding an ADT-obsessed design |
| 64 | -- | 68 | D. Crookes. Translation as a language implementation technique for supercomputers |
| 67 | -- | 68 | Itana Maria de Souza Gimenes, M. Mendonca. Editorial: Selected papers from SBES 07 |
| 69 | -- | 76 | M. Holcombe. X-machines as a basis for dynamic system specification |
| 69 | -- | 90 | A. Correa, C. Werner, M. Barros. Refactoring to improve the understandability of specifications written in object constraint language |
| 91 | -- | 105 | Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado. Comparing finite state machine test |
| 106 | -- | 123 | Tayana Uchôa Conte, Jobson Luiz Massolar da Silva, Emilia Mendes, Guilherme Horta Travassos. Web usability inspection technique based on design perspectives |
| 124 | -- | 139 | Rodrigo B. de Paes, G. Carvalho, Carlos José Pereira de Lucena, Ricardo Choren. Interaction laws for dependability explicit computing in open multi-agent systems |
| 140 | -- | 153 | Donal Heffernan, Shehryar Shaheen, C. Watterson. Monitoring embedded software timing properties with an SoC-resident monitor |
| 154 | -- | 164 | W. Zhao, H. Zhang. Proactive service migration for long-running Byzantine fault-tolerant systems |