86 | -- | 92 | Richard Bache, Monika Müllerburg. Measures of testability as a basis for quality assurance |
93 | -- | 104 | Andrew D. Hutcheon, Andy J. Wellings. Specifying restrictions on imperative programming languages for use in a distributed embedded environment |
105 | -- | 115 | Ray Welland, Stephen Beer, Ian Sommerville. Method rule checking in a generic design editing system |
111 | -- | 112 | Dimitris Dranidis, Stephen P. Masticola, H. Zhu. Automation of software test (AST 09) [Editorial] |
113 | -- | 119 | Alberto Avritzer, Edmundo de Souza e Silva, Rosa Maria Meri Leão, Elaine J. Weyuker. Automated generation of test cases using a performability model |
116 | -- | 124 | Pericles Loucopoulos, R. E. M. Champion. Concept acquisition and analysis for requirements specification |
120 | -- | 131 | Panuchart Bunyakiati, Anthony Finkelstein. Standards compliance testing for unified modelling language tools |
125 | -- | 137 | Stanislaw Jarzabek. Specifying and generating multilanguage software development environments |
132 | -- | 141 | Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. Lazy symbolic execution for test data generation |
138 | -- | 148 | David N. Wilson, Mark J. Sifer. Structured planning: deriving project views |
142 | -- | 156 | X. Li, X. Qiu, L. Wang, X. Chen, Z. Zhou, L. Yu, J. Zhao. UML interaction model-driven runtime verification of Java programs |
157 | -- | 171 | Ramon R. Palacio, Aurora Vizcaíno, Alberto L. Morán, Victor M. Gonzalez. Tool to facilitate appropriate interaction in global software development |
172 | -- | 187 | Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch. Modelling software process variability: an empirical study |
188 | -- | 200 | Nitin Upadhyay, Bharat M. Deshpande, V. P. Agrawal. Concurrent usability evaluation and design of software component: a digraph and matrix approach |
201 | -- | 215 | E. Devaraj, S. Kumar, T. Kavi, K. Rajani Kanth. Predicting the software performance during feasibility study |
216 | -- | 228 | T. Wijayasiriwardhane, R. Lai, K. C. Kang. Effort estimation of component-based software development - a survey |
229 | -- | 237 | Hector A. Duran-Limon, M. Siller, Gordon S. Blair, A. Lopez, J. F. Lombera-Landa. Using lightweight virtual machines to achieve resource adaptation in middleware |
238 | -- | 245 | Rubén González Crespo. Detecting and resolving email feature interactions through constraints |
246 | -- | 261 | Luka Fürst, Marjan Mernik, Viljan Mahnic. Improving the graph grammar parser of Rekers and Schürr |