External Links

    Journal: IEE Proceedings - Software

    Volume 2, Issue 6

    194 -- 198Clark Nicol, Malcolm K. Crowe, Martin E. Corr, John W. Oram, David G. Jenkins. IDEA - an incremental development environment for Ada
    199 -- 204Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson. Polymorphism, persistence and software re-use in a strongly typed object-oriented environment
    205 -- 212S. Ayandeh, E. L. Morris. Pascal, modula-2 and multi-tasking kernel implementation
    213 -- 219G. V. Collis, E. J. Kappos. Occam as a hardware description language
    477 -- 499Ádám Darvas, Peter Müller. Faithful mapping of model classes to mathematical structures
    500 -- 514Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko. Verification of class liveness properties with java modelling language
    515 -- 531Patrice Chalin, Perry R. James, Frédéric Rioux. Reducing the use of nullable types through non-null by default and monotonic non-null
    532 -- 546Pavlína Vareková, Barbora Zimmerova, Pavel Moravec 0002, Ivana Cerná. Formal verification of systems with an unlimited number of components
    547 -- 562Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell. Assume-guarantee testing for software components

    Volume 2, Issue 5

    148 -- 159Steve L. Wilbur, Benjamin Bacarisse. Building distributed systems with remote procedure call
    160 -- 168Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington. Objects and actions in reliable distributed systems
    169 -- 177Jonathan Walpole, Gordon S. Blair, David Hutchison, John R. Nicol. Transaction mechanisms for distributed programming environments
    178 -- 183A. Bastable, D. M. Ireland, Alwyn Langsford. Building an open communication application
    184 -- 192F. Halsall, S. C. Hui. Performance monitoring and evaluation of large embedded systems
    391 -- 403Vitus S. W. Lam. Theory for classifying equivalences of unified modelling language activity diagrams
    404 -- 416Borislav Nikolik. The pi measure
    417 -- 436María Díaz-Ley, Francisco Garcia, Mario Piattini. Implementing a software measurement program in small and medium enterprises: a suitable framework
    437 -- 445D. S. Roy, D. K. Mohanta, A. K. Panda. Software reliability allocation of digital relay for transmission line protection using a combined system hierarchy and fault tree approach
    446 -- 460H. Liu, G. Li, Z. Y. Ma, W. Z. Shao. Conflict-aware schedule of software refactorings
    461 -- 473Y. Lu, L. Zhang, J. Sun. Types for task-based access control in workflow systems

    Volume 2, Issue 4

    0 -- 0Derek Coleman, Robin M. Gallimore, Victoria Stavridou. The design of a rewrite rule interpreter from algebraic specifications
    86 -- 94Bernard Sufrin, Jim Woodcock. Towards the formal specification of a simple programming support environment
    105 -- 126Barbara A. Kitchenham. Towards a constructive quality model. Part 1: Software quality modelling, measurement and prediction
    114 -- 126Barbara A. Kitchenham, Lesley Pickard. Towards a constructive quality model. Part 2: Statistical techniques for modelling software quality in the ESPRIT REQUEST project
    127 -- 132William Gurney, Peter Maas, George May. An experiment in software engineering education
    133 -- 139Russel Winder, Charles Easteal, Robert Cole. Software engineering in a first degree
    140 -- 144Colin Runciman. Some software tools used in the development of the prototype york ada compiler
    303 -- 0R. Harrison. In special section on software evolvability - editorial software evolvability
    304 -- 320Juergen Rilling, Wen Jun Meng, René Witte, Philippe Charland. Story-driven approach to software evolution
    321 -- 336Paul Wernick, Tracy Hall, Chrystopher L. Nehaniv. Software evolutionary dynamics modelled as the activity of an actor-network
    337 -- 347D. Hyland-Wood, D. Carrington, S. Kaplan. Towards a software maintenance methodology using Semantic Web techniques and paradigmatic documentation modelling
    348 -- 361Petros Pissias, Geoff Coulson. Framework for quiescence management in support of reconfigurable multi-threaded component-based systems
    362 -- 378Saeed Parsa, Omid Bushehrian. Performance-driven object-oriented program re-modularisation
    379 -- 390Kim Man Lui, Keith C. C. Chan. Software process fusion by combining pair and solo programming

    Volume 2, Issue 3

    0 -- 0Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth. Aspect-oriented Prolog in a language processing context
    54 -- 63B. S. Todd. A model-based diagnostic program
    64 -- 70D. Crookes. Generating readable software
    71 -- 79J. P. Mocek, John A. McDermid. Implementation of a model lift control system from a formal specification
    80 -- 84T. J. O'Neill, L. M. Delves. An abstract data-type technique for scientific software
    161 -- 164Jean-Marie Favre, Dragan Gasevic, ralf-lämmel, Andreas Winter. Editorial - Software language engineering
    165 -- 184Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann. Extending grammars and metamodels for reuse: the Reuseware approach
    185 -- 203Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev. Ontological approach for the semantic recovery of traceability links between software artefacts
    204 -- 222Carsten Amelunxen, andy-schürr. Formalising model transformation rules for UML/MOF 2
    223 -- 240Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal. Learning context-free grammar rules from a set of program
    241 -- 259Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth. Aspect-oriented prolog in a language processing context
    260 -- 280Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso. Integration of safety analysis in model-driven software development
    281 -- 302Patrick Heymans, Pierre Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen. Evaluating formal properties of feature diagram languages

    Volume 2, Issue 2

    30 -- 41Bev Littlewood, Ariela Sofer. A Bayesian modification to the Jelinski-Moranda software reliability growth model
    42 -- 45Ronald E. Prather. On hierarchical software metrics
    46 -- 52R. M. F. Roper, P. Smith. A software tool for testing JSP designed programs
    65 -- 78Jens Krinke. Mining execution relations for crosscutting concerns
    79 -- 93P. Samuel, R. Mall, Ajay Kumar Bothra. Automatic test case generation using unified modeling language (UML) state diagrams
    94 -- 122Hassan Gomaa, Michael Eonsuk Shin. Multiple-view modelling and meta-modelling of software product lines
    123 -- 133K. Alagarsamy, S. Justus, K. Iyakutti. Implementation specification for software process improvement supportive knowledge management tool
    134 -- 148H. H. Kim, Doo-Hwan Bae. Object-oriented concept analysis for software modularisation
    149 -- 160Xiaodong Liu, Yankui Feng, Jon M. Kerridge. Generative aspect-oriented component adaptation

    Volume 2, Issue 1

    0 -- 0Alan Burns, Margaret A. Rathwell. A communications environment for co-operative information systems development
    1 -- 2Peter Sawyer, Vincenzo Gervasi. Special Section on Natural Language in Software Engineering
    2 -- 8Agnes Kaposi, Barbara Kitchenham. The architecture of system quality
    3 -- 16René Witte, Qiangqiang Li, Yonggang Zhang, Juergen Rilling. Text mining and software engineering: an integrated source code and document analysis approach
    15 -- 20Guy D. Carter, C. P. Clare, D. C. J. Thorogood. Engineering project management techniques and their application to computer projects
    17 -- 26C. S. Gall, Stacy K. Lukins, Letha H. Etzkorn, Sampson Gholston, Phillip A. Farrington, Dawn R. Utley, Julie Fortune, Shamsnaz Virani. Semantic software metrics computed from natural language design specifications
    21 -- 28Vijay Varadharajan, Keith D. Baker. Directed graph based representation for software system design
    27 -- 36Zachary P. Fry, David Shepherd, Emily Hill, Lori L. Pollock, K. Vijay-Shanker. Analysing source code: looking for useful verbdirect object pairs in all the right places
    37 -- 45Barbara A. Kitchenham, Pearl Brereton, Stephen Owen, J. Butcher, Clive Jefferies. Length and readability of structured software engineering abstracts
    46 -- 57Kenneth Boness, A. Finkelstein, Rachel Harrison. A lightweight technique for assessing risks in requirements analysis
    58 -- 64Outi Salo, Pekka Abrahamsson. Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum
    runs on