Information and Software Technology 1994 - 1998: Vol 36-40 Index

55 Pages·10.9 MB·English

INFORMATION AND
SOFTWARE TECHNOLOGY
Article index Hierarchical Censored Production Rules (HCPRs)
system employing the Dempster—Shafer uncertainty
calculus
K. K. Bharadwaj, Neerja and G. C. Goel 155
Information cost as a determinant of system
Volume 36
architecture
Levent Orman 165
Software measurement methods: recipes for success?
John Roche and Mike Jackson 173
Number 1
CSPL: a process-centred environment
Jen-Yen Chen and Chia-Ming Tu 3
Problem solving strategies for open-systems based
organization decision support systems
Rajeev Kaula 13 Number 4
The use of Prolog in the modelling and evaluation of
structure charts Hypermedia link services and their application to
T. H. Tse, T. Y. Chen and C. S. Kwok 23 multimedia information management
OO oversold Wendy Hall and Hugh Davis 197
A. Bryant and A. Evans 35 System support for multimedia applications: an
Viewpoint specification and Z assessment of the state of the art
M. Ainsworth, A. H. Cruikshank, P. J. L. Wallis and Gordon S. Blair, Geoff Coulson and
L. J. Groves 43 Nigel Davies 203
Time-varying Sensitive Regions in dynamic multimedia
objects: a pragmatic approach to content-based
retrieval from video
Victoria Burrill, Thomas Kirste and
Number 2
Jochen Weiss 213
Systematic design for task related multimedia
Improving object-oriented analysis
interfaces
Gabriel Eckert and Paul Golder 67
Alistair Sutcliffe and Peter Faraday 225
Semantic correspondence in integrating CASE tool
Retrieval and delivery of information in multimedia
repository schemas
database systems
C. N. G. Dampney and R. M. Colomb 87
F. Golshani and N. Dimitrova 235
Using machine apprentices for transient knowledge
On the promises of multimedia authoring
work
Stephen W. Smoliar 243
Gregg Elofson 97
AIDA: a dynamic analyser for Ada programs
F. E. Eassa, L. J. Osterweil and
M. Z. Abdel-mageed 107
Making C** a persistent OOPL
Rui Chen, Xi-yao Cai and Ping Chen 119
Number 5
Predicting the development effort of multimedia
courseware
Number 3 |. M. Marshall, W. B. Samson, P. |. Dugard and
W.A. Scott 251
Binary ranking for the signature file method The information content and user driven aspects of the
D. Dervos, P. Linardis and Y. Manolopoulos 131 ACT-IT multimedia authoring system
Data conversion rules from network to relational B. Inwood, |. Connell, R. Scane, J. Collyer,
databases B. Christie, V. Ashcroft, |. Brown and
Joseph Fong and Chris Bloor 141 J. Knight 259
Pll: $0950-5849(98)00113-X
884 Article index
A phased approach to the evaluation and selection of TOPIC-SE: a tool-based open platform for integration
CASE tools of control in software environments
Louis A. Le Blanc and Willard M. Korn 267 Karim Foughali and Bertil Folliot 427
Evidence on economies of scale in software A Petri net based methodology to integrate qualitative
development and quantitative analysis
Rajiv D. Banker, Hsihui Chang and Monika Heiner, Giorgo Ventre and Dietmar
Chris F. Kemerer 275 Wikarski 435
A meta-model of information systems to support Use of GSPNs for concurrent software validation in
reverse engineering EPOCA
M. J. Freeman and P. J. Layzell 283 Susanna Donatelli, Giuliana Franceschinis,
PM-Net: a software project management Marina Ribaudo and Stefano Russo 443
representation model Engineering safety-related parallel systems
Kuen-Ching Lee, luan-Yuan Lu and C. |. Birkinshaw, P. R. Croll, D. G. Marriott and
Hsin-Hui Lin 295 P. A. Nixon 449
Modelling parallel program behaviour in ALPES
Joao Paulo Kitajima and Brigitte Plateau 457
Neutral debugging using grafts
Serge Chaumette 465
Number 6
Object-oriented modelling of hyperstructure:
overcoming the static link deficiency
H. Maurer, N. Scherbakov, K. Andrews and Number 8
P. Srinivasan 315
A semantic database approach to knowledge-based The economics of reuse: new approaches to modelling
hypermedia systems and assessing cost
Paul Beynon-Davies, Douglas Tudhope, Carl Taylor Shari Lawrence Pfleeger and TerryB. Bollinger 475
and Christopher Jones 323 On decision tree verification and consolidation
(In)completeness in specifications David Chenho Kung 485
V. S. Alagar and D. Kourkopoulos 331 Enhancing software reusability through effective use of
Modelling and simulation in an object-oriented the essential modelling approach
environment Soheil Khajenoori, Darrell G. Linton and
Cheng-Jye Luh 343 Carl A. Morris 495
Developing transputer-based systems using HOOD Object-oriented methodologies of Coad and Yourdon
and Parallel C and Booch: comparison of graphical notations
Paul Moore and Peter G. O'Donoghue 353 F. Losavio, A. Matteo and F. Schlienger 503
A matrix editor for a metaCASE environment Automated dismemberment of JSD process
Steven Kelly 361 specifications
Andrew Bass and Bryan Ratcliff 515
Number 7
Number 9
Software engineering for parallel systems
Innes Jelly and lan Gorton 381 Non-use phenomenon of CASE tools: Malaysian
Parallel software development using an object-oriented experience
modelling technique M. H. Selamat, C. Y. Choong, A. T. Othman and
Chris Knowles and Pete Collingwood 397 M. M. Rahim 531
Graph-based software construction for parallel Dialogue specification and control: a review of models
message-passing programs and techniques
Guido Wirtz 405 David T. Clark and Geoff P. Crum 539
Design and code derivation in the PCSC methodology View definition in an object-orientated database
Gordon A. Manson, Shahrin Sahib and S.R.Monk 549
Chandran Elamvazuthi 413 Design of Sentinel: an object-oriented DBMS with
A portable parallel programming environment based event-based rules
around PCTE S. Chakravarthy, E. Anwar, L. Maugis and
Stephen A. Hellberg and Ed. Zaluska 419 D. Mishra 555
Article index 885
An annotated bibliography for object-oriented analysis The design of the user interface for a large physics
and design experiment
S. Webster 569 G. Manduchi, G. Fregonese, C. Taliercio,
T. W. Friedian and J. A. Stillerman 733
Design and development of EASEL: a portable UIMS tool
Francis Neelamkavil and Joseph Drumgoole 743
Number 10
Modelling the CASE process: empirical issues and Volume 37
future directions
Stephen King and Robert Galliers 587
Visualizing advanced data modelling constructs
Ghassan al-Qaimari, Norman W. Paton and Number 1
Alistair C. Kilgour 597
Compiler test suite: evaluation and use in an automated Towards a benchmark for the evaluation of software
test environment testing techniques
A. Boujarwah and K. Saleh 607 James Miller, Marc Roper, Murray Wood and
A reachability tree for statecharts and analysis of some Andrew Brooks 5
properties Object-oriented development for telecommunication
P. C. Masiero, J. C. Maldonado and services
I. G. Boaventura 615 Panos Fitsilis 15
A selective enumeration based heuristic for rule High-level algebraic Petri nets
allocation Cnieh-Ying Kan and Xudong He 23
Mukesh K. Mohania and N. L. Sarda 625 Photi-a fisheye view of bubbles
Neville Churcher 31
Representation for program control structures by
rewriting of flow graphs
Norihide Hattori and Naohiro Ishii 39
Number 11 A structured specification of an active database system
Jack Campin, Norman W. Paton and
Problems in CASE introduction: experiences from user M. Howard Williams 47
organizations
Ivan Aaen 643
Enactable process specification in support of process-
centred environments
Number 2
Alan M. Christie 655
The formal specification of concurrent systems: a small
Recovery of object-oriented design from existing data-
CCS case study
intensive business programs
|. M. Bradley 667
Hee Beng Kuan Tan and Tok Wang Ling 67
Formal methods and design extraction: a pilot study
Structured method for designing subsystems
Padmanabhan Krishnan 675
Peretz Shoval 79
An object-oriented modelling approach to system
An optimizing retargetable code generator
software design
M. Ancona 87
P. J. Lee, D. J. Chen and C. G. Chung 683
Debugging multi-agent systems
Marc H. Van Liederkerke and
Nicholas M. Avouris 103
When to prototype: decision variables used in industry
Bill C. Hardgrave 113
Number 12
Evaluation of process tools in systems analysis
Narasimhaiah Gorla, Hao-Che Pu and
Translating VDM specifications into ABC programs
Walter O. Rom 119
Aaron Kans and Clive Hayton 699
Optimistic priority-based concurrency control protocol
for firm real-time database systems
Jinhwan Kim and Heonshik Shin 707
A tutorial on secure database systems Number 3
George Pangalos 7UF
Genetic algorithms for optimal logical database design Query evaluation and optimization in deductive and
P. van Bommel, ThP. van der Weide and object-oriented spatial databases
C. B. Lucasius 725 Wei Lu and Jiawei Han 131
886 Article index
Application of clustering techniques to information Jonathan Bowen, Susan Stepney and
systems design Rosalind Barden St7
Tzvi Raz and Alan T. Yaung 145 Glossary of Z notation
Object-orientation as structural, functional and Jonathan P. Bowen 333
behavioural modelling: a comparison of six methods for Report on Z User Meeting (ZUM ’94)
object-oriented analysis Jonathan Bowen and Mike Hinchley 335
Juhani livari 155
Domain data typing
David Livingtstone 165
InterSect_DM: a hypertext data model based on
OODBMS Number 7
Bing Wang and Peter Hitchcock 177
Presenting dynamically expandable hypermedia
C. A. Macnee, W. Behrendt, J. R. Kalmus,
K. G. Jeffery and M. D. Wilson 339
A conceptual model of cognitive complexity of elements
of the programming process
S. N. Cant, D. R. Jeffery and
Number 4
B. Henderson-Sellers 351
Toward a Classification scheme for software process
A field study of the relationship of information flow and
modelling approaches
maintainability of COBOL programs
I. R. McChesney 363
Michael! M. Pickard and Bradley D. Carter 195
An algorithm for distributed mutual exclusion
MGA: Rule-based specification of active object-
Pranay Chaudhuri 375
oriented database applications
A survey of schema versioning issues for database
Peter Sawyer and lan Sommerville 203 systems
Static analysis of functional programs
John F. Roddick 383
K. G. van den Berg and P. M. van den Broek 213
A methodology for reverse engineering hierarchical
databases
Filippo Tangorra and Domenico Chiarolla 255
Efficient manipulation of a set of fragments
Number 8
George S. Pavlides 233
Architectural requirements for open distributed
Valuation-directed specification of communication
hypermedia
|. Gaviotis and D. Christodoulakis 245 systems
Robert Probert, Kassem Saleh and
Hua-Long Yu 403
Deriving algebraic Petri net specifications from
structured analysis — a case study
Chieh-Ying Kan and XudongHe 8 411
A path generation method for testing LCSAus that
Numbers 5-6 restrains infeasible paths
N. Malevris 435
Editorial An approach to the design of object associations
Jonathan Bowen and Mike Hinchey 258 J. Ayre, F. G. Wilkie and J. G. Hughes 443
Making formal methods education effective for Parallelization of hierarchical censored production rules
K. K. Bharadwaj and R. Varshneya 453
professional software engineers
David Garlan 261
A shallow embedding of Z in HOL
Jonathan Bowen and Mike Gordon = 269
Using Z to specify telephone features
Peter Mataga and Pamela Zave 277 Number 9
Rigorous specification using structured systems
analysis and Z The use, limitations and customization of structured
K. C. Mander and F. A. C. Polack 285 systems development in the United Kingdom
The programming language Z- Colin J. Hardy, J. Barrie Thompson and
Samuel H. Valentine 293
Helen M. Edwards 467
Formal development in B Abstract Machine Notation Incremental view maintenance in extended relational
K. Lano and H. Haughton 303 databases
Annotated Z bibliography John V. Harrison 479
Article index 887
An attribute grammar approach to high-level automated Deploying realistic estimation (field situation analysis)
hardware synthesis Bernard Londeix 665
George Economakos, George Papakonstantinou A case study of a difficult refinement: a fast dictionary
and Panayotis Tsanakas 493 for spell-checking program
Multidatabase interoperability in the Jupiter system D. J. Andrews and D.C. Ince ‘671
John Murphy and Jane Grimson 503 Evaluating the quality of entity relationship models
Time-to-completion factors in packaged software Someswar Kesh 681
development Supporting production rules using ECA rules in an
Erran Carmel 515 object-oriented context
Norman W. Paton 691
Estimating the quality of functional programs: an
empirical investigation
Number 10 R. Harrison, L. G. Samaraweera, M. R. Dobie and
P. H. Lewis 701
Selective regression testing-assumptions and fault Time to travel to target cylinders on non-linear discs
detecting ability with two independent seek arms
Hareton K. N. Leung 531 Ken Deighton 709
Type safety and behavioural inheritance
Robert G. Clark 539
Implementing Prolog Definite Clause Grammars with
SLR(1) parsers on the Relational Algebra Accelerator
Greg Michaelson 547
Deriving distributed processes from concurrent processes
Padmanabhan Krishnan 557 Volume 38
Relational algebraic framework for the modelling and
analysis of Petri nets
Young Chan Kim and Tag Gon Kim 563
Cardinalities in depth: a formal approach to partial Number 1
validation of conceptual schema
G. Grosz and S.R.Schwer 572 Modelling the semantics of multitasking facilities in
A software engineering environment driven by event- Concurrent C using Petri nets
condition-action rules and its trigger mechanism A. Boujarwah, K. Saleh and N. Al-Seif = 3
Walcélio L. Melo, Noureddine Belkhatir and The processing strategy for the NF? relational fre-
Jacky Estublier 580 interface
T. Niemi, K. Jarvelin 17
A method to remove variations in source codes
N. Hattori, N. Ishii 25
A closer look at programming expertise: critical survey
of some methodological issues
Number 11 P. Navrat 37
Object-oriented systems: a cross-discipline overview
Flexibilization of the methodology of system development O. Diaz 47
Gertjan Viasblom, Daan Rijsenbrij and
Matthijs Glastra 595
Domain object identification through events and
functions Number 2
Danny C. C. Poo and Shwu-Yi Lee 609
A survey of current practice in aerospace software Expert judgement as an estimating method
development R. T. Hughes 67
Robert T. Plant and Panagiotis Tsoumpas 623 Read this and change the way you feel about software
Transformational data refinement and VDM engineering
D. J. Andrews and D. C. Ince 637 J. Low, J. Johnson, P. Hall, F. Hovenden, J. Rachel,
H. Robinson and S. Woolgar 77
Using timed CSP during object-oriented design of real-
time systems
P. G. O’Donaghue and M. E. C. Hull 89
Number 12 DITSE: an experimental distributed database system
C.-Y. Ni and S.-M. Yuan 103
On the use of dynamic feedback in knowledge base The automatic generation of test cases for optimizing
system design Fortran compilers
P. A. Dearnley and D. J. Smith 659 C. J. Burgess and M. Saidi 111
888 Article index
Priority inheritance protocol in Ada 95 Ontology as a foundation for meta-modelling and
J. Abu-Ras 121 method engineering
Y.Wand 281
Functionality and architecture of PSEEs
A. Fuggetta 289
The MEMA-model: towards a new approach for method
engineering
T. Punter and K. Lemmen 295
Number 3
Beyond software factories: concurrent-development
process and an evolution of software process
technology in Japan
M. Aoyama 133 Number 5
Software products evaluation system: quality models,
metrics and process — International standards and Challenges in the successful transfer of formal methods
Japanese practice technology into industrial applications
M. Azuma 145 H. Saiedian and M. G. Hinchey 313
Quantitative analytic approaches in software An exercise in modelling
engineering D. Andrews 323
K. Torii and K. Matsumoto 155 Repositories for co-operative information systems
Software reuse in Japan H. Wang 333
S. lsoda 165 Generating test data for distributed software using the
The software quark model: a universal model for CASE chaining approach
repositories R. Ferguson and B. Korel 343
T. Ajisaka 173 Model-based support for business re-engineering
MENDELS ZONE: A parallel program development S. Jarzabek andT. W. Ling 355
system based on formal specifications
S. Honiden, A. Ohsuga and N. Uchihura 181
Knowledge-based cognitive support for multimedia
information design
K, Nakakoji, A. Aoki and B. N. Reeves 191 Number 6
IntelligentPad as meme media and its application to
multimedia databases Communications software reverse engineering: a semi-
Y. Tanaka 201 automatic approach
GUNGEN: groupware for a new idea generation K. Saleh and A. Boujarwah 379
support system Estimating CASE development size from outline
J. Munemori and Y. Hagasawa 213 specifications
Computer-supported meeting environment for S. Cockcroft 391
collaborative software development Communicating X-machines
E. Kuwana, E. Yana, Y. Sakamoto, Y. Nakamure J. Barnard, J. Whitworth and M. Woodward 401
and K. Horikawa 221 Exploiting object-oriented methods for multi-modal trip
Software technologies created in Japan planning systems
T. Takeshita 229 J. E. McCormack and S. A. Roberts 409
The TRON project An executable specification language for
K. Sakamura 239 specification understanding in object-oriented
specification reuse
S.-C. Chou, J.-Y. Chen and C.-G. Chung 419
Number 4
Number 7
Evolution and issues in metaCASE
S. Kelly and K. Smolander = 261 An evaluation of code metrics for object-oriented
Method engineering for multi-perspecitve software programs
development R. Harrison, L. G. Samaraweera, M. R. Dobie and
B. Nuseibeh, A. Finkelstein and J. Kramer = 267 P. H. Lewis 443
Method engineering: engineering of information Sharing objects as structural defects in object-oriented
systems development methods and tools programming without safe typing
S. Brinkkemper = 275 D. Rine 451
Article index
A comparison of ORN to other declarative schemes for Number 11
specifying relationship semantics
B. K. Ehlmann and G. A. Riccardi 455 Software evolution: past, present and future
Migration from relational to object-oriented databases K. Bennett 673
S. Monk, J. A. Mariani, B. Elgalal and Feedback in the software evolution process
H. Campbell 467 M. M. Lehman 681
Programmers’ performance on structured versus Software faults, software failures and software
nonstructured function definitions reliability modeling
K. G. van den Berg and P. M. van den Broek 477 J. C. Munson 687
A method for application management maturity
assessment
R. M. Hather, E. L. Burd and C. Boldyreff 701
Improving reverse engineering models with test-case
Number 8 related knowledge
P. Benedusi 711
Object-oriented design: exception handling and Is modularization always a good idea?
copying L. Hatton 719
D. C. Rine 499 Software evolution management: a process-oriented
Wavefront: a goal-driven requirements process model perspective
M. F. Theofanos and S.L. Pfleeger 507 D. S. Hinley 723
A mixed approach for the formal correctness proof of
distributed programs
G. Manduchi = 521
Concurrent object-oriented programming using term
graph rewriting techniques
G. A. Papadopoulos 539 Number 12
Requirements specification of real-time systems:
temporal parameters and timing-constraints
T. G. Kirner and A. M. Davis 735
Number 9 Prototyping: some new results
N. Cerpa and J. Verner 743
Anew approach to ADT specification support based on Integrated Estelle and ASN.1 specification approach to
reuse of similar ADT by the application of Case-Based automatic implementation of application protocol
Reasoning R. Lai and A. Lo 757
P. Termsinsuwan, Z. Cheng and N. Shiratori 555 Proportional sampling strategy: guidelines for software
An efficient process migration algorithm for testing practitioners
homogeneous clusters F. T. Chan, T. Y. Chen, |. K. Mak and
K. H. Al-Sagabi and K. A. Saleh 569 Y. F. Yo 775
Performance of a two-phase commit protocol Australian managers’ perceptions, attitudes and use of
B. C. Desai and B. S. Boutros 581 information technology
Extending classical functional dependencies for G. J. O'Brien and W. D. Wilde 783
physical database design
T. W. Ling, C. H. Goh and M. L. Lee 601
Volume 39
Number 10
Using joint application design to develop readable
formal specifications Number 1
R. B. Jackson and D. W. Embley 615
Replicated servers for fault-tolerant real-time systems Methodologies for information systems investment
using transputers evaluation at the proposal stage: a comparative
A. Sinha, P. K. Das and D. Basu 633 review
Issues in co-operative software engineering using T. J. W. Renkema and E. W. Berghout 1
globally distributed teams A unifying framework for conceptual data modelling
I. Gorton and S. Motwani 647 concepts
Behavioural modelling in object-oriented methodology P. J. M. Frederiks, A. H. M. ter Hofstede and
P. K.O. ChowandD.S. Yeung 657 E. Lippe 15
890 Article index
A method for the recovery of inclusion dependencies Number 4
from data-intensive business programs
H. B. K. Tan and T. W. Ling 27 Adequate testing of hypertext applications
Establishing relationships between specification size L. Jin, H. Zhu and P. Hall 225
and software process effort in CASE environments CASE tool construction for a parallel software
S. G. MacDonnell 35 development methodology
A theoretical formulation for degrees of isolation in data J. P. Gray 235
bases Queries on two headed fast disks with smart track
V. Atluri, E. Bertino and S. Jajodia 47 management using dynamic scans
Software cost estimation using an Albus perceptron K. Deighton 253
(CMAC) Interactively extracting internal program information in
B. Samson, D. Ellison and P. Dugard 50 language-based editing systems
W.X. Li 261
A new fault localizing method for the program
debugging process
L. Lian, S. Kusumoto, T. Kikuno, K.-i. Matsumoto
and K. Torii 271
Statistical power and its subcomponents — missing
Number 2 and misunderstood concepts in empirical software
engineering research
Engineering a library of reusable conceptual J. Miller, J. Daly, M. Wood, M. Roper and
components A. Brooks 284
Factors affecting design inspection effectiveness in
S. Castano and V. De Antonellis 65
An approach towards parallelisation of sequential software development
programs in an interactive environment T. Raz and A. T. Yaung 297
N. Mukherjee and P. K. Das 77
Design transformation and prototyping using multiple
viewpoints
G. Friel and D. Budgen 91
Combining process modelling methods
G. Abeysinghe and K. Phalp 107 Number 5
Parallel data paths in two-headed disk systems
A. Vakali and Y. Manolopoulos 125 A CASE tool to support critical success factors analysis
in IT planning and requirements determination
D. J. Flynn and E. A. Arce 311
Tool support for systems emergence: A multimedia
CASE tool
S. King 323
DEVICE: Compiling production rules into event-driven
Number 3 rules using complex events
N. Bassiliades and |. Viahavas 331
SQL Tutor+: A co-operative ITS with repository support
A system for query comprehension
H. Wang 343
H. C. Chan, K. K. Wei and K. L. Siau 141
bclasses: A construct and method for modelling
Distributed query optimization using two-step pruning
co-operative object behaviour
H. Kim, S. Lee and H.-J. Kim 149
B. R. Marshall, J. B. Kennedy and
Control and coordination of heterogeneous transaction
P. J. Barclay 351
processing systems
Statistical analysis of nonstationary software metrics
R. Bose and S. D. Burd 171
K. Pillaiand V.S.S. Nair 363
Rule handling in the day-to-day resource management
problem: an object-oriented approach
K. X. Thrampoulidis, C.G oumopoulos and
E. Housos 185
Predictive capacity planning: a proactive approach
C.-L. Sia and Y.-S. Ho 195
Integrating conflicting requirements in process Number 6
modeling: a survey and research directions
C. Francalanci and A. Fuggetta 205 The formalisation of ROCK & ROLL: A deductive
Letter to the Editor object-oriented database system
Are software failures deterministic? A. A. A. Fernandes, M. L. Barja, N. W. Paton and
M. Neil 217 M. H. Williams 379
Article index 891
Towards greater flexibility in software design systems Distributed multimedia synchronization specifications
through hypermedia functionality using M°EST
H. Oinas-Kukkonen 391 C.-M. Huang, Y.-!. Chang, C.-H. Lin and
Issues in estimating real-time data communications J.-S. Chen 561
software projects
C. S. MuraliandC. S. Sankar 399
Enhanced reusability via polymorphic additive virtual
methods in C++
R. Chattamvelli and H. Saiedian 403 Number 9
Measuring perceived software quality
M. Xenos and D. Christodoulakis 417 Synchronous sequence charts in action
A comparison of techniques for developing predictive L. Feijs 583
models of software metrics Database tools to acquire knowledge for rule-based
A. R. Gray and S. G. MacDonell 425 expert systems
Process to identify disjoint subclasses and class life M. M. O. Owrang and F. H. Grupe 607
cycle information using a role analysis technique Compiler test case generation methods: a survey and
S. Y. Liao 439 assessment
A. S. Boujarwah and K. Saleh 617
Factors affecting completing of the requirements
capture stage of projects with different characteristics
P. D. Chatzoglou 627
A processing framework for object comprehensions
Number 7 D. K. C. Chan and P. W. Trinder 641
An evaluation of extended entity—relationship model
H. Saiedian 449
Abstraction and analogy in cognitive space: A software
process model Number 10
H. Zhuge, J. Ma and X. Shi 463
Estimating software development effort with User—database interaction at the knowledge level of
connectionist models abstraction
G. Wittig and G. Finnie 469 H. C. Chan and R. C. Goldstein 657
Implementation of locking schemes in extended Structured design with mathematical proofs
dependency graphs C.-C. Chiang 669
T. M. Schreck and Z. Chen 477 Integrating logical video and audio segments with
Mapping Petri nets to concurrent programs in CC++ content-related information in instructional multimedia
W. Yao and X. He 485 systems
Metrics for quality analysis and improvement of object- H. W. Agius and M. C. Angelides 679
oriented software A survey of current practice in the development of
C. Ebert and I. Morschel 497 multimedia systems
C. Britton, S. Jones, M. Myers and M. Sharif 695
Software diversity: practical statistics for its
measurement and exploitation
D. Partridge and W. Krzanowski 707
On the effectiveness of test case allocation schemes in
Number 8 partition testing
F. T. Chan, T. Y. Chen and T. H. Tse 719
Using Z to specify object-oriented software complexity
measures
T. K. Shih, C.-C. Wang and C.-M. Chung 515
Ethnography and information systems development:
Ethnography of, for and within IS development Number 11
P. Beynon-Davies 531
Code-based analysis of the development effort of a Editorial
large scale courseware project Evaluation and assessment in software engineering
|. M. Marshall, S. Price, P. |. Dugard, P. Hobbs and B. Kitchenham, P. Brereton, D. Budgen,
W. B. Samson 541 S. Linkman, V. L. Almstrum and
Lessons learned from rigorous system software S. L. Pfleeger 731
development Experimental validation in software engineering
J. Dick and E. Woods 551 M. V. Zelkowitz and D. Wallace 735
892 Article index
Experiences introducing a measurement program Numbers 14-15
S. De Panfilis, B. Kitchenham and
N. Morfuni 745 Verifying task-based specifications in conceptual graphs
A subjective effort estimation experiment J. LeeandLl.F.Lai 913
M. Host and C. Wohlin 755 A meta-model for method integration
An empirical evaluation of defect detection techniques M. Saeki 925
M. Roper, M. Wood and J. Miller 763 Perceptions of system development failures
Experimentation as a vehicle for software technology J. J. Jiang, G. Klein and J. Balloun 933
transfer — A family of software reading techniques An evaluation of methods for prioritizing software
S. Linkman and H. D. Rombach 777 requirements
Perspective-based reading of code documents at J. Karlsson, C. Wohlin and B. Regnell 939
Robert Bosch GmbH Use of software systems development methods.
O. Laitenberger and J.-M. DeBaud 781 An empirical study in Brunei Darussalam
M. M. Rahim, A. H. Seyal and
M. N. A. Rahman 949
A fault-tolerant object service in the OMG’s object
management architecture
D. Liang, S. C. Chou and S. M. Yuan 965
Error detection and diagnosis for fault tolerance in
Number 12 distributed systems
K. Saleh and K. Al-Saqabi 975
Introduction to IST Special Issue on Information Searching the world wide web: an evaluation of
System Quality available tools and methodologies
|. Eriksson and A. Torn 797 C. Jenkins, M. Jackson, P. Burden and J. Wallis 985
Information systems quality versus software quality — Towards deeper co-understanding of software quality
A discussion from a managerial, an organisational and |. Tervonen and P. Kerola 995
an engineering viewpoint
L.A. von Hellens 801
Challenges to IS quality
T. Dahlberg and J. Jarvinen 809
From information systems quality to sustainable
business quality Volume 40
H. Salmela 819
Use Quality and the World Wide Web
K. Lindroos 827
Information systems work quality Number 1
T. Andersson and L. A. von Hellens = 837
Maintaining |S quality Conceptual modelling-based design of object-oriented
E.B. Swanson 845 databases
G. Kovacs and P. van Bommel 1
Reuse of components in data-intensive business
programs through interface separation
H. B. K. Tan and H. K. Tan 15
File allocation with balanced response time in a
distributed multi-server information system
Number 13 W. Cai and B.-S.Lee 27
The evaluation of the response time for a tourist
A combination of the Mk-Il Function Points software agency’s service system
estimation method with the ADISSA methodology for A. Zgrzywa 37
systems analysis and design An effective class hierarchy concurrency control
P. Shoval and O. Feldman 855 technique in object-oriented database systems
Phase containment metrics for software quality W. Jun and L. Gruenwald 45
improvement
A. R. Hevner 867
An empirical study of coupling and control flow metrics
E. Ferneley 879
Construction of classification trees via the Number 2
classification-hierarchy table
T. Y. Chen and P. L. Poon 889 Modelling the probabilistic behaviour of function point
Linearity in directory growth of the multilevel grid file analysis
S.-W. Kim, K.-Y. Whang and J.-H. Kin 897 C. YauandH.-L. Tsoi 59