default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation & Software Technology, Volume 43
Volume 43, Number 1, January 2001
- Xudong He:
PZ nets a formal method integrating Petri nets with Z. 1-18 - Franck Barbier, Brian Henderson-Sellers:
The whole-part relationship in object modelling: a definition in cOlOr. 19-39 - Chai Seng Pua, M. Howard Williams, David H. Marwick:
Data placement in a parallel DBMS with multiple disks. 41-51 - Bernd Wondergem, Patrick van Bommel, Theo P. van der Weide:
Combining boolean logic and linguistic structure. 53-59 - José Javier Dolado
:
On the problem of the software cost function. 61-72
Volume 43, Number 2, February 2001
- Chao-Min Chiu, Michael Bieber:
A dynamically mapped open hypermedia system framework for integrating information systems. 75-86 - Paolo Vendruscolo, Sandra Martelli:
Interfaces for computer and robot assisted surgical systems. 87-96 - Tsong Yueh Chen, Yuen-Tak Yu:
On the maximin algorithms for test allocations in partition testing. 97-107 - L. Wu, Leslie L. Miller, Sree Nilakanta:
Design of data warehouses using metadata. 109-119 - Jonathan Lee, Nien-Lin Xue, Jong-Yih Kuo:
Structuring requirement specifications with goals. 121-135 - Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh:
Testing a system specified using Statecharts and Z. 137-149 - Averil Meehan, T. F. Lunney:
Java garbage collection - a generic solution? 151-155
Volume 43, Number 3, March 2001
- Hussein Zedan:
Guest Editorial. 159 - Peter Henderson, Robert John Walters:
Behavioural analysis of component-based systems. 161-169 - João Pedro Sousa, David Garlan:
Formal modeling of the Enterprise JavaBeans(TM) component integration framework. 171-188 - José M. Troya, Antonio Vallecillo:
Controllers: reusable wrappers to adapt software components. 189-202 - Mark Lycett:
Understanding 'variation' in component-based development: case findings from practice. 203-213
Volume 43, Number 4, March 2001
- S.-W. Kim, Sung Jo Kim, Tae Il Jeong, S. W. Yoo:
The optimal retrieval start times of media objects for the multimedia presentation. 219-229 - Sunil Vadera, Farid Meziane, Mei-Ling Lin Huang:
Experience with mural in formalising Dust-Expert. 231-240 - Hee Beng Kuan Tan, Ni Lar Thein:
Measuring post-transaction error handling in database applications. 241-246 - Lily Sun, Kecheng Liu:
A method for interactive articulation of information requirements for strategic decision support. 247-263 - S.-W. Kim, W.-K. Whang:
On analyzing errors in a selectivity estimation method based on dynamic maintenance of data distribution. 265-274 - Colin F. Snook, Rachel Harrison:
Practitioners' views on the use of formal methods: an industrial survey by structured interview. 275-283
Volume 43, Number 5, April 2001
- Jian Lu, Ming Zhang, Mengqiao Xu, Dajun Yang:
A two-layered-class approach for the reuse of synchronization code. 287-294 - Letha H. Etzkorn, William E. Hughes Jr., Carl G. Davis:
Automated reusability quality analysis of OO legacy software. 295-308 - Jong-Hak Lee, Kyu-Young Whang, Wook-Shin Han, Wan-Sup Cho, Il-Yeol Song:
A tunable class hierarchy index for object-oriented databases using a multidimensional index structure. 309-323 - Girish Keshav Palshikar:
Safety checking in an automatic train operation system. 325-338 - Ruth Breu, Walter Huber, Wolfgang Schwerin:
A conformity model of software processes. 339-349
Volume 43, Number 6, May 2001
- M. Jansen, E. Klaver, Patrick Verkaik, Maarten van Steen, Andrew S. Tanenbaum:
Encapsulating distribution by remote objects. 353-363 - Martyn Ratcliffe, David Budgen:
The application of use case definitions in system design specification. 365-386 - Andreas L. Opdahl, Brian Henderson-Sellers, Franck Barbier:
Ontological analysis of whole-part relationships in OO-models. 387-399 - Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca:
Decomposing legacy systems into objects: an eclectic approach. 401-412
Volume 43, Number 7, June 2001
- Erik Stensrud:
Alternative approaches to effort prediction of ERP projects. 413-423 - John A. Mariani, Armstrong Kadyamatimba:
OgDesk: an orthogonal graphical interface for object-oriented database systems that supports schema management, browsing and querying. 425-446 - Benjamin B. M. Shao, Winston T. Lin:
Measuring the value of information technology in technical efficiency with stochastic production frontiers. 447-456 - Luis A. Guerrero, David A. Fuller:
A pattern system for the development of collaborative applications. 457-467
Volume 43, Number 8, July 2001
- Mark John Taylor, David Gresty, R. Askwith:
Knowledge for network support. 469-475 - F. Calzolari, Paolo Tonella, Giuliano Antoniol:
Maintenance and testing effort modeled by linear and nonlinear dynamic systems. 477-486 - Miao Chen, Qiuming Zhu, Zhengxin Chen:
An integrated interactive environment for knowledge discovery from heterogeneous data resources. 487-496 - Chia-Chu Chiang:
Wrapping legacy systems for use in heterogeneous computing environments. 497-507 - Gerald Post, Albert Kagan:
User requirements for OO CASE tools. 509-517 - Pedro R. Falcone Sampaio:
Building deductive object-oriented database systems in the ODMG era. 519-526
Volume 43, Number 9, August 2001
- Erman Coskun, Martha Grabowski:
An interdisciplinary model of complexity in embedded intelligent real-time systems. 527-537 - Jaehyoun Kim, C. Robert Carlson:
Design units a layered approach for design driven software development. 539-549 - Robert M. Hierons:
Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. 551-560 - Amnart Pohthong, David Budgen:
Reuse strategies in software development: an empirical study. 561-575 - Andreas L. Opdahl, Brian Henderson-Sellers, Franck Barbier:
Erratum to "Ontological analysis of whole-part relationships in OO-models". 577
Volume 43, Number 10, August 2001
- Assmaa A. El-Sayed, Hossam S. Hassanein, Mohamed E. El-Sharkawi:
Effects of shaping characteristics on the performance of nested transactions. 579-590 - Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini:
An approach to system design based on P/T net simulation. 591-605 - Jesus Bisbal, Jane Grimson:
Database sampling with functional dependencies. 607-615 - Frank Niessink, Hans van Vliet:
Measurement program success factors revisited. 617-628
Volume 43, Number 11, October 2001
- David J. Grimshaw, Godfrey W. Draper:
Non-functional requirements analysis: deficiencies in structured methods. 629-634 - Tom L. Roberts, William Leigh, Russell L. Purvis, Monica J. Parzinger:
Utilizing knowledge links in the implementation of system development methodologies. 635-640 - Hee Beng Kuan Tan, Ni Lar Thein, Ye Li, Weihong Li:
A systematic approach for the design of post-transaction input error handling. 641-649 - Carlo Bellettini, Ernesto Damiani, Maria Grazia Fugini:
Software reuse in-the-small: automating group rewarding. 651-660 - Andrea Garratt, Mike Jackson, Peter Burden, Jon Wallis:
A survey of alternative designs for a search engine storage structure. 661-677 - Erik Stensrud:
Erratum to "Alternative approaches to effort prediction of ERP projects". 679
Volume 43, Number 12, November 2001
- Andreas Zendler, Erika Horn, Heinz Schwärtzel, Erhard Plödereder:
Demonstrating the usage of single-case designs in experimental software engineering. 681-691 - Regine Laleau, Fiona Polack:
Specification of integrity-preserving operations in information systems by using a formal UML-based language. 693-704 - Brian Henderson-Sellers, Graham Collins, Richard Dué, Ian M. Graham:
A qualitative comparison of two processes for object-oriented software development. 705-724 - Francesco Marcelloni, Mehmet Aksit:
Leaving inconsistency using fuzzy logic. 725-741 - Jong-Hak Lee, Kyu-Young Whang, Wook-Shin Han, Wan-Sup Cho, Il-Yeol Song:
Corrigendum to "A tunable class hierarchy index for object-oriented databases using a multidimensional index structure". 743
Volume 43, Number 13, November 2001
- Andy Cockburn:
Supporting tailorable program visualisation through literate programming and fisheye views. 745-758 - Ioannis Stamelos, Lefteris Angelis:
Managing uncertainty in project portfolio cost estimation. 759-768 - Jonathan Lee, Jiann-I Pan, Jong-Yih Kuo:
Verifying scenarios with time Petri-nets. 769-781 - Frank P. A. Coolen, Michael Goldstein, Malcolm Munro:
Generalized partition testing via Bayes linear methods. 783-793 - David E. Avison, David Wilson:
A viewpoint on software engineering and information systems: what we can learn from the construction industry? 795-799 - F. George Wilkie, Barbara A. Kitchenham:
An investigation of coupling, reuse and maintenance in a commercial C++ application. 801-812
Volume 43, Number 14, December 2001
- Martin J. Shepperd, Michael Dyer:
Editorial Note. 813 - Bryan F. Jones:
Editorial. 815-816 - L. Darrell Whitley:
An overview of evolutionary algorithms: practical issues and common pitfalls. 817-831 - Mark Harman, Bryan F. Jones:
Search-based software engineering. 833-839 - Joachim Wegener, André Baresel, Harmen Sthamer:
Evolutionary test environment for automatic structural testing. 841-854 - Hans-Gerhard Groß:
A prediction system for evolutionary testability applied to dynamic execution time analysis. 855-862 - Colin J. Burgess, Martin Lefley:
Can genetic programming improve software effort estimation? A comparative evaluation. 863-873 - Jesús S. Aguilar-Ruiz, Isabel Ramos, José Cristóbal Riquelme Santos, Miguel Toro:
An evolutionary approach to estimating software development projects. 875-882 - Anthony J. Bagnall, Victor J. Rayward-Smith, Ian M. Whittley:
The next release problem. 883-890 - John A. Clark, Jeremy L. Jacob:
Protocols are programs too: the meta-heuristic search for security protocols. 891-904 - Mark Harman, Bryan F. Jones:
Software engineering using metaheuristic innovative algorithms: workshop report. 905-907
Volume 43, Number 15, December 2001
- Claes Wohlin, Martin Höst:
Special section: Controlled Experiments in Software Engineering. 921-924 - Thomas Thelin, Per Runeson, Björn Regnell:
Usage-based readingan experiment to guide reviewers with use cases. 925-938 - Magne Jørgensen, Dag I. K. Sjøberg:
Impact of effort estimates on software project work. 939-948 - Coral Calero, Mario Piattini, Marcela Genero:
Empirical validation of referential integrity metrics. 949-957 - Guus G. M. Pijpers, Theo Bemelmans, Fred J. Heemstra, Kees A. G. M. van Montfort:
Senior executives' use of information technology. 959-971 - Kassem Saleh, Abdel Aziz Boujarwah, Jehad Al-Dallal:
Anomaly detection in concurrent Java programs using dynamic data flow analysis. 973-981
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.
last updated on 2025-10-22 02:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
