IET Software, Volume 1

Volume 1, Number 1, February 2007

Gayathri Nadarajan, Yun-Heh Chen-Burger:
Translating a typical business process modelling language to a web services ontology through lightweight mapping. 1-17
R. Su, Michel R. V. Chaudron, Johan J. Lukkien:
Adaptive runtime fault management for service instances in component-based software applications. 18-28
H. Liu, W. Z. Shao, L. Zhang, Z. Y. Ma:
Detecting overlapping use cases. 29-36

Russell J. Haines, Gary Clemo, Alistair D. Munro:
Petri-nets for formal verification of MAC protocols. 39-47
S. Papadimitriou:
Scientific programming with Java classes supported with a scripting interpreter. 48-56
S. Mahmood, R. Lai, Y. S. Kim:
Survey of component-based software development. 57-66

Nathalie Moreno, Piero Fraternali, Antonio Vallecillo:
WebML modelling in UML. 67-80
Andrea Schauerhuber, Manuel Wimmer, Elisabeth Kapsammer, Wieland Schwinger, Werner Retschitzegger:
Bridging WebML to model-driven engineering: from document type definitions to meta object facility. 81-97
N. Koch:
Classification of model transformation techniques used in UML-based Web engineering. 98-111

Nikos Parlavantzas, Geoffrey Coulson:
Designing and constructing modifiable middleware using component frameworks. 113-126
R. Wang, Xiaoyu Song, Ming Gu:
Modelling and verification of program logic controllers using timed automata. 127-131
Deepti Mishra, Alok Mishra:
Efficient software review process for small and medium enterprises. 132-142
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli:
Merging partial system behaviours: composition of use-case automata. 143-160

Barbara Kitchenham, David Budgen, Pearl Brereton, Mark Turner, Stuart M. Charters, Stephen G. Linkman:
Large-scale software engineering questions expert opinion or empirical evidence? 161-171
C. Watterson, D. Heffernan:
Runtime verification and monitoring of embedded systems. 172-179
Lech Madeyski, Lukasz Szala:
Impact of aspect-oriented programming on software development efficiency and design quality: an empirical study. 180-187
C.-L. Hsu, F.-J. Wang:
Analysing inaccurate artifact usages in workflow specifications. 188-205
R. Su, Johan J. Lukkien, Chaudron R. V. Chaudron:
Language-based access control approach for component-based software applications. 206-216

A. Garcia, C. Lucena:
On the interplay of .NET and contemporary software engineering techniques [Editorial]. 217-218
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
Validation of web service compositions. 219-232
Bruno Cabral, P. Sacramento, Paulo Marques:
Hidden truth behind .NETs exception handling today. 233-250
Fabian Schmied, Alan Cyment:
Aspect-oriented weaving and the .NET common language runtime. 251-262
Luís Veiga, P. Pereira, P. Ferreira:
Complete distributed garbage collection using DGC-consistent cuts and .NET AOP-support. 263-279
André Wilson Brotto Furtado, A. L. M. Santos, G. L. Ramalho:
Computer games software factory and edutainment platform for microsoft .NET. 280-293
A. R. da Silva, J. Saraiva, D. Ferreira, R. Silva, C. Videira:
Integration of RE and MDE paradigms: the ProjectIT approach and tools. 294-314