default search action
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, Colin 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 - Kemal 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 John 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
Volume 41, Number 15, December 1999
- Mark Roantree, Jessie B. Kennedy, Peter J. Barclay:
Providing views and closure for the object data management group object model. 1037-1044 - Fraser MacDonald, J. Miller:
ASSIST - a tool to support software inspection. 1045-1057 - Toyoshiro Nakashima, M. Oyama, H. Hisada, Naohiro Ishii:
Analysis of software bug causes and its prevention. 1059-1068
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.