Journal: Information \& Software Technology

Volume 41, Issue 9

545 -- 556Michael K. Ng, Zhexue Huang. Data-mining massive time series astronomical data: challenges, problems and solutions
557 -- 567Mika Klemettinen, Heikki Mannila, Hannu Toivonen. Interactive exploration of interesting findings in the Telecommunication Network Alarm Sequence Analyzer (TASA)
569 -- 578Bryan W. Scotney, Sally I. McClean. Efficient knowledge discovery through the integration of heterogeneous data
579 -- 587Paul D. Scott, Elwood Wilkins. Evaluating data mining procedures: techniques for generating artificial data sets
589 -- 595Robert L. Grossman, Stuart Bailey, Ashok Ramu, Balinder Malhi, Philip Hallstrom, Ivan Pulleyn, Xiao Qin. The management and mining of multiple predictive models using the predictive modeling markup language
597 -- 603F. J. McErlean, David A. Bell, Jiwen Guan. Modification of belief in evidential causal networks
605 -- 617Simon H. Lavington, Neil Dewhurst, Elwood Wilkins, Alex Alves Freitas. Interfacing knowledge discovery algorithms to large database management systems

Volume 41, Issue 8

473 -- 482Peter Middleton. Managing information system development in bureaucracies
483 -- 497Alvaro A. A. Fernandes, Andrew Dinn, Norman W. Paton, M. Howard Williams, Olive Liew. Extending a deductive object-oriented database system with spatial data handling facilities
499 -- 506Esfandiar Haghverdi, Hasan Ural. Submodule construction from concurrent system specifications
507 -- 524Shih-Chien Chou, Jason Jen-Yen Chen. Process evolution support in concurrent software process language environment
525 -- 532Norihide Hattori, Naohiro Ishii. An extended educational system for programming and its evaluation

Volume 41, Issue 7

403 -- 411Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne. Disincentives for communicating risk: a risk paradox
413 -- 420Paolino Di Felice, Goffredo Fonzi. An improved method for the indexing of software
421 -- 434Luis Fernández, José Javier Dolado. Measurement and prediction of the verification cost of the design in a formalized methodology
435 -- 450Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang. Integrating structured OO approaches with formal techniques for the development of real-time systems
451 -- 467Jiacun Wang, Xudong He, Yi Deng. Introducing software architecture specification and analysis in SAM through an example

Volume 41, Issue 6

311 -- 318Mark Pendergast, Stephen C. Hayne. Groupware and social networks: will life ever be the same again?
319 -- 329Kjeld Schmidt. Of maps and scripts: The status of formal constructs in cooperative work
331 -- 339Steven E. Poltrock, George Engelbeck. Requirements for a virtual collocation environment
341 -- 353Wilhelm Dangelmaier, Stephan Kress, Rüdiger Wenski. TelCoW: telework under the co-ordination of a workflow management system
355 -- 366Jörg M. Haake, Weigang Wang. Flexible support for business processes: extending cooperative hypermedia with process support
367 -- 382Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor. Toward locales: Supporting collaboration with Orbit
383 -- 397Shinkuro Honda, Hironari Tomioka, Takaaki Kimura, Takaharu Oosawa, Ken-ichi Okada, Yutaka Matsushita. A company-office system Valentine providing informal communication and personal space based on 3D virtual space and avatars

Volume 41, Issue 5

249 -- 255John Lai Huat Lim. Multi-stage negotiation support: a conceptual framework
257 -- 273Jan Bosch. Superimposition: a component adaptation technique
275 -- 281Xiuzhen Zhang, Yanchun Zhang, Joseph Fong, Xiaohua Jia. Transforming RDB schema into well-structured OODB schema
283 -- 295Lichun Wang, Mike Wing, C. Davis, Norman Revell. Processing temporal queries in the context of object-oriented databases
297 -- 305Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue, Yukio Mohri. Empirical evaluation of reuse sensitiveness of complexity metrics

Volume 41, Issue 4

183 -- 196Ee-Peng Lim, Hon-Kuan Lee. Export database derivation in object-oriented wrappers
197 -- 210Dimitris Kardaras, Bill Karakostas. The use of fuzzy cognitive maps to simulate the information systems strategic planning process
211 -- 234Alessandro D Atri, Amihai Motro, Laura Tarantino. ViewFinder: an object browser
235 -- 241Kassem Saleh. Object model in Java: elements and application

Volume 41, Issue 3

123 -- 130Kshirasagar Naik, Zixue Cheng, David S. L. Wei. Distributed implementation of the disabling operator in LOTOS
131 -- 138S. Y. Liao, H.-Q. Wang, W. Y. Liu. Stability constraints and stability normal forms for temporal relational databases
139 -- 156Brian Henderson-Sellers, Donald Firesmith. Comparing OPEN and UML: the two third-generation OO development approaches
157 -- 162Richard F. Paige. When are methods complementary?
163 -- 178David Taniar, Clement H. C. Leung. Query execution scheduling in parallel object-oriented databases

Volume 41, Issue 2

