Journal: IEE Proceedings - Software

Volume 11, Issue 6

277 -- 285Irum Inayat, Siti Salwah Salim, Sabrina Marczak. Survey of communication and awareness as the most relevant socio-technical aspects of requirements-driven collaboration among software development teams
286 -- 291Ankur Choudhary, Anurag Singh Baghel, Om Prakash Sangwan. Efficient parameter estimation of software reliability growth models using harmony search
292 -- 300Osama Alkrarha, Jameleddine Hassine. Applying selective mutation strategies to the AsmetaL language
301 -- 308Abobakr Y. Shahrah, Majed A. Al-Mashari. Modelling emergency response process using case management model and notation
309 -- 318Mohammad Javad Amiri, Mahnaz Koupaee. Data-driven business process similarity
319 -- 328Euler Horta Marinho, Rodolfo F. Resende. PLATEM: a method for mobile applications testing
323 -- 333Ann Blandford, Richard M. Young. Specifying user knowledge for the design of interactive systems
329 -- 337Munish Saini, Kuljit Kaur Chahal. Analysing change profiles of open source software projects using burst detection
334 -- 346Alan Dix, Gregory D. Abowd. Modelling status and event behaviour of interactive systems
338 -- 346Omid Bushehrian. Dependable composition of transactional web services using fault-tolerance patterns and service scheduling
347 -- 354Harold Thimbleby, Peter B. Ladkin. From logic to manuals
355 -- 365Christopher W. Johnson 0001, Alastair J. Telford. Extending the application of formal methods to analyse human error and system failure during accident investigations

Volume 11, Issue 5

207 -- 213Ludi Wang, Xiaoguang Zhou, Ying Xing, Mengke Yang, Chi Zhang. Clustering ECG heartbeat using improved semi-supervised affinity propagation
214 -- 220Nabila Shahid, Muhammad U. Ilyas, Jalal S. Alowibdi, Naif R. Aljohani. Word cloud segmentation for simplified exploration of trending topics on Twitter
221 -- 228Andreia Silva 0002, Plácido Rogério Pinheiro, Adriano Albuquerque, Jônatas Barroso. Evaluation of an approach to define elicitation guides of non-functional requirements
229 -- 238Wei Wang, Kevin Zhu, Hongwei Wang, Yen-Chun Jim Wu. The Impact of Sentiment Orientations on Successful Crowdfunding Campaigns through Text Analytics
239 -- 244Shivaswamy Rashmi, Anirban Basu. Resource optimised workflow scheduling in Hadoop using stochastic hill climbing technique
245 -- 255Marum Simão Filho, Plácido Rogério Pinheiro, Adriano Bessa Albuquerque. Task assignment to distributed teams aided by a hybrid methodology of verbal decision analysis
256 -- 264Michiel Meulendijk, Marco R. Spruit, Armel Lefebvre, Sjaak Brinkkemper. To what extent can prescriptions be meaningfully exchanged between primary care terminologies? A case study of four western European classification systems
265 -- 270Cuauhtémoc López Martín, Rosa Leonor Ulloa-Cazarez, Andres Garcia-Floriano. Support vector regression for predicting the productivity of higher education graduate students from individually developed software projects
270 -- 280Ana M. D. Moreira, Robert G. Clark. Adding rigour to object-oriented analysis
271 -- 276Brijesh B. Mehta, Udai Pratap Rao. k-anonymization approach using MapReduce
281 -- 292Neil A. M. Maiden, Alistair G. Sutcliffe. Analogical retrieval in reuse-oriented requirements engineering
293 -- 298Susan A. Sherer. Statistical software testing using economic exposure assessments
299 -- 306Bryan F. Jones, H.-H. Sthamer, David E. Eyres. Automatic structural testing using genetic algorithms
307 -- 319E. A. Giakoumakis, G. Xylomenos. Evaluation and selection criteria for software requirements specification standards

Volume 11, Issue 4

0 -- 0L. G. Mosley. Karel the Robot [Book Reviews]
0 -- 0P. Bennett. Experience in engineering quality into software
0 -- 0K. S. Jones. Advanced software applications in Japan [Book Reviews]
0 -- 0A. Stoddart. Timing analysis of real-time software [Book Reviews]
0 -- 0J. Moffett. Professional issues in software engineering [Book Reviews]
141 -- 155Maicon Bernardino, Elder de M. Rodrigues, Avelino F. Zorzo, Luciano Marchezan. Systematic mapping study on MBT: tools and models
156 -- 164Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Francesco Nocera. Formal model for user-centred adaptive mobile devices
165 -- 170László Zsolt Varga. Equilibrium with predictive routeing in the online version of the Braess paradox
171 -- 180Joohyung Sun, Hyeonjoong Cho. Power-efficient real-time scheduling based on multi-granularity resource reservation for multimedia services
181 -- 194Omar El Beggar, Khadija Letrache, Mohamed Ramdani. CIM for data warehouse requirements using an UML profile
195 -- 206Fabio Paulo Basso, Toacy Cavalcante de Oliveira, Cláudia Maria Lima Werner, Leandro Buss Becker. Building the foundations for 'MDE as Service'
206 -- 214Panos Fitsilis, Achilles Kameas, Panayiotis E. Pintelas. ORIENTMAN: an intelligent tutor for the ORIENT software development methodology
215 -- 224C. P. Willis. Analysis of inheritance and multiple inheritance
225 -- 237C. W. Johnson. Literate specifications
238 -- 246Ronald E. Prather. Convexity and independence in software metric theory
247 -- 254R. Harrison, L. G. Samaraweera, Mark R. Dobie, Paul H. Lewis. Comparing programming paradigms: an evaluation of functional and object-oriented programs
255 -- 263Shaoyu Zhou, M. Howard Williams, Hamish Taylor. Practical throughput estimation for parallel databases

