Journal: IEE Proceedings - Software

Volume 6, Issue 6

378 -- 386Bjørn Gulla, Even-André Karlsson, Dashing Yeh. Change-oriented version descriptions in EPOS
387 -- 405Gilles Bernot, Marie-Claude Gaudel, Bruno Marre. Software testing based on formal specifications: a theory and a tool
406 -- 412Mark B. Ratcliffe, Robert J. Gautier. System development through the reuse of existing components
413 -- 434M. Myers, A. A. Kaposi. Modelling and measurement of Prolog data
435 -- 453Michael H. Sokolsky, Gail E. Kaiser. A framework for immigrating existing software to new software development environments
454 -- 462Dick B. Simmons. Communications: a software group productivity dominator
461 -- 473Vahid Khatibi Bardsiri, Dayang Norhayati Abang Jawawi, S. Z. M. Hashim, Elham Khatibi. Increasing the accuracy of software development effort estimation using projects clustering
463 -- 475Adam C. Winstanley, David W. Bustard. EXPOSE: an animation tool for process-oriented specifications
474 -- 478Mitashree Kalita, Tulshi Bezboruah. Investigations on implementation of web applications with different techniques
476 -- 486Ataru T. Nakagawa, Kokichi Futatsugi. Propagating changes in algebraic specifications
479 -- 487C. Jin, S.-W. Jin, J.-M. Ye. Artificial neural network-based metric selection for software fault-prone prediction model
488 -- 501Janet Feigenspan, Michael Schulze, Maria Papendieck, Christian Kästner, Raimund Dachselt, Veit Köppen, Mathias Frisch, Gunter Saake. Supporting program comprehension in large preprocessor-based software product lines
502 -- 513Louis Major, Theocharis Kyriacou, O. Pearl Brereton. Systematic literature review: teaching novices programming using robots
514 -- 523L. Xiong, Q. Tan, Z. Shao. Exploration of the effects of soft errors from dynamic software behaviours
524 -- 535T. R. Gopalakrishnan Nair, V. Suma, Pranesh Kumar Tiwari. Significance of depth of inspection and inspection performance metrics for consistent defect management in software industry
536 -- 548Georgia M. Kapitsaki. Web service matchmaking for the development of context-aware applications
549 -- 558D. Gray, David Bowes, N. Davey, Y. Sun, Bruce Christianson. Reflections on the NASA MDP data sets
559 -- 573Ilija Antovic, Sinisa Vlajic, Milos Milic, Dusan Savic, Vojislav Stanojevic. Model and software tool for automatic generation of user interface based on use case and data model

Volume 6, Issue 5

234 -- 242Nazim H. Madhavji. The process cycle [software engineering]
243 -- 258M. M. Lehman. Software engineering, the software process and their support
259 -- 274Maria H. Penedo, Christine Shu. Acquiring experiences with the modelling and implementation of the project-life-cycle process: the PMDB work
275 -- 284Reidar Conradi, Espen Osjord, Per H. Westby, Chunnian Liu. Initial software process management in EPOS
285 -- 302Naftaly H. Minsky. Law-governed systems
303 -- 316Victor R. Basili, H. Dieter Rombach. Support for comprehensive reuse
317 -- 331Yasuhiro Sugiyama, Ellis Horowitz. Building your own software development environment
332 -- 346Thomas Rose 0001, Matthias Jarke, Michael Gocek, Carlos Maltzahn, Hans W. Nissen. A decision based configuration process environment
347 -- 354Bruce I. Blum. A ten year evaluation of an atypical software environment
355 -- 369Walt Scacchi. The software infrastructure for a distributed system factory
370 -- 376Watts S. Humphrey. Software and the factory paradigm
405 -- 415Javier Saldaña Ramos, Ana Sanz-Esteban, Javier García Guzmán, Antonio de Amescua Seco. Design of a competence model for testing teams
416 -- 422Katarzyna Lukasiewicz, J. Miler. Improving agility and discipline of software development with the Scrum and CMMI
423 -- 430Pádraig O'Leary, Ita Richardson. Process reference model construction: implementing an evolutionary multi-method research approach
431 -- 437Martin McHugh, Fergal McCaffery, Valentine Casey. Software process improvement to assist medical device software development organisations to comply with the amendments to the medical device directive
438 -- 450María Laura Ponisio, Pascal van Eck. Metrics-based control in outsourced software development projects
451 -- 460M. Garre-Rubio, Elena García Barriocanal, Kerstin V. Siakas, Miguel-Ángel Sicilia, Sonja Koinig, Richard Messnarz, A. Clarke. Analysing the corporate responsibility Web pages of consumer electronics companies: implications for process improvement

