Information & Software Technology, Volume 41

Volume 41, Number 1, January 1999

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

Volume 41, Number 2, January 1999

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

Volume 41, Number 3, February 1999

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

Volume 41, Number 4, March 1999

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

Volume 41, Number 5, March 1999

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

Volume 41, Number 6, April 1999

• Mark Pendergast, Stephen C. Hayne:
  Groupware and social networks: will life ever be the same again? 311-318
  
• Kjeld Schmidt:
  Of maps and scripts: The status of formal constructs in cooperative work. 319-329
  
• Steven E. Poltrock, George Engelbeck:
  Requirements for a virtual collocation environment. 331-339
  
• Wilhelm Dangelmaier, Stephan Kress, Rüdiger Wenski:
  TelCoW: telework under the co-ordination of a workflow management system. 341-353
  
• Jörg M. Haake, Weigang Wang:
  Flexible support for business processes: extending cooperative hypermedia with process support. 355-366
  
• Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor:
  Toward locales: Supporting collaboration with Orbit. 367-382
  
• 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. 383-397
  

Volume 41, Number 7, May 1999

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

Volume 41, Number 8, June 1999

• Peter Middleton:
  Managing information system development in bureaucracies. 473-482
  
• 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. 483-497
  
• Esfandiar Haghverdi, Hasan Ural:
  Submodule construction from concurrent system specifications. 499-506
  
• Shih-Chien Chou, Jason Jen-Yen Chen:
  Process evolution support in concurrent software process language environment. 507-524
  
• Norihide Hattori, Naohiro Ishii:
  An extended educational system for programming and its evaluation. 525-532
  

Volume 41, Number 9, June 1999

• Michael K. Ng, Zhexue Huang:
  Data-mining massive time series astronomical data: challenges, problems and solutions. 545-556
  
• Mika Klemettinen, Heikki Mannila, Hannu Toivonen:
  Interactive exploration of interesting findings in the Telecommunication Network Alarm Sequence Analyzer (TASA). 557-567
  
• Bryan W. Scotney, Sally I. McClean:
  Efficient knowledge discovery through the integration of heterogeneous data. 569-578
  
• Paul D. Scott, Elwood Wilkins:
  Evaluating data mining procedures: techniques for generating artificial data sets. 579-587
  
• 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. 589-595
  
• F. J. McErlean, David A. Bell, Jiwen Guan:
  Modification of belief in evidential causal networks. 597-603
  
• Simon H. Lavington, Neil Dewhurst, Elwood Wilkins, Alex Alves Freitas:
  Interfacing knowledge discovery algorithms to large database management systems. 605-617
  

Volume 41, Number 10, July 1999

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

Volume 41, Number 11-12, September 1999

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

Volume 41, Number 13, September 1999

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

Volume 41, Number 14, November 1999

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

Last update Sat May 25 20:33:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page