Journal: IEE Proceedings - Software

Volume 5, Issue 6

303 -- 310Vincenzo Ambriola, Lars Bendix, Paolo Ciancarini. The evolution of configuration management and version control
311 -- 318Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera. An abstract execution model for basic LOTOS
319 -- 330Jacco H. Wesselius, Frans Ververs. Some elementary questions on software quality control
331 -- 338Neil Haddley, Ian Sommerville. Integrated support for systems design
339 -- 349Heloisa da Silva Facanha. Data structures for physical representation of VLSI
350 -- 356Ole Andersen. The use of software engineering data in support of project management
487 -- 495Nan Niu, Alejandra Yepez Lopez, Jing-Ru C. Cheng. Using soft systems methodology to improve requirements practices: an exploratory case study
496 -- 509Ruben Heradio Gil, David Fernández-Amorós, José Antonio Cerrada, Carlos Cerrada. Supporting commonality-based analysis of software product lines
510 -- 527Andrea De Lucia, Fausto Fasano, Giuseppe Scanniello, Genoveffa Tortora. Improving artefact quality management in advanced artefact management system with distributed inspection
528 -- 542Valeria de Castro, Marcela Genero, Esperanza Marcos, Mario Piattini. Empirical study to assess whether the use of routes facilitates the navigability of web information systems
543 -- 551Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis. Exploiting java scientific libraries with the scala language within the scalalab environment
552 -- 562Chiara Di Francescomarino, Paolo Tonella. Crosscutting concern mining in business processes
563 -- 575Alessandro Marchetto, Chiara Di Francescomarino. Parameterised trace selection technique for process model recovering

Volume 5, Issue 5

246 -- 254Austin C. Melton, David A. Gustafson, James M. Bieman, Albert L. Baker. A mathematical perspective for software measures research
255 -- 262Brian O'Donovan, Jane B. Grimson. A distributed version control system for wide area networks
263 -- 279Michael Pilling, Alan Burns, Kerry Raymond. Formal specifications and proofs of inheritance protocols for real-time scheduling
280 -- 288Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl. The use of functional annotations in verifying imperative programs
289 -- 299John F. DeSoi, Mark Lease, William M. Lively, Sallie V. Sheppard, Tom Slade. A graphical environment for user-interface design and development
425 -- 433Soubhagya Sankar Barpanda, Durga Prasad Mohapatra. Dynamic slicing of distributed object-oriented programs
434 -- 444Mitashree Kalita, Sanjoy Khanikar, Tulshi Bezboruah. Investigation on performance testing and evaluation of PReWebN: a java technique for implementing web application
445 -- 453S.-C. Hu, I. C. Chen. Alleviating information overload caused by volumes of numerical web data: the concept and development process
454 -- 465Vassilis Nikolopoulos, Giorgos Mpardis, Ioannis Giannoukos, Ioanna Lykourentzou, Vassilis Loumos. Web-based decision-support system methodology for smart provision of adaptive digital energy services over cloud technologies
466 -- 473Shangguang Wang, Qibo Sun, Hua Zou, Fangchun Yang. Reputation measure approach of web service for service selection
474 -- 486Hazleen Aris, Siti Salwah Salim. Framework for component model selection

Volume 5, Issue 4

207 -- 213Dick Knowles. Mapping a Mascot 3 design into Occam
215 -- 221D. Ross Jeffery, Graham C. Low. Calibrating estimation tools for software development
223 -- 236Jacob Slonim, Michael A. Bauer. The Information Utility: a project retrospective
237 -- 244Leland R. Dykes, Robert D. Cameron. Towards high-level editing in syntax-based editors
357 -- 365M. Kalita, Tulshi Bezboruah. Investigation on performance testing and evaluation of PReWebD: a .NET technique for implementing web application
366 -- 374Joao Eduardo M. Araujo, Silvio Souza, Marco Tulio Valente. Study on the relevance of the warnings reported by Java bug-finding tools
375 -- 384Omid Bushehrian. Automatic object deployment for software performance enhancement
385 -- 397Hui Liu, Zhendong Niu, Zhiyi Ma, Weizhong Shao. Suffix tree-based approach to detecting duplications in sequence diagrams
398 -- 405C. Jin. Software reliability prediction based on support vector regression using a hybrid genetic algorithm and simulated annealing algorithm
406 -- 414Alina Gîrbea, Septimiu Nechifor, Francisc Sisak, Liviu Perniu. Design and implementation of an OLE for process control unified architecture aggregating server for a group of flexible manufacturing systems
415 -- 424Mohammad Alshayeb, M. Naji, Mahmoud O. Elish, Jarallah AlGhamdi. Towards measuring object-oriented class stability

Volume 5, Issue 3

151 -- 159Adrian Colbrook, Colin Smythe. Formal specification of data abstraction in FORTRAN 77: abstract arrays
160 -- 164Paula McGrath, Brendan Tangney. Scrabble-a distributed application with an emphasis on continuity
165 -- 173D. McDermid. The state dependency diagram
175 -- 184Robert G. Clark. The design and development of embedded Ada systems
185 -- 191E. S. Garnett, John A. Mariani. Software reclamation
193 -- 204Gordon S. Blair, Javad Malik, John R. Nicol, Jonathan Walpole. A synthesis of object-oriented and functional ideas in the design of a distributed software engineering environment
263 -- 273Mohit Garg, Richard Lai, S. J. Huang. When to stop testing: A study from the perspective of software reliability models
276 -- 284Abdulaziz Alkhalid, Mohammad Alshayeb, Sabri A. Mahmoud. Software refactoring at the package level using clustering techniques
304 -- 319Ricardo Pérez-Castillo, Barbara Weber, Ignacio García Rodríguez de Guzmán, Mario Piattini. Process mining through dynamic analysis for modernising legacy systems
320 -- 341D. Baski, S. Misra. Metrics suite for maintainability of eXtensible Markup Language web services
342 -- 356Honglei Zhang, Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith. Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications

Volume 5, Issue 2

86 -- 92Richard Bache, Monika Müllerburg. Measures of testability as a basis for quality assurance
93 -- 104Andrew D. Hutcheon, Andy J. Wellings. Specifying restrictions on imperative programming languages for use in a distributed embedded environment
105 -- 115Ray Welland, Stephen Beer, Ian Sommerville. Method rule checking in a generic design editing system
111 -- 112Dimitris Dranidis, Stephen P. Masticola, H. Zhu. Automation of software test (AST 09) [Editorial]
113 -- 119Alberto Avritzer, Edmundo de Souza e Silva, Rosa Maria Meri Leão, Elaine J. Weyuker. Automated generation of test cases using a performability model
116 -- 124Pericles Loucopoulos, R. E. M. Champion. Concept acquisition and analysis for requirements specification
120 -- 131Panuchart Bunyakiati, Anthony Finkelstein. Standards compliance testing for unified modelling language tools
125 -- 137Stanislaw Jarzabek. Specifying and generating multilanguage software development environments
132 -- 141Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. Lazy symbolic execution for test data generation
138 -- 148David N. Wilson, Mark J. Sifer. Structured planning: deriving project views
142 -- 156X. Li, X. Qiu, L. Wang, X. Chen, Z. Zhou, L. Yu, J. Zhao. UML interaction model-driven runtime verification of Java programs
157 -- 171Ramon R. Palacio, Aurora Vizcaíno, Alberto L. Morán, Victor M. Gonzalez. Tool to facilitate appropriate interaction in global software development
172 -- 187Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch. Modelling software process variability: an empirical study
188 -- 200Nitin Upadhyay, Bharat M. Deshpande, V. P. Agrawal. Concurrent usability evaluation and design of software component: a digraph and matrix approach
201 -- 215E. Devaraj, S. Kumar, T. Kavi, K. Rajani Kanth. Predicting the software performance during feasibility study
216 -- 228T. Wijayasiriwardhane, R. Lai, K. C. Kang. Effort estimation of component-based software development - a survey
229 -- 237Hector A. Duran-Limon, M. Siller, Gordon S. Blair, A. Lopez, J. F. Lombera-Landa. Using lightweight virtual machines to achieve resource adaptation in middleware
238 -- 245Rubén González Crespo. Detecting and resolving email feature interactions through constraints
246 -- 261Luka Fürst, Marjan Mernik, Viljan Mahnic. Improving the graph grammar parser of Rekers and Schürr

Volume 5, Issue 1

1 -- 20Wenpin Jiao. Using autonomous components to improve runtime qualities of software
3 -- 10Martin Sheppard. Design metrics: an empirical analysis
11 -- 26A. A. Kaposi, M. Myers. Quality assuring specification and design
21 -- 31Tinghuai Ma, Wei Tian, B. Wang, D. H. Guan, Sung Young Lee. Weather data sharing system: an agent-based distributed data management
27 -- 32Maria Teresa Mainini, Luc Billot. PERFIDE: an environment for evaluation and monitoring of software reliability metrics during the test phase
32 -- 42Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu. Formalisation and verification of programmable logic controllers timers in Coq
33 -- 42Claes Wohlin, Ulf Körner. Software faults: spreading, detection and costs
43 -- 53Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson. Systems engineering and safety - a framework
43 -- 49Stephen G. Linkman. Quantitative monitoring of software development by time-based and intercheckpoint monitoring
50 -- 58Barbara A. Kitchenham, Lesley M. Pickard, Susan J. Linkman. An evaluation of some design metrics
54 -- 69Hue-Ling Chen, Ye-In Chang. Nine-areas-tree-bit-patterns-based method for continuous range queries over moving objects
59 -- 63Francesca Saglietti. Software diversity metrics quantifying dissimilarity in the input partition
65 -- 78Norman E. Fenton. Software metrics: theory, tools and validation
70 -- 82Sergio Segura, David Benavides, Antonio Ruiz Cortés. Functional testing of feature model analysis tools: a test suite
79 -- 84Bryan Ratcliff, Anthony L. Rollo. Adapting function point analysis to Jackson system development
83 -- 102Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail. Nomenclature unification of software product measures
103 -- 110Z. Zia, Abdur Rashid, Khair uz Zaman. Software cost estimation for componentbased fourth-generation-language software applications