Journal: Information \& Software Technology

Volume 36, Issue 9

531 -- 537Mohd Hasan Selamat, C. Y. Choong, A. T. Othman, Md. Mahbubur Rahim. Non-use phenomenon of CASE tools: Malaysian experience
539 -- 547David T. Clarke, Geoff P. Crum. Dialogue specification and control: a review of models and techniques
549 -- 554Simon R. Monk. View definition in an object-oriented database
555 -- 568Sharma Chakravarthy, Eman Anwar, L. Maugis, D. Mishra. Design of Sentinel: an object-oriented DMBS with event-based rules
569 -- 582S. Webster. An annotated bibliography for object-oriented analysis and design

Volume 36, Issue 8

475 -- 484Shari Lawrence Pfleeger, Terry Bollinger. The economics of reuse: new approaches to modelling and assessing cost
485 -- 494David Chenho Kung. On decision tree verification and consolidation
495 -- 501Soheil Khajenoori, Darrell G. Linton, Carl A. Morris. Enhancing software reusability through effective use of the essential modelling approach
503 -- 514Francisca Losavio, Alfredo Matteo, F. Schlienger. Object-oriented methodologies of Coad and Yourdon and Booch: comparison of graphical notations
515 -- 523Andrew Bass, Bryan Ratcliff. Automated dismemberment of JSD process specifications

Volume 36, Issue 7

379 -- 380Innes Jelly, Ian Gorton, Jonathan Gray. Special issue on software engineering for parallel systems
381 -- 396Innes Jelly, Ian Gorton. Software engineering for parallel systems
397 -- 404Chris Knowles, Peter Collingwood. Parallel software development using an object-oriented modelling technique
405 -- 411Guido Wirtz. Graph-based software construction for parallel message-passing programs
413 -- 417Gordon A. Manson, Shahrin Sahib, Chandran Elamvazuthi. Design and code derivation in the PCSC methodology
419 -- 425Stephen A. Hellberg, Ed Zaluska. A portable parallel programming environment based around PCTE
427 -- 433Karim Foughali, Bertil Folliot. TOPIC-SE: a tool-based open platform for integration of control in software environments
435 -- 441Monika Heiner, Giorgio Ventre, Dietmar Wikarski. A Petri net based methodology to integrate qualitative and quantitative analysis
443 -- 448Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo. Use of GSPNs for concurrent software validation in EPOCA
449 -- 456Carl I. Birkinshaw, Peter R. Croll, Derek G. Marriott, Patrick Nixon. Engineering safety-related parallel systems
457 -- 464Joao Paulo Kitajima, Brigitte Plateau. Modelling parallel program behaviour in ALPES
465 -- 470Serge Chaumette. Neutral debugging using grafts

Volume 36, Issue 6

315 -- 322Hermann A. Maurer, Nick Scherbakov, Keith Andrews, P. Srinivasan. Object-oriented modelling of hyperstructure: overcoming the static link deficiency
323 -- 329Paul Beynon-Davies, Douglas Tudhope, Carl Taylor, Christopher B. Jones. A semantic database approach to knowledge-based hypermedia systems
331 -- 342V. S. Alagar, D. Kourkopoulos. (In)completeness in specifications
343 -- 352Cheng-Jye Luh. Modelling and simulation in an object-oriented environment
353 -- 360Paul Moore, Peter G. O'Donoghue. Developing transputer-based systems using HOOD and Parallel C
361 -- 371Steven Kelly. A matrix editor for a metaCASE environment
373 -- 0Alan R. Hevner. Information systems development: An introduction to information systems engineering - (2nd edn) : Paul Beynon-Davies Macmillan, Basingstoke (1993) 333 pp ISBN 0 333 59506 8
373 -- 374Marc Gyssens. Database management with dBASE and SQL: A practical introduction : Hans Pruyt (translated by Mike Lewis) Chapman & Hall, London (1993) 232 pp £19.95 ISBN 0 412 47750 5
374 -- 0D. Benyon. Developing user interfaces: Ensuring usability through product and process : Deborah Hix and H Rex Hartson John Wiley Chichester (1993) 381 pp £27.95 ISBN 0 471 57813 4

