Journal: IEE Proceedings - Software

Volume 9, Issue 6

145 -- 156Haibo Hu, Qi Ma, Tingting Zhang, Yong Tan, Hong Xiang, Chunlei Fu, Yong Feng. Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies
157 -- 165Marco Kuhrmann, Daniel Méndez Fernández. From pragmatic to systematic software process improvement: an evaluated approach
166 -- 173Jovan Popovic, Dragan Bojic, Nenad Korolija. Analysis of task effort estimation accuracy based on use case point size
235 -- 243Caspers Jones. Globalisation of software supply and demand
244 -- 248Martyn A. Ould. Systems will be people too
249 -- 255Michael Jackson. Problems, methods and specialisation
257 -- 266Matthias Jarke, Klaus Pohl. Requirements engineering in 2001: (virtually) managing a changing reality
267 -- 281Alan Burns, John A. McDermid. Real-time safety-critical systems: analysis and synthesis

Volume 9, Issue 5

119 -- 128Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Hammad Ahmed. Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
129 -- 134Murat Yilmaz, Rory V. O'Connor. Understanding personality differences in software organisations using Keirsey temperament sorter
135 -- 143Mahmood Niazi, Sajjad Mahmood, Mohammad Alshayeb, Ayman Hroub. Empirical investigation of the challenges of the existing tools used in global software development projects
193 -- 200John Joseph Chilenski, Steven P. Miller. Applicability of modified condition/decision coverage to software testing
201 -- 212Steven Bradley, William Henderson, David Kendall, Adrian Robson. Application-oriented real time algebra
213 -- 220Claire Willis, Derek Paddon. A software engineering paradigm for program synthesis
221 -- 227M. R. Hill, M. Joseph. Automated timing analysis of real-time programs

Volume 9, Issue 4

95 -- 102Mahmood Niazi. Teaching global software engineering: experiences and lessons learned
103 -- 108Xiangjuan Yao, Dunwei Gong, Gongjie Zhang. Constrained multi-objective test data generation based on set evolution
109 -- 118Elham Khatibi, Vahid Khatibi Bardsiri. Model to estimate the software development effort based on in-depth analysis of project attributes
140 -- 152Carl J. Gavin, David Little. Application of CASE within manufacturing industry
153 -- 158Ian M. D. Smith. Client-centric CASE
159 -- 166Gary Griffiths. CASE in the third generation
167 -- 173Michael Lloyd-Williams. Knowledge-based CASE tools: improving performance using domain-specific knowledge
174 -- 182Craig Gaskell, Roger Phillips. Executable specifications and CASE
183 -- 189Simon McGinnes. CASE support for collaborative modelling: re-engineering conceptual modelling techniques to exploit the potential of CASE tools

Volume 9, Issue 3

65 -- 75Lalit Kumar Singh, Gopika Vinod, Anil Kumar Tripathi. Approach for parameter estimation in Markov model of software reliability for early prediction: a case study
76 -- 82Shouki A. Ebad, Moataz A. Ahmed. Measuring stability of object-oriented software architectures
83 -- 93Xinju Zhang, Shuzhen Yao. Fuzzy stochastic Petri nets and analysis of the reliability of multi-state systems
95 -- 106M. Elizabeth C. Hull, Peter G. O'Donoghue. Timed Petri net approach to performance modelling with the MOON method
107 -- 116Stephen G. MacDonell. Comparative review of functional complexity assessment methods for effort estimation
117 -- 125J. R. Stobo. A program for animating CCS specifications
127 -- 133Xinbo Lu, Franz Stetter. Specification scheme for the visualisation of data structures

Volume 9, Issue 2

29 -- 38Rongcun Wang, Binbin Qu, Yansheng Lu. Empirical study of the effects of different profiles on regression test case reduction
39 -- 50Mohammad Azzeh, Ali Bao Nassif. Analogy-based effort estimation: a new method to discover set of analogies from dataset characteristics
43 -- 53Barbara A. Kitchenham, Stephen G. Linkman, D. T. Law. Critical review of quantitative assessment
51 -- 64Félix García, Maria Ángeles Moraga, Manuel A. Serrano, Mario Piattini. Visualisation environment for global software development management
55 -- 66Luca Durante, Riccardo Sisto, Adriano Valenzano. Implementation of static semantic analysis of LOTOS specifications
67 -- 82Ying Liu. Treating interactions systematically: a theme to cope with an aspect of the complexity of managing life-cycle software production
83 -- 90Shmuel Rotenstreich. Toward measuring potential coupling

Volume 9, Issue 1

1 -- 6Mebarka Yahlali, Abdallah Chouarfia. Towards a software component assembly evaluation
3 -- 12Brian A. Wichmann. Contribution of standard programming languages to software quality
7 -- 16Yongsheng Hao, Guanfeng Liu. Evaluation of nine heuristic algorithms with data-intensive jobs and computing-intensive jobs in a dynamic environment
13 -- 18Sameer M. Bataineh, Bassam Al-Asir. Efficient scheduling algorithm for divisible and indivisible tasks in loosely coupled multiprocessor systems
17 -- 27A. Melo, Eduardo Antonio Guimarães Tavares, Erica Sousa, Bruno Costa e Silva Nogueira, Marcelo Marinho. Dependability approach for evaluating software development risks
19 -- 26James M. Armstrong, Richard J. Mitchell. Uses and abuses of inheritance
27 -- 38J. Gerard Wolff. Towards a new concept of software