External Links

    Journal: IEE Proceedings - Software

    Volume 4, Issue 6

    0 -- 0Marvin V. Zelkowitz, Bonnie Kowalchack, David Itkin, Laurence Herman. Experiences building a syntax-directed editor
    301 -- 308George C. Wells. The application of real-time design techniques to simulation
    309 -- 317Nazim H. Madhavji, Mingjun Zhang, Sami Boulos, Yuan Xiang Gu. Semi-structured cursor movements in MUPE-2
    371 -- 372Ricardo Colomo Palacios, Juan Miguel Gómez Berbís. Social semantic web support for software development [Editorial]
    373 -- 385Rafael Valencia-García, Francisco García Sánchez, Dagoberto Castellanos Nieves, Jesualdo Tomás Fernández-Breis, Ambrosio Toval. Exploitation of social semantic technology for software development team configuration
    386 -- 395Roberto García, Rosa Gil, Juan Manuel Gimeno, Toni Granollers, Juan Miguel López, Marta Oliva, Afra Pascual. Semantic wiki for quality management in software development projects
    396 -- 406Ricardo Martinho, João Varajão, Dulce Domingos. Using the semantic web to define a language for modelling controlled flexibility in software processes
    407 -- 417Janneth Chicaiza, Jorge López-Vargas, Nelson Piedra, Oscar Martínez Bonastre, Edmundo Tovar Caro. Usage of social and semantic web technologies to design a searching architecture for software requirement artefacts
    418 -- 433Maria Vargas-Vera, Miltiadis D. Lytras. AQUA: hybrid architecture for question answering services
    434 -- 444Antonio Amescua, Leonardo Bermón-Angarita, Javier García Guzmán, Maria Isabel Sánchez Segura. Knowledge repository to improve agile development processes learning
    445 -- 452Pedro Soto-Acosta, Cristina Casado-Lumbreras, Fernando Cabezas-Isla. Shaping human capital in software development teams: the case of mentoring enabled by semantics

    Volume 4, Issue 5

    254 -- 258Alan Mayer, Alan Sykes. A probability model for analysing complexity metrics data
    259 -- 267Pericles Loucopoulos, Paul J. Layzell. Improving information system development and evolution using a rule-based paradigm
    268 -- 282Geoffrey F. Carpenter, Andrew M. Tyrell. The use of GMB in the design of robust software for distributed systems
    283 -- 291D. Richard Kuhn. Generating extended state transitions from structured specifications for process control systems
    303 -- 317L. Zhang, Y. Lu, F. Xu. Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus
    318 -- 333Steve Counsell, George Loizou, Rajaa Najjar. Evaluation of the 'replace constructors with creation methods' refactoring in Java systems
    334 -- 348D. Jeya Mala, V. Mohan, M. Kamalapriya. Automated software test optimisation framework - an artificial bee colony optimisation-based approach
    349 -- 360Matthias Galster, Armin Eberlein, Mahmood Moussavi. Systematic selection of software architecture styles
    361 -- 370D. Gong, X. Yao. Automatic detection of infeasible paths in software testing

    Volume 4, Issue 4

    176 -- 185David Bugden, Norman E. Gibbs. The education programme of the Software Engineering Institute, Carnegie Mellon University
    186 -- 189J. J. Rowland. A practical approach to hardware empathy for software engineering students
    191 -- 199C. Alder. Software engineering education in an electronic engineering degree
    200 -- 202Brenda M. Mace. Software engineering within the context of a computer science degree programme
    203 -- 207M. A. Lockyer, G. Griffiths. ALSETT-towards an educational IPSE
    209 -- 220Brian Tompsett. The System Cottage-a multidisciplinary engineering group practical
    221 -- 225Peter J. B. King. Experiences with group projects in software engineering
    226 -- 232A. Jones, M. Birtle. An individual assessment technique for group projects in software engineering
    233 -- 236B. J. Cornelius, Malcolm Munro, D. J. Robson. An approach to software maintenance education
    237 -- 240Brian Tompsett. Software engineering education for researchers
    237 -- 251Ivan Garcia, Carla Pacheco, José Calvo Manzano. Using a web-based tool to define and implement software process improvement initiatives in a small industrial setting
    241 -- 244Martyn A. Ould. Software engineering training requirements in a professional services company
    245 -- 248D. E. Conway, S. C. Dunn, G. S. Hooper. BCS and IEE accreditation of software engineering courses
    252 -- 267Liguo Yu, Alok Mishra, Srini Ramaswamy. Component co-evolution and component dependency: speculations and verifications
    268 -- 282Francisco Ortin, D. Zapico, J. Baltasar García Perez-Schofield, M. Garcia. Including both static and dynamic typing in the same programming language
    283 -- 293Omer Deperlioglu, Y. Arslan. Design principles of web-based distance education system and sample application in Afyon Kocatepe University
    294 -- 301F.-C. Kuo, Z. Q. Zhou, J. Ma, G. Zhang. Metamorphic testing of decision support systems: a case study

    Volume 4, Issue 3

    134 -- 142J. Gerard Wolff. The management of risk in system development: Project SP and the New Spiral Model
    143 -- 147Patrick A. V. Hall. Software development standards
    148 -- 158Alfio Lombardo, Sergio Palazzo. An extended algebra for the validation of communication protocols
    159 -- 162M. O. Adigun. A framework for teaching programming with reuse
    163 -- 170Rob Pooley. An experimenter tool for an integrated modelling support environment-its role and design
    179 -- 180Dimitra Giannakopoulou, Corina S. Pasareanu. Editorial: automated compositional verification
    181 -- 193Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis. Compositional verification for component-based systems and application
    194 -- 209Oksana Tkachuk, Matthew B. Dwyer. Environment generation for validating event-driven software using model checking
    210 -- 211Pavel Parizek, Frantisek Plasil. Assume-guarantee verification of software components in SOFA 2 framework
    222 -- 235Bernd Finkbeiner, H.-J. Peter, Sven Schewe. Synthesising certificates in networks of timed automata

    Volume 4, Issue 2

    74 -- 78A. Burns, I. W. Morrison. A formal description of the structure attribute model for tool interfacing
    79 -- 86M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie. Object-oriented design, Jackson system development (JSD) specifications and concurrency
    87 -- 94Pericles Loucopoulos, V. Karakostas. Modelling and validating office information systems: an object and logic oriented approach
    91 -- 104Raman Ramsin, Richard F. Paige. Iterative criteria-based approach to engineering the requirements of software development methodologies
    95 -- 106Janusz W. Laski. Testing in the program development cycle
    105 -- 118Hannu Jaakkola, Bernhard Thalheim. Framework for high-quality software design and development: a systematic approach
    107 -- 111Franz Stetter. Modelling programs by the notion of hypergraph
    115 -- 122F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith. The use of Modula-2 for implementing a distributed kernel
    119 -- 133Vincenzo De Florio, Chris Blondia. Design tool to express failure detection protocols
    123 -- 131P. Blach, W. Paul Cockshott, P. W. Foulk. Layered implementations of persistent object stores
    134 -- 148Ugo Erra, Giuseppe Scanniello. Assessing communication media richness in requirements negotiation
    149 -- 160Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
    161 -- 177Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge. Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks

    Volume 4, Issue 1

    1 -- 14M. Teresa Villalba, Luis Fernández Sanz, J. J. Martinez. Empirical support for the generation of domain-oriented quality models
    2 -- 13Barbara A. Kitchenham, John G. Walker. A quantitative approach to monitoring software development
    15 -- 31Marco Torchiano, Filippo Ricca, Paolo Tonella. Empirical comparison of graphical and annotation-based re-documentation approaches
    15 -- 24A. Walshe. Formal methods for database language design and constraint handling
    26 -- 35B. Cohen. Justification of formal methods for system specification
    32 -- 42Lech Madeyski, N. Radyk. Judy - a mutation testing tool for Java
    36 -- 38B. Cohen. A rejustification of formal notations [software engineering]
    40 -- 50J. Michael Spivey. An introduction to Z and formal specifications
    43 -- 54Y. Chung, D. Lee. Mathematical basis for the chaining of lossy interface adapters
    51 -- 66J. C. P. Woodcock. Structuring specifications in Z
    55 -- 78Jaiprakash T. Lallchandani, Rajib Mall. Integrated state-based dynamic slicing technique for UML models
    67 -- 72Jonathan P. Bowen. POS-formal specification of a Unix tool
    79 -- 90Maria Ángeles Moraga, Coral Calero, Manuel F. Bertoa. Improving interpretation of component-based systems quality through visualisation techniques
    runs on