Volume 36, Issue 5

251 -- 258I. M. Marshall, W. B. Samson, P. I. Dugard, W. A. Scott. Predicting the development effort of multimedia courseware
259 -- 265B. Inwood, I. Connell, R. Scane, Jenny Collyer, Bruce Christie, V. Ashcroft, I. Brown, J. Knight. The information content and user driven aspects of the ACT-IT multimedia authoring system
267 -- 273Louis A. Le Blanc, Willard M. Korn. A phased approach to the evaluation and selection of CASE tools
275 -- 282Rajiv D. Banker, Hsihui Chang, Chris F. Kemerer. Evidence on economies of scale in software development
283 -- 294M. J. Freeman, Paul J. Layzell. A meta-model of information systems to support reverse engineering
295 -- 308Kuen-Ching Lee, Iuan-Yuan Lu, Hsin-Hui Lin. PM-Net: a software project management representation model

Volume 36, Issue 4

195 -- 196Carole A. Goble. Multimedia Information Systems: the confluence of technologies and disciplines
197 -- 202Wendy Hall, Hugh C. Davis. Hypermedia link services and their application to multimedia information management
203 -- 212Gordon S. Blair, Geoff Coulson, Nigel Davies. System support for multimedia applications: an assessment of the state of the art
213 -- 223Victoria A. Burrill, Thomas Kirste, Jochen Weiss. Time-varying sensitive regions in dynamic multimedia objects: a pragmatic approach to content-based retrieval from video
225 -- 234Alistair G. Sutcliffe, Peter Faraday. Systematic design for task related multimedia interfaces
235 -- 242Forouzan Golshani, Nevenka Dimitrova. Retrieval and delivery of information in multimedia database systems
243 -- 245Stephen W. Smoliar. On the promises of multimedia authoring

Volume 36, Issue 3

131 -- 139Dimitrios Dervos, P. Linardis, Yannis Manolopoulos. Binary ranking for the signature file method
141 -- 153Joseph Fong, Chris Bloor. Data conversion rules from network to relational databases
155 -- 164K. K. Bharadwaj, Neerja, G. C. Goel. Hierarchical censored production rules (HCPRs) system employing the dempster-shafer uncertainty calculus
165 -- 172Levent Orman. Information cost as a determinant of system architecture
173 -- 189John Roche, Mike Jackson. Software measurement methods: recipes for success?
190 -- 0Michael Dyer. Conference report

Volume 36, Issue 2

67 -- 86Gabriel Eckert, Paul Golder. Improving object-oriented analysis
87 -- 96Christopher N. G. Dampney, Robert M. Colomb. Semantic correspondence in integrating CASE tool repository schemas
97 -- 106Greg Elofson. Using machine apprentices for transient knowledge work
107 -- 117Fathy E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed. AIDA: a dynamic analyser for Ada programs
119 -- 125Rui Chen, Xiyao Cai, Ping Chen. ++ a persistent OOPL

Volume 36, Issue 12

699 -- 706Aaron Kans, Clive Hayton. Translating VDM specifications into ABC programs
707 -- 715Jinhwan Kim, Heonshik Shin. Optimistic priority-based concurrency control protocol for firm real-time database systems
717 -- 724George Pangalos. A tutorial on secure database systems
725 -- 732Patrick van Bommel, Theo P. van der Weide, Carlos B. Lucasius. Genetic algorithms for optimal logical database design
733 -- 742Gabriele Manduchi, G. Fregonese, C. Taliercio, Tw Fredian, Ja Stillerman. The design of the user interface for a large physics experiment
743 -- 749Francis Neelamkavil, Joseph Drumgoole. Design and development of EASEL: a portable UIMS tool
751 -- 0Karen Atkinson. Conference report
752 -- 753Marek Machura. Object-oriented environments: The Mjølner approach: J. L. Knudsen, M. Lofgren, O. Lehrmann-Madsen and B. Magnusson (eds) Prentice-Hall (1993) 627 pp £35.00 ISBN 0 13 009291 6
753 -- 0David Whittington. Computer-supported cooperative work: Stephen A. R. Scrivener (ed) Avebury Technical (1994) 286 pp £45 hardback ISBN 0 29139812 X

