researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Information \& Software Technology
Home
Index
Info
Volume
Volume
41
, Issue
9
545
--
556
Michael K. Ng
,
Zhexue Huang
.
Data-mining massive time series astronomical data: challenges, problems and solutions
557
--
567
Mika Klemettinen
,
Heikki Mannila
,
Hannu Toivonen
.
Interactive exploration of interesting findings in the Telecommunication Network Alarm Sequence Analyzer (TASA)
569
--
578
Bryan W. Scotney
,
Sally I. McClean
.
Efficient knowledge discovery through the integration of heterogeneous data
579
--
587
Paul D. Scott
,
Elwood Wilkins
.
Evaluating data mining procedures: techniques for generating artificial data sets
589
--
595
Robert 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
--
603
F. J. McErlean
,
David A. Bell
,
Jiwen Guan
.
Modification of belief in evidential causal networks
605
--
617
Simon H. Lavington
,
Neil Dewhurst
,
Elwood Wilkins
,
Alex Alves Freitas
.
Interfacing knowledge discovery algorithms to large database management systems
Volume
41
, Issue
8
473
--
482
Peter Middleton
.
Managing information system development in bureaucracies
483
--
497
Alvaro 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
--
506
Esfandiar Haghverdi
,
Hasan Ural
.
Submodule construction from concurrent system specifications
507
--
524
Shih-Chien Chou
,
Jason Jen-Yen Chen
.
Process evolution support in concurrent software process language environment
525
--
532
Norihide Hattori
,
Naohiro Ishii
.
An extended educational system for programming and its evaluation
Volume
41
, Issue
7
403
--
411
Cameron Schmidt
,
Philip W. Dart
,
Lorraine Johnston
,
Leon Sterling
,
Peter Thorne
.
Disincentives for communicating risk: a risk paradox
413
--
420
Paolino Di Felice
,
Goffredo Fonzi
.
An improved method for the indexing of software
421
--
434
Luis Fernández
,
José Javier Dolado
.
Measurement and prediction of the verification cost of the design in a formalized methodology
435
--
450
Zhiqiang Chen
,
Antonio Cau
,
Hussein Zedan
,
Hongji Yang
.
Integrating structured OO approaches with formal techniques for the development of real-time systems
451
--
467
Jiacun Wang
,
Xudong He
,
Yi Deng
.
Introducing software architecture specification and analysis in SAM through an example
Volume
41
, Issue
6
311
--
318
Mark Pendergast
,
Stephen C. Hayne
.
Groupware and social networks: will life ever be the same again?
319
--
329
Kjeld Schmidt
.
Of maps and scripts: The status of formal constructs in cooperative work
331
--
339
Steven E. Poltrock
,
George Engelbeck
.
Requirements for a virtual collocation environment
341
--
353
Wilhelm Dangelmaier
,
Stephan Kress
,
Rüdiger Wenski
.
TelCoW: telework under the co-ordination of a workflow management system
355
--
366
Jörg M. Haake
,
Weigang Wang
.
Flexible support for business processes: extending cooperative hypermedia with process support
367
--
382
Tim Mansfield
,
Simon M. Kaplan
,
Geraldine Fitzpatrick
,
Ted Phelps
,
Mark Fitzpatrick
,
Richard N. Taylor
.
Toward locales: Supporting collaboration with Orbit
383
--
397
Shinkuro 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
--
255
John Lai Huat Lim
.
Multi-stage negotiation support: a conceptual framework
257
--
273
Jan Bosch
.
Superimposition: a component adaptation technique
275
--
281
Xiuzhen Zhang
,
Yanchun Zhang
,
Joseph Fong
,
Xiaohua Jia
.
Transforming RDB schema into well-structured OODB schema
283
--
295
Lichun Wang
,
Mike Wing
,
C. Davis
,
Norman Revell
.
Processing temporal queries in the context of object-oriented databases
297
--
305
Toshihiro Kamiya
,
Shinji Kusumoto
,
Katsuro Inoue
,
Yukio Mohri
.
Empirical evaluation of reuse sensitiveness of complexity metrics
Volume
41
, Issue
4
183
--
196
Ee-Peng Lim
,
Hon-Kuan Lee
.
Export database derivation in object-oriented wrappers
197
--
210
Dimitris Kardaras
,
Bill Karakostas
.
The use of fuzzy cognitive maps to simulate the information systems strategic planning process
211
--
234
Alessandro D Atri
,
Amihai Motro
,
Laura Tarantino
.
ViewFinder: an object browser
235
--
241
Kassem Saleh
.
Object model in Java: elements and application
Volume
41
, Issue
3
123
--
130
Kshirasagar Naik
,
Zixue Cheng
,
David S. L. Wei
.
Distributed implementation of the disabling operator in LOTOS
131
--
138
S. Y. Liao
,
H.-Q. Wang
,
W. Y. Liu
.
Stability constraints and stability normal forms for temporal relational databases
139
--
156
Brian Henderson-Sellers
,
Donald Firesmith
.
Comparing OPEN and UML: the two third-generation OO development approaches
157
--
162
Richard F. Paige
.
When are methods complementary?
163
--
178
David Taniar
,
Clement H. C. Leung
.
Query execution scheduling in parallel object-oriented databases
Volume
41
, Issue
2
57
--
66
Leonid Stoimenov
,
Antonija Mitrovic
,
Slobodanka Djordjevic-Kajan
,
Dejan Mitrovic
.
Bridging objects and relations: a mediator for an OO front-end to RDBMSs
67
--
90
Amelia K. Y. Tong
,
Marios C. Angelides
.
Formalising tutoring strategy selection in multimedia tutoring systems
91
--
99
Gerard Parr
,
Kevin Curran
.
Multiple multicast groups for multimedia on the Internet
101
--
106
James J. Jiang
,
Gary Klein
,
Joseph L. Balloun
,
Suzanne M. Crampton
.
System analysts orientations and perceptions of system failure
107
--
117
Steven Walczak
,
Narciso Cerpa
.
Heuristic principles for the design of artificial neural networks
Volume
41
, Issue
15
1037
--
1044
Mark Roantree
,
Jessie B. Kennedy
,
Peter J. Barclay
.
Providing views and closure for the object data management group object model
1045
--
1057
F. MacDonald
,
J. Miller
.
ASSIST - a tool to support software inspection
1059
--
1068
T. Nakashima
,
M. Oyama
,
H. Hisada
,
N. Ishii
.
Analysis of software bug causes and its prevention
Volume
41
, Issue
14
931
--
0
Michael Dyer
,
Martin J. Shepperd
.
Perspectives on Information Technology in the New Millennium
933
--
936
Derek Andrews
.
Software engineering education in the 21st century
937
--
946
Barry W. Boehm
,
Kevin J. Sullivan
.
Software economics: status and prospects
947
--
950
Manfred Broy
.
Software technology - formal methods and scientific foundations
951
--
956
D. N. Chorafas
.
How long into the 21st century will the aftermath of the millennium bug last?
957
--
961
Brian J. Garner
,
Ryszard Raban
.
Context management in modeling information systems (IS)
963
--
968
Patrick A. V. Hall
.
Architecture-driven component reuse
969
--
978
Mike Jackson
.
Thirty years (and more) of databases
979
--
984
Monika Müllerburg
.
Software intensive embedded systems
985
--
990
Colette Rolland
.
Requirements engineering for COTS based systems
991
--
994
Marc Roper
.
Software testing - searching for the missing link
995
--
1004
Toru Takeshita
,
Kazuaki Maeda
.
An integrated web computing application for tasks related to course selection and registration
1005
--
1010
Tetsuo Tamai
.
Objects and roles: modeling based on the dualistic view
1011
--
1020
Jan J. van Amstel
.
The time of the chameleons is over?
1021
--
1026
June 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
--
1032
John Wordsworth
.
Getting the best from formal methods
Volume
41
, Issue
13
859
--
875
Chung-Ming Huang
,
Ming-Yuhe Jang
,
Tz-Heng Hsu
.
FaxWeb: accessing the WWW using the fax machine
877
--
886
Heon-Ki Lee
.
Semantics of recursive relationships in entity-relationship model
887
--
905
John Moses
,
Malcolm Farrow
,
Peter Smith
.
Cohesion prediction using information flow: an empirical feasibility study and comparison using students as inexperienced designers
907
--
915
George Fakas
,
Bill Karakostas
.
A workflow management system based on intelligent collaborative objects
917
--
923
John Derrick
,
Eerke Boiten
.
Calculating upward and downward simulations of state-based specifications
Volume
41
, Issue
11-12
695
--
696
Kassem Saleh
,
Robert L. Probert
.
Communications software engineering (CSE)
697
--
713
Rachida Dssouli
,
Stéphane S. Somé
,
Jean G. Vaucher
,
Aziz Salah
.
A service creation environment based on scenarios
715
--
727
Shing-Chi Cheung
,
Samuel T. Chanson
.
A model-based authorware for the construction of distributed multimedia systems
729
--
743
Rachida Dssouli
,
Kamel Karoui
,
Kassem Saleh
,
Omar Cherkaoui
.
Communications software design for testability: specification transformations and testability measures
745
--
754
Kenji Ishida
,
Yoshiaki Kakuda
,
Masahide Nakamura
,
Tohru Kikuno
,
Kitsutaro Amano
.
A protocol synthesis method for fault-tolerant multipath routing
755
--
765
Yibin Yang
,
Junfeng He
,
Ming T. Liu
.
A medium access control protocol for voice and data integration in receiver-oriented DS-CDMA PCNs
767
--
780
Leo Cacciari
,
Omar Rafiq
.
Controllability and observability in distributed testing
781
--
798
Thomas Walter
,
Jens Grabowski
.
A framework for the specification of test cases for real-time distributed systems
799
--
812
K. Inan
,
Hasan Ural
.
Efficient checking sequences for testing finite state machines
813
--
821
Marine Tabourier
,
Ana R. Cavalli
.
Passive testing and application to the GSM-MAP protocol
823
--
837
Richard Lai
,
France Cheong
.
Extending EASE with new ASN.1 encoding rules
839
--
852
Kassem Saleh
,
Robert L. Probert
,
Khaled Al-Saqabi
.
Recovery of CFSM-based protocol and service design from protocol execution traces
Volume
41
, Issue
10
627
--
638
A. V. Pai
,
Rose F. Gamble
,
Robert Plant
.
Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs
639
--
650
Wil M. P. van der Aalst
.
Formalization and verification of event-driven process chains
651
--
659
Klaas van den Berg
,
Anthony J. H. Simons
.
Control-flow semantics of use cases in UML
661
--
672
Franck Xia
.
Look before you leap: on some fundamental issues in software engineering research
673
--
688
Narasimhaiah Gorla
,
Chungtzer Liu
.
FHIN: an efficient storage structure and access method for object-oriented databases
Volume
41
, Issue
1
1
--
14
Nabil N. Kamel
.
A Unified Characterisation for Shared Multimedia CSCW Workspace Designs
15
--
28
Abdulazeez S. Boujarwah
,
Kassem Saleh
,
Jehad Al-Dallal
.
Testing Syntax and Semantic Coverage of Java Language Compilers
29
--
34
Terry R. Adler
,
John G. Leonard
,
Ric K. Nordgren
.
Improving Risk Management: Moving from Risk Elimination to Risk Avoidance
35
--
52
Mario Andres Bruno
,
Paolo Nesi
.
Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems