External Links

    Journal: IEE Proceedings - Software

    Volume 1, Issue 6

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

    Volume 1, Issue 5

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

    Volume 1, Issue 4

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

    Volume 1, Issue 3

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

    Volume 1, Issue 2

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

    Volume 1, Issue 1

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