Volume 36, Issue 11

643 -- 654Ivan Aaen. Problems in CASE introduction: experiences from user organizations
655 -- 666Alan M. Christie. Enactable process specification in support of process-centred environments
667 -- 673I. M. Bradley. The formal specification of concurrent systems: a small CCS case study
675 -- 681Padmanabhan Krishnan. Formal methods and design extraction: a pilot study
683 -- 694P. J. Lee, Deng-Jyi Chen, Chyan-Goei Chung. An object-oriented modelling approach to system software design

Volume 36, Issue 10

587 -- 596Stephen King, Robert D. Galliers. Modelling the CASE process: empirical issues and future directions
597 -- 605Ghassan al-Qaimari, Norman W. Paton, Alistair C. Kilgour. Visualizing advanced data modelling constructs
607 -- 614Abdulazeez S. Boujarwah, Kassem Saleh. Compiler test suite: evaluation and use in an automated test environment
615 -- 624Paulo Cesar Masiero, José Carlos Maldonado, I. G. Boaventura. A reachability tree for statecharts and analysis of some properties
625 -- 636Mukesh K. Mohania, Nandlal L. Sarda. A selective enumeration based heuristic for rule allocation
637 -- 0Paul H. J. Kelly. Implementing functional languages : S Peyton Jones and D Lester Prentice-Hall UK (1992) 281 pp £22.95 ISBN 0 13 721952 0

Volume 36, Issue 1

2 -- 0Michael Dyer, Martin J. Shepperd. Editorial
3 -- 11Jason Jen-Yen Chen, Chia Ming Tu. CSPL: a process-centred environment
13 -- 21Rajeev Kaula. Problem solving strategies for open-systems based organization decision support systems
23 -- 33T. H. Tse, Tsong Yueh Chen, C. S. Kwok. The use of Prolog in the modelling and evaluation of structure charts
35 -- 42Tony Bryant, Andy Evans. OO oversold : Those objects of obscure desire
43 -- 51M. Ainsworth, A. H. Cruickshank, P. J. L. Wallis, L. J. Groves. Viewpoint specification and Z
53 -- 54J. Wallis. Information in the enterprise: It's more than technology : G Darnton and S Giacoletto Digital Press/Prentice-Hall (1992) 318 pp £27.50 ISBN DP: 1 55558 091 2; PH: 0 13 1761763 0
54 -- 55J. Wallis. CASE strategies guide for information managers : S Holloway and T Bidgood Ashgate (1993) 306 pp £47.50 ISBN 1 85742 035 7
55 -- 0M. Jenner. The cleanroom approach to quality software development : M Dyer John Wiley (1992) 198 pp £42.50 ISBN 0 471 54823 5
55 -- 56John Jones. Constructing logic programs : J-M Jacquet (ed) Wiley Chicester, UK (1993) pp 308 £19.95 ISBN 0 471 93789 4
57 -- 58G. Tate. Tool integration: Environments and frameworks : D Schefström and G van den Broek John Wiley (1993) 447 pp £29.95 ISBN 0 471 93554 9
57 -- 0S. Webster. Essays on object-oriented software engineering (volume 1) : E V Berard Prentice-Hall UK (1993) 352 pp £27.50 ISBN 0 13 288895 5
58 -- 59J. Traxler. A formalisation of design methods: A lambda-calculus approach to systems design with an application to text editing : L Feijs Ellis Horwood (1993) 502 pp £49.95 ISBN 0 13 106113 5
58 -- 0D. P. Youll. Software engineering: Principles and practice : H van Vliet Wiley (1993) 558 pp £19.95 ISBN 0 471 93611 1