Journal: IEE Proceedings - Software

Volume 7, Issue 6

295 -- 297Mahmood Niazi, Naveed Ikram, Asif Qumer Gill, Mohammed Rafi Ul Hassan. Editorial
298 -- 307Sandra Camargo Pinto Ferraz Fabbri, Katia Romero Felizardo, Fabiano Cutigi Ferrari, Elis Cristina Montoro Hernandes, Fábio Roberto Octaviano, Elisa Yumi Nakagawa, José Carlos Maldonado. Externalising tacit knowledge of the systematic review process
308 -- 316Ziying Dai, Xiaoguang Mao. Light-weight resource leak testing based on finalisers
317 -- 326Moataz A. Ahmed, Hamdi A. Al-Jamimi. Machine learning approaches for predicting software maintainability: a fuzzy-based transparent model
327 -- 338Abdul Wahid Khan, Siffat Ullah Khan. Critical success factors for offshore software outsourcing contract management from vendors' perspective: an exploratory study using a systematic literature review
339 -- 347Mohammad Alshayeb. On the relationship of class stability and maintainability
375 -- 387Gerald Kotonya, Ian Sommerville. Viewpoints for requirements definition
388 -- 392D. K. Hilal, H. Soltan. To prototype or not to prototype? That is the question
393 -- 408David Alan Stokes. Towards a formal specification of revisable CORE: allowing for change
409 -- 424Juan M. Lafuente. High-level language extensions for user-interface programming
425 -- 437Germinal Boloix, Paul G. Sorenson, J. Paul Tremblay. Transformations using a meta-system approach to software development
438 -- 444C. J. Harrison. An environment for initial software engineering teaching

Volume 7, Issue 5

249 -- 257Boxiang Xiao, Xinyu Guo, Chunjiang Zhao, Chuanyu Wang, Weiliang Wen. Interactive animation system for virtual maize dynamic simulation
258 -- 270Jaber Karimpour, Robab Alyari, Ali A. Noroozi. Formal framework for specifying dynamic reconfiguration of adaptive systems
271 -- 282Jie Zhao, Rongcai Zhao, Lin Han, Jinlong Xu. QP test: a dependence test for quadratic array subscripts
283 -- 293Mahmood Niazi, Naveed Ikram, Muneera Bano, Salma Imtiaz, Siffat Ullah Khan. Establishing trust in offshore software outsourcing relationships: an exploratory study using a systematic literature review
311 -- 321Roy Rada, Weigang Wang, Hafedh Mili, Jurgen Heger, Wolfgang Scherr. Software reuse: from text to hypertext
323 -- 334Norbert E. Fuchs. Specifications are (preferably) executable
335 -- 346Nico Plat, Jan van Katwijk, Hans Toetenel. Application and benefits of formal methods in software development
347 -- 356Mark B. Ratcliffe, M. F. Bott, T. J. Stotter-Brooks, Ben R. Whittle. The TIPSE: an IPSE for teaching
357 -- 362Norman Fenton. When a software measure is not a measure
363 -- 371Fiona Polack. Integrating formal notations and systems analysis: using entity relationship diagrams

Volume 7, Issue 4

187 -- 194Zhiyi Ma, Hongjie Chen. Analysing the quality of object-oriented models from novice modellers
195 -- 202Mohammad Azzeh, Marwan Alseid. Value of ranked voting methods for estimation by analogy
203 -- 212Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Louis Schilders. Automated testing of eXtensible Access Control Markup Language-based access control systems
213 -- 221Kaiping Liu, Hee Beng Kuan Tan, Xu Chen. Supporting the adaptation of open-source database applications through extracting data lifecycles
222 -- 248Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li. Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications
238 -- 246Veikko Seppänen. Acquisition, organisation and reuse of software design knowledge
247 -- 263Vangalur S. Alagar, Kasilingam Periyasamy. A methodology for deriving an object-oriented design from functional specifications
264 -- 276Margaret M. West, Barry Eaglestone. Software development: two approaches to animation of Z specifications using Prolog
277 -- 284F. Tsui, S. C. Hofmann, W. J. Goldstrohm Jr.. A software development post-mortem summary
285 -- 290Moheb R. Girgis. An experimental evaluation of a symbolic execution system
291 -- 294P. K. Kapur, R. B. Garg. A software reliability growth model for an error-removal phenomenon
295 -- 307Behdad Forghani, Behçet Sarikaya. Semi-automatic test suite generation from Estelle

Volume 7, Issue 3

0 -- 0Minhaz F. Zibran, Chanchal K. Roy. Conflict-aware optimal scheduling of prioritised code clone refactoring
0 -- 0Serguei A. Roubtsov, Alexander Serebrenik, Aurélien Mazoyer, M. G. J. van den Brand, Ella E. Roubtsova. I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors
0 -- 0Eric Larson. Program analysis too loopy? Set the loops aside
171 -- 176Ray J. Dawson, Ron W. Newsham, R. S. Kerridge. Introducing new software engineering graduates to the 'real world' at the GPT company
177 -- 183K. Sikkel, J. C. van Vliet. Abstract data types as reusable software components: the case for twin ADTs
184 -- 190Mark B. Ratcliffe, Chengjun Wang, Reboert J. Gautier, Ben R. Whittle. Dora: a structure-oriented environment generator
191 -- 204Krzysztof Sacha. Transformational implementation of PAISLey specifications using Petri nets
205 -- 217C. A. Middelburg. Specification of interfering programs based on interconditions
219 -- 229H. J. Litteck, Peter J. L. Wallis. Refinement methods and refinement calculi
230 -- 236Du Xing, Xie Li. Open model methodology: a new approach to the development of user interfaces based on knowledge processing

Volume 7, Issue 2

0 -- 0Kavitha Rajarathinam, Sureshkumar Natarajan. Test suite prioritisation using trace events technique
0 -- 0Giuseppe Scanniello, Fausto Fasano, Andrea De Lucia, Genoveffa Tortora. Does software error/defect identification matter in the italian industry?
0 -- 0Jaber Karimpour, Ayaz Isazadeh, Habib Izadkhah. Early performance assessment in component-based software systems
0 -- 0Anjana Gosain, Sushama Nagpal, Sangeeta Sabharwal. Validating dimension hierarchy metrics for the understandability of multidimensional models for data warehouse
0 -- 0Sajjad Mahmood. Empirical study of software component integration process activities
0 -- 0Himer Avila-George, José Torres Jiménez, Loreto Gonzalez-Hernandez, Vicente Hernández. Metaheuristic approach for constructing functional test-suites
85 -- 94Timothy D. Korson, John D. McGregor. Technical criteria for the specification and evaluation of object-oriented libraries
95 -- 101Mario Wolczko. Encapsulation, delegation and inheritance in object-oriented languages
102 -- 113Ian J. Walker. Requirements of an object-oriented design method
114 -- 118Mary T. Mock, L. R. Hodge. An exercise to prototype the object-oriented development process
119 -- 129L. R. Hodge, Mary T. Mock. A proposed object-oriented development methodology
130 -- 138Gordon S. Blair, Roger Lea. The impact of distribution on support for object-oriented software development
139 -- 149Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay. Configuring object-based distributed programs in REX
150 -- 160Susan Stepney, Rosalind Barden, David Cooper. A survey of object orientation in Z
161 -- 168Alfred L. Brown, Ronald Morrison. A generic persistent object store

Volume 7, Issue 1

1 -- 11Nan Niu, Fangbo Yang, Jing-Ru C. Cheng, Sandeep Reddivari. Conflict resolution support for parallel software development
4 -- 12Poh-Tin Lee, K. P. Tan. Modelling of visualised data-flow diagrams using Petri net model
12 -- 28Debasish Kundu, Debasis Samanta, Rajib Mall. Automatic code generation from unified modelling language sequence diagrams
13 -- 24J. Paul Myers Jr.. The complexity of software testing
25 -- 34Tom Rodden, Peter Sawyer, Ian Sommerville. Vista: a user interface for a distributed object-oriented software engineering environment
29 -- 46Mitrabinda Ray, Durga Prasad Mohapatra. Risk analysis: a guiding force in the improvement of testing
35 -- 42Václav Rajlich, João H. Silva. Two object-based decomposition methodologies: a case study
43 -- 51James M. Bieman, Janet L. Schultz. An empirical evaluation (and specification) of the all-du-paths testing criterion
47 -- 55Seunghun Park, Doo-Hwan Bae. Tailoring a large-sized software process using process slicing and case-based reasoning technique
53 -- 64Wolfgang A. Halang, Bernd J. Krämer. Achieving high integrity of process control software by graphical design and formal verification
56 -- 64Padraig Fogarty, Ciaran MacNamee, Donal Heffernan. On-chip support for software verification and debug in multi-core embedded systems
65 -- 80Paul B. Austin, Kevin Murray, Andy J. Wellings. File system caching in large point-to-point networks