Volume 11, Issue 3

0 -- 0Pearl Brereton, David Budgen. Requirements elicitation for software-based systems
75 -- 76Maria José Sousa, Pedro Henriques Abreu, Álvaro Rocha, Daniel Castro Silva. Guest Editorial: Advances in Knowledge and Information Software Management
77 -- 88Gilberto Borrego, Alberto L. Morán, Ramón René Palacio Cinco, Oscar M. Rodríguez-Elias, Eloísa García-Canseco. Review of approaches to manage architectural knowledge in Agile Global Software Development
89 -- 92Cagatay Catal, Suat Guldan. Product review management software based on multiple classifiers
93 -- 99Nivison Ruy Rocha Nery Jr, Daniela Barreiro Claro, Janet C. Lindow. Prediction of leptospirosis cases using classification algorithms
100 -- 104Tiago Marques Godinho, Carlos Costa 0001, José Luís Oliveira. Intelligent generator of big data medical imaging repositories
105 -- 115Boris Almonacid, Fabián Aspée, Ricardo Soto, Broderick Crawford, Jacqueline Lama. Solving the manufacturing cell design problem using the modified binary firefly algorithm and the egyptian vulture optimisation algorithm
116 -- 125Hongzhuan Zhao, Dihua Sun, Hang Yue, Min Zhao, Senlin Cheng. Using CSTPNs to model traffic control CPS
126 -- 134Shubing Shan, Buyang Cao. Follow a guide to solve urban problems: the creation and application of urban knowledge graph
133 -- 140Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings. Integrating optional software components into hard real-time systems
135 -- 140Ângelo Jesus, Maria João Gomes, Agostinho Cruz. Blended versus face-to-face: comparing student performance in a therapeutics class
141 -- 147Gil Hoggarth, Mike A. Lockyer. Systems development methods guidance and CASE: integration between CASE and CAL
149 -- 165Mildred L. G. Shaw, Brian R. Gaines. Requirements acquisition
166 -- 182Orlena Gotel, Anthony Finkelstein. Revisiting requirements production
183 -- 192Neil A. M. Maiden, G. Rugg. ACRE: selecting methods for requirements acquisition
193 -- 204J. Chudge, D. Fulton. Trust and co-operation in system development: applying responsibility modelling to the problem of changing requirements

Volume 11, Issue 2

41 -- 47Xuan Han, Hang Lei, Yun-Sheng Wang. Multiple paths test data generation based on particle swarm optimisation
48 -- 54Bing Zhang, Guoyan Huang, Haitao He, Jiadong Ren. Approach to mine influential functions based on software execution sequence
55 -- 63Wengang Pei, Jingtao Li, Hengyu Li, Hang Gao, Peizan Wang. ASCAA: API-level security certification of android applications
64 -- 74Furkh Zeshan, Radziah Mohamad, Mohammad Nazir Ahmad, Syed Asad Hussain, Adnan Ahmad, Imran Raza, Abid Mehmood, Ikram Ulhaq, Arafat Abdulgader, Imran Babar. Ontology-based service discovery framework for dynamic environments
76 -- 81David Ward. Guidelines for the development of automotive software
82 -- 87George Woodward. Rapier 2000 software development programme
88 -- 94Sion Wyn. Regulatory requirements for computerised systems in pharmaceutical manufacture
95 -- 98Phil Bennett. Experience in engineering quality into software
99 -- 103David Redmond-Pyle. Software development methods and tools: some trends and issues
104 -- 110Andrew M. Gravell, Peter Henderson. Executing formal specifications need not be harmful
111 -- 121Ian Sommerville, Graham Dean. PCL: a language for modelling evolving system architectures
122 -- 131W. David Crowe, Peter E. D. Strain-Clark. Deadlock-free completely connected networks: towards a π-calculus approach

Volume 11, Issue 1

1 -- 11Siffat Ullah Khan, Abdul Wahid Khan. Critical challenges in managing offshore software development outsourcing contract from vendors' perspectives
5 -- 18Gerald Kotonya, Ian Sommerville. Requirements engineering with viewpoints
12 -- 17Lin Guo, WanLi Zuo, Tao Peng 0003. Inference network building and movements prediction based on analysis of induced dependencies
18 -- 26Rajesh Kulkarni, Palacholla Padmanabham. Integration of artificial intelligence activities in software development processes and measuring effectiveness of integration
19 -- 30Daniel Jackson, Michael Jackson. Problem decomposition for reuse
27 -- 37Dhikra Kchaou, Nadia Bouassida, Hanêne Ben-Abdallah. UML models change impact analysis using a text similarity technique
31 -- 43Steve Easterbrrok, Bashar Nuseibeh. Using ViewPoints for inconsistency management
44 -- 57Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen. Cross-viewpoint consistency in open distributed processing
58 -- 66Mike Ainsworth, Steve Riddle, Peter J. L. Wallis. Formal validation of viewpoint specifications