Volume 6, Issue 4

130 -- 136William Campbell. A C interpreter for Scheme-an exercise in object-oriented design
137 -- 151Jeffrey J. P. Tsai, Thomas Weigert. HCLIE: a logic-based requirement language for new software engineering paradigms
152 -- 158Inger V. Eriksson, Aimo A. Törn. A model for IS quality [information systems]
159 -- 167Jean Baillie. A CCS cast study: a safety-critical system
168 -- 174A. Burns. The HCI component of dependable real-time systems
175 -- 180I. T. A. Spence, B. N. Carey. Customers do not want frozen specifications
181 -- 195Ming-Jie Chen, Chyan-Goei Chung. Restructuring operations for data-flow diagrams
196 -- 204Paul Butcher. A behavioural semantics for Linda-2
205 -- 228Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe. From objects to classes: algorithms for optimal object-oriented design
283 -- 295Faiza Siddique, Onaiza Maqbool. Enhancing comprehensibility of software clustering results
296 -- 306Miao Wang, Viliam Holub, Trevor Parsons, Patrick O'Sullivan, John Murphy. Symptom matching for event streams
307 -- 312Yijun Liu, Anthony Shi-Sheung Fong. Heuristic optimisation algorithm for Java dynamic compilation
313 -- 322Damianos Gavalas, Michael Kenteris, Charalampos Konstantopoulos, Grammati E. Pantziou. Web application for recommending personalised mobile tourist routes
323 -- 334Sanjay Misra, Ibrahim Akman, Ricardo Colomo Palacios. Framework for evaluation and validation of software complexity measures
335 -- 341H. Azath, R. S. D. Wahidabanu. Efficient effort estimation system viz. function points and quality assurance coverage
342 -- 349H. Yu, Zhi-Hong Deng, Ning Gao. Efficient top-k algorithm for eXtensible Markup Language keyword search
350 -- 357Majdi Abdellatief, Abu Bakar Md Sultan, Abdul Azim Abdul Ghani, Marzanah A. Jabar. Multidimentional size measure for design of component-based software system
358 -- 363M. Rizwan Jameel Qureshi. Agile software development methodology for medium and large projects
364 -- 376Janne Keranen, Tomi Räty. Model-based testing of embedded systems in hardware in the loop environment
377 -- 390Lwin Khin Shar, Hee Beng Kuan Tan. Auditing the XSS defence features implemented in web application programs
391 -- 401Jianmei Guo, Yinglin Wang, Zheying Zhang, Jyrki Nummenmaa, Nan Niu. Model-driven approach to developing domain functional requirements in software product lines

Volume 6, Issue 3

68 -- 71I. C. Pyle. Real-world software engineering
72 -- 82Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz. The design of real-time systems: from specification to implementation and verification
83 -- 92Narain H. Gehani. Concurrent C: real-time programming and fault tolerance
93 -- 100Houssine Chetto, Maryline Chetto. An adaptive scheduling algorithm for fault-tolerant real-time systems
101 -- 115S. J. Goldsack, A. C. W. Finkelstein. Requirements engineering for real-time systems
116 -- 128A. Burns. Scheduling hard real-time systems: a review
167 -- 175Luis Fernández Sanz, Sanjay Misra. Analysis of cultural and gender influences on teamwork performance for software requirements analysis in multinational environments
176 -- 184David Tuffley. Optimising virtual team leadership in global software development
185 -- 198Ramon R. Palacio, Alberto L. Morán, Victor M. Gonzalez, Aurora Vizcaíno. Selective availability: Coordinating interaction initiation in distributed software development
199 -- 213Olly Gotel, Christelle Scharff, Vidya Kulkarni. Mixing continents, competences and roles: Five years of lessons for software engineering education
214 -- 225Aurora Vizcaíno, Félix García, Ismael Caballero, José Carlos Villar, Mario Piattini. Towards an ontology for global software development
226 -- 230Arif Raza, Luiz Fernando Capretz, Faheem Ahmed. Usability bugs in open-source software and online forums
231 -- 248M. Garcia, David Llewellyn-Jones, F. Ortin, Madjid Merabti. Applying dynamic separation of aspects to distributed systems security: A case study
249 -- 259Tihana Galinac Grbac, Zeljka Car, Darko Huljenic. Quantifying value of adding inspection effort early in the development process: A case study
260 -- 274Siraj Muhammad, Onaiza Maqbool, A. Q. Abbasi. Evaluating relationship categories for clustering object-oriented software systems
275 -- 282J. Lee, S. Kang, D. Lee. Survey on software testing practices

Volume 6, Issue 2

37 -- 40P. A. Bennett. Forwards to safety standards
41 -- 50Will Atkinson, Jim Cunningham. Proving properties of a safety-critical system
51 -- 58W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann. The choice of computer languages for use in safety-critical systems
59 -- 64Martyn A. Ould. Testing-a challenge to method and tool developers
85 -- 102Bertrand Verlaine, Y. Dubois, Ivan Jureta, Stéphane Faulkner. Towards conceptual foundations for service-oriented requirements engineering: bridging requirements and services ontologies
103 -- 113Sotirios Liaskos, Marina Daoud Jungblut, John Mylopoulos. From intentions to code: exploring the life of user goals in two web-based systems
114 -- 126M. Brambilla. From requirements to implementation of ad-hoc social Web applications: an empirical pattern-based approach
127 -- 139Vicente García-Díaz, B. Cristina Pelayo García-Bustelo, Oscar Sanjuán Martínez, Edward Rolando Núñez-Valdéz, Juan Manuel Cueva Lovelle. MCTest: towards an improvement of match algorithms for models
140 -- 147Santiago Matalonga, Tomás San Feliu Gilabert. Calculating return on investment of training using process variation
148 -- 154S. Wang, Q. Sun, F. Yang. Quality of service measure approach of web service for service selection
155 -- 163Sajjad Mahmood. Usefulness of acceptance testing information for component-based system maintenance

Volume 6, Issue 1

1 -- 15Siffat Ullah Khan, Mahmood Niazi, Rashid Ahmad. Empirical investigation of success factors for offshore software development outsourcing vendors
3 -- 15Nail A. M. Maiden. Analogy as a paradigm for specification reuse
16 -- 32Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim. Transformation contracts in practice
17 -- 23J. N. Buxton, R. Malcolm. Software technology transfer
25 -- 33M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan. MOON-modular object-oriented notation
33 -- 49Alessandro Marchetto, Paolo Tonella, Filippo Ricca. ReAjax: a reverse engineering tool for Ajax Web applications
50 -- 60Y. Huang, L. Lu. Apply ant colony to event-flow model for graphical user interface test case generation
61 -- 73Saeed Parsa, Somaye Arabi Naree. Software online bug detection: applying a new kernel method
74 -- 82R. Mohamad, M. W. Aziz, Dayang Norhayati Abang Jawawi, M. Ghazali, M. Z. Arbaie, N. Ibrahim. Service identification guideline for developing distributed embedded real-time systems