57 -- 66Leonid Stoimenov, Antonija Mitrovic, Slobodanka Djordjevic-Kajan, Dejan Mitrovic. Bridging objects and relations: a mediator for an OO front-end to RDBMSs
67 -- 90Amelia K. Y. Tong, Marios C. Angelides. Formalising tutoring strategy selection in multimedia tutoring systems
91 -- 99Gerard Parr, Kevin Curran. Multiple multicast groups for multimedia on the Internet
101 -- 106James J. Jiang, Gary Klein, Joseph L. Balloun, Suzanne M. Crampton. System analysts orientations and perceptions of system failure
107 -- 117Steven Walczak, Narciso Cerpa. Heuristic principles for the design of artificial neural networks

Volume 41, Issue 15

1037 -- 1044Mark Roantree, Jessie B. Kennedy, Peter J. Barclay. Providing views and closure for the object data management group object model
1045 -- 1057F. MacDonald, J. Miller. ASSIST - a tool to support software inspection
1059 -- 1068T. Nakashima, M. Oyama, H. Hisada, N. Ishii. Analysis of software bug causes and its prevention

Volume 41, Issue 14

931 -- 0Michael Dyer, Martin J. Shepperd. Perspectives on Information Technology in the New Millennium
933 -- 936Derek Andrews. Software engineering education in the 21st century
937 -- 946Barry W. Boehm, Kevin J. Sullivan. Software economics: status and prospects
947 -- 950Manfred Broy. Software technology - formal methods and scientific foundations
951 -- 956D. N. Chorafas. How long into the 21st century will the aftermath of the millennium bug last?
957 -- 961Brian J. Garner, Ryszard Raban. Context management in modeling information systems (IS)
963 -- 968Patrick A. V. Hall. Architecture-driven component reuse
969 -- 978Mike Jackson. Thirty years (and more) of databases
979 -- 984Monika Müllerburg. Software intensive embedded systems
985 -- 990Colette Rolland. Requirements engineering for COTS based systems
991 -- 994Marc Roper. Software testing - searching for the missing link
995 -- 1004Toru Takeshita, Kazuaki Maeda. An integrated web computing application for tasks related to course selection and registration
1005 -- 1010Tetsuo Tamai. Objects and roles: modeling based on the dualistic view
1011 -- 1020Jan J. van Amstel. The time of the chameleons is over?
1021 -- 1026June M. Verner, Scott P. Overmyer, Katherine W. McCain. In the 25 years since The Mythical Man-Month what have we learned about project management?
1027 -- 1032John Wordsworth. Getting the best from formal methods

Volume 41, Issue 13

859 -- 875Chung-Ming Huang, Ming-Yuhe Jang, Tz-Heng Hsu. FaxWeb: accessing the WWW using the fax machine
877 -- 886Heon-Ki Lee. Semantics of recursive relationships in entity-relationship model
887 -- 905John Moses, Malcolm Farrow, Peter Smith. Cohesion prediction using information flow: an empirical feasibility study and comparison using students as inexperienced designers
907 -- 915George Fakas, Bill Karakostas. A workflow management system based on intelligent collaborative objects
917 -- 923John Derrick, Eerke Boiten. Calculating upward and downward simulations of state-based specifications

Volume 41, Issue 11-12

695 -- 696Kassem Saleh, Robert L. Probert. Communications software engineering (CSE)
697 -- 713Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah. A service creation environment based on scenarios
715 -- 727Shing-Chi Cheung, Samuel T. Chanson. A model-based authorware for the construction of distributed multimedia systems
729 -- 743Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui. Communications software design for testability: specification transformations and testability measures
745 -- 754Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano. A protocol synthesis method for fault-tolerant multipath routing
755 -- 765Yibin Yang, Junfeng He, Ming T. Liu. A medium access control protocol for voice and data integration in receiver-oriented DS-CDMA PCNs
767 -- 780Leo Cacciari, Omar Rafiq. Controllability and observability in distributed testing
781 -- 798Thomas Walter, Jens Grabowski. A framework for the specification of test cases for real-time distributed systems
799 -- 812K. Inan, Hasan Ural. Efficient checking sequences for testing finite state machines
813 -- 821Marine Tabourier, Ana R. Cavalli. Passive testing and application to the GSM-MAP protocol
823 -- 837Richard Lai, France Cheong. Extending EASE with new ASN.1 encoding rules
839 -- 852Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi. Recovery of CFSM-based protocol and service design from protocol execution traces

Volume 41, Issue 10

627 -- 638A. V. Pai, Rose F. Gamble, Robert Plant. Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs
639 -- 650Wil M. P. van der Aalst. Formalization and verification of event-driven process chains
651 -- 659Klaas van den Berg, Anthony J. H. Simons. Control-flow semantics of use cases in UML
661 -- 672Franck Xia. Look before you leap: on some fundamental issues in software engineering research
673 -- 688Narasimhaiah Gorla, Chungtzer Liu. FHIN: an efficient storage structure and access method for object-oriented databases

Volume 41, Issue 1

1 -- 14Nabil N. Kamel. A Unified Characterisation for Shared Multimedia CSCW Workspace Designs
15 -- 28Abdulazeez S. Boujarwah, Kassem Saleh, Jehad Al-Dallal. Testing Syntax and Semantic Coverage of Java Language Compilers
29 -- 34Terry R. Adler, John G. Leonard, Ric K. Nordgren. Improving Risk Management: Moving from Risk Elimination to Risk Avoidance
35 -- 52Mario Andres Bruno, Paolo Nesi. Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems