Journal: IEE Proceedings - Software

Volume 8, Issue 6

245 -- 257S. Sundararajan, M. Bhasi, P. K. Vijayaraghavan. Case study on risk management practice in large offshore-outsourced Agile software projects
258 -- 268M. J. Khan. Applications of case-based reasoning in Software Engineering: a systematic mapping study
269 -- 278Ramin Shokripour, John Anvik, Zarinah Mohd Kasirun, Sima Zamani. Improving automatic bug assignment using time-metadata in term-weighting
279 -- 284Faheem Ahmed, Luiz Fernando Capretz, M. A. Sandhu, Arif Raza. Analysis of risks faced by information technology offshore outsourcing service providers
295 -- 306Robert Lougher, Tom Rodden. Group support for the recording and sharing of maintenance rationale
307 -- 318Ben R. Whittle, Mark B. Ratcliffe. Software component interface description for reuse
319 -- 324A. Al-Janabi, E. Aspinwall. An evaluation of software design using the DEMETER tool
325 -- 337Bryan Ratcliff, Maeve Boyle. The PRESTIGE workbench: CASE support for the implementation phase of JSD

Volume 8, Issue 5

193 -- 203Donal Heffernan, Ciaran MacNamee, Padraig Fogarty. Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties
204 -- 218Claudia P. Ayala, Xavier Franch. Dealing with information quality in software package selection: an empirically based approach
232 -- 243Omid Bushehrian, Salman Zare. Cost-aware execution of transactional web services using labelled transition systems
246 -- 252Ronald E. Prather. Hierarchical metrics and the prime generation problem
253 -- 262Jonathan P. Bowen, Peter T. Breuer, Kevin Lano. A compendium of formal techniques for software maintenance
263 -- 272Zsolt Öry. An integrating common framework for measuring cognitive software complexity
273 -- 283Andrew Coombes, John A. McDermid. Specifying temporal requirements for distributed real-time systems in Z
284 -- 292Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling

Volume 8, Issue 4

143 -- 153Panos Fitsilis, Vassilis C. Gerogiannis, Leonidas G. Anthopoulos. Role of unified modelling language in software development in Greece ?? results from an exploratory study
154 -- 160Muneera Bano, Didar Zowghi, Naveed Ikram, Mahmood Niazi. What makes service oriented requirements engineering challenging? a qualitative study
161 -- 173Siffat Ullah Khan, Muhammad Ilyas Azeem. Intercultural challenges in offshore software development outsourcing relationships: an exploratory study using a systematic literature review
174 -- 183Tuncay Yigit, Ali Hakan Isik, Murat Ince. Web-based learning object selection software using analytical hierarchy process
184 -- 192Kemal Deniz Teket, Muge Fesci-Sayit, Geylani Kardas. Software agents for peer-to-peer video streaming
184 -- 188Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural. A test generation algorithm for systems modelled as non-deterministic FSMs
189 -- 209Jonathan P. Bowen, Victoria Stavridou. Safety-critical systems, formal methods and standards
211 -- 224M. R. Woodward. Errors in algebraic specifications and an experimental mutation testing tool
225 -- 236Steven J. Clarke, John A. McDermid. Software fault trees and weakest preconditions: a comparison and analysis
237 -- 245Roberto Ierusalimschy. A formal specification for a hierarchy of collections

Volume 8, Issue 3

103 -- 112Manoj Kumar, Arun Sharma, Rajesh Kumar. Fuzzy entropy-based framework for multi-faceted test case classification and selection: an empirical study
113 -- 119Raed Shatnawi. Empirical study of fault prediction for open-source systems using the Chidamber and Kemerer metrics
113 -- 120Stephen Shum, Curtis R. Cook. AOPS: an abstraction-oriented programming system for literate programming
120 -- 133Viktor Pavlu, Markus Schordan, Andreas Krall. Computation of alias sets from shape graphs for comparison of shape analysis precision
121 -- 131Alan W. Brown. Control integration through message-passing in a software development environment
132 -- 136Nigel Chapman, Maria Fox, Elpida Keravnou, Matthew Lee, Mark Levene, Derek Long, Peter Rounce, Ray Offen, Paul Samet, Russel L. Winder. `Slick Systems' and `Happy Hackers': experience with group projects at UCL
134 -- 142Bo Ye, Maziar Nekovee, Anjum Pervez, Mohammad Ghavami. Automatic trust calculation for service-oriented systems
137 -- 153Todd Simpson, Graham M. Birtwistle, Brian T. Graham. Towards a verified MiniSML/SECD system
154 -- 164Fabio Paternò. A formal specification of appearance and behaviour of visual environments
165 -- 179Stephen J. Andriole, Peter A. Freeman. Software systems engineering: the case of a new discipline

Volume 8, Issue 2

53 -- 61Yu Wang, Zhenxing Wang, Liancheng Zhang, Jizhong Li, Yi Guo. Situation assessment model for inter-domain routing system
53 -- 60Flaviu Cristian. Automatic reconfiguration in the presence of failures
61 -- 71Hassan Gomaa. A reuse-oriented approach for structuring and configuring distributed applications
62 -- 72J.-H. Shen, Y.-I. Chang, F. M. Chang. Dual-expansion indexing for moving objects
73 -- 82Jeff Magee, Naranker Dulay, Jeff Kramer. Structuring parallel and distributed programs
73 -- 85Maria N. Koukovini, Eugenia I. Papagiannakopoulou, Georgios V. Lioudakis, Nikolaos L. Dellas, Dimitra I. Kaklamani, Iakovos S. Venieris. An ontology-based approach towards comprehensive workflow modelling
83 -- 94Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota. Durra: a structure description language for developing distributed applications
86 -- 101Samir Benbelkacem, Mahmoud Belhocine, Nadia Zenati-Henda, Abdelkader Bellarbi, Mohamed Tadjine. Integrating human-computer interaction and business practices for mixed reality systems design: a case study
95 -- 101Christine Hofmeister, Elizabeth L. White, James M. Purtilo. Surgeon: a packager for dynamically reconfigurable distributed applications
102 -- 108Toby Bloom, Mark Day. Reconfiguration and module replacement in Argus: theory and practice

Volume 8, Issue 1

1 -- 11Hui Liu, Yang Liu, Xue Guo, Yuan Gao. Case study on software refactoring tactics
5 -- 13Richard E. Courtney, David A. Gustafson. Shotgun correlations in software measures
12 -- 18Tingyuan Nie, Lijian Zhou, Zhe-Ming Lu. Power evaluation methods for data encryption algorithms
14 -- 20Arthur H. M. ter Hofstede, E. R. Nieuwland. Task structure semantics through process algebra
19 -- 32Patricia Miravet, Ignacio Marín 0003, Francisco Ortin, Javier Rodríguez. Framework for the declarative implementation of native mobile applications
21 -- 29Hong Zhu, Patrick A. V. Hall. Test data adequacy measurement
31 -- 39Agnes Kaposi, Ian Pyle. Systems are not only software
33 -- 41Wenhu Tang, Long Yan, Zhen Yang, Q. Henry Wu. Improved document ranking in ontology-based document search engine using evidential reasoning
41 -- 48Claudio Nascimento, Jean Dollimore. A model for co-operative object-orientated programming
42 -- 51Philip O'Kane, Sakir Sezer, Kieran McLaughlin, Eul-Gyu Im. Malware detection: program run length against detection rate
52 -- 0Mohammad Azzeh, Marwan Alseid. Errata 'Value of ranked voting methods for estimation by analogy', IET Softw., 2013, 7, (4), pp 195-202