Volume 45,
Number 1,
1 January 2003
- Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
Fault-based testing without the need of oracles.
1-9 BibTeX
- Chiyoung Seo, Sang-Won Lee, Hyoung-Joo Kim:
An efficient inverted index technique for XML documents using RDBMS.
11-22 BibTeX
- Alexandros Nanopoulos, Maciej Zakrzewicz, Tadeusz Morzy, Yannis Manolopoulos:
Efficient storage and querying of sequential patterns in database systems.
23-34 BibTeX
- Huan Zhou, Yulin Feng, Jing Li:
Probability graph based data hoarding for mobile environment.
35-41 BibTeX
- Hikaru Fujiwara, Shinji Kusumoto, Katsuro Inoue, Ayane Suzuki, Toshifusa Ootsubo, Katsuhiko Yuura:
Case studies to evaluate a domain specific application framework based on complexity and functionality metrics.
43-49 BibTeX
- Ioannis Stamelos, Lefteris Angelis, P. Dimou, E. Sakellaris:
On the use of Bayesian belief networks for the prediction of software productivity.
51-60 BibTeX
Volume 45,
Number 2,
1 February 2003
Volume 45,
Number 3,
1 March 2003
Volume 45,
Number 4,
15 March 2003
Volume 45,
Number 5,
1 April 2003
- Ignacio Aedo, Paloma Díaz, Susana Montero:
A methodological approach for hypermedia security modeling.
229-239
Electronic Edition (link) BibTeX
- Jongik Kim, Hyoung-Joo Kim:
Efficient processing of regular path joins using PID.
241-251
Electronic Edition (link) BibTeX
- Qingping Lin, Chor Ping Low, Jim Mee Ng, Juan Bu, Xiaohua Liu:
Multiuser collaborative work in virtual environment based CASE tool.
253-267
Electronic Edition (link) BibTeX
- Petros Kefalas, George Eleftherakis, Evangelos Kehris:
Communicating X-machines: a practical approach for formal and modular specification of large systems.
269-280
Electronic Edition (link) BibTeX
- Neil McBride:
A viewpoint on software engineering and information systems: integrating the disciplines.
281-287
Electronic Edition (link) BibTeX
- Christopher J. Atkinson, David E. Avison, David Wilson:
Architectural images of computer-based information systems development: A response to "A viewpoint of software engineering and information systems: integrating the disciplines".
289-291
Electronic Edition (link) BibTeX
Volume 45,
Number 6,
15 April 2003
Volume 45,
Number 7,
1 May 2003
Volume 45,
Number 8,
1 June 2003
- Gerald Post, Albert Kagan:
Computer security and operating system updates.
461-467
Electronic Edition (link) BibTeX
- John Lim:
A conceptual framework on the adoption of negotiation support systems.
469-477
Electronic Edition (link) BibTeX
- Incheon Paik, Tongwon Han, Dongik Oh, Sangho Ha, Donggue Park:
An affiliated search system for an electronic commerce and software component architecture.
479-497
Electronic Edition (link) BibTeX
- G. B. Mund, Rajib Mall, S. Sarkar:
Computation of intraprocedural dynamic program slices.
499-512
Electronic Edition (link) BibTeX
- Wesley S. Shu, C. Sophie Lee:
Beyond productivity--productivity and the three types of efficiencies of information technology industries.
513-524
Electronic Edition (link) BibTeX
- Jane Coughlan, Mark Lycett, Robert D. Macredie:
Communication issues in requirements elicitation: a content analysis of stakeholder experiences.
525-537
Electronic Edition (link) BibTeX
- Jitender Kumar Chhabra, K. K. Aggarwal, Yogesh Singh:
Code and data spatial complexity: two important software understandability measures.
539-546
Electronic Edition (link) BibTeX
Volume 45,
Number 9,
15 June 2003
- Sungchae Lim, Myoung-Ho Kim:
Real-time disk scanning for timely retrieval of continuous media objects.
547-558
Electronic Edition (link) BibTeX
- Jameson Mbale, Xiaofei Xu, Shengchun Deng:
Global intelligence benevolent builder (GIBB): a system automating integration of heterogeneous classical databases and web.
559-570
Electronic Edition (link) BibTeX
- Giedre Sabaliauskaite, Fumikazu Matsukawa, Shinji Kusumoto, Katsuro Inoue:
Further investigations of reading techniques for object-oriented design inspection.
571-585
Electronic Edition (link) BibTeX
- Subhash Bhalla:
Evolving a model of transaction management with embedded concurrency control for mobile database systems.
587-596
Electronic Edition (link) BibTeX
- Jiang Guo:
Software reuse through re-engineering the legacy systems.
597-609
Electronic Edition (link) BibTeX
- Baomin Xu, Weimin Lian, Qiang Gao:
Migration of active objects in proactive.
611-618
Electronic Edition (link) BibTeX
- Domenico Cotroneo, Antonino Mazzeo, Luigi Romano, Stefano Russo:
An architecture for security-oriented perfective maintenance of legacy software.
619-631
Electronic Edition (link) BibTeX
Volume 45,
Number 10,
15 July 2003
Volume 45,
Number 11,
August 2003
- Rachida Dssouli, Ferhat Khendek:
Preface.
699
Electronic Edition (link) BibTeX
- Loïc Hélouët:
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol.
701-714
Electronic Edition (link) BibTeX
- Aziz Salah, Rachida Dssouli, Guy Lapalme:
Implicit integration of scenarios into a reduced timed automaton.
715-725
Electronic Edition (link) BibTeX
- Reinhard Gotzhein:
Consolidating and applying the SDL-pattern approach: a detailed case study.
727-741
Electronic Edition (link) BibTeX
- Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng:
A rigorous approach for constructing self-evolving real-time reactive systems.
743-761
Electronic Edition (link) BibTeX
- Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa:
Formal verification and validation for e-commerce: theory and best practices.
763-777
Electronic Edition (link) BibTeX
- John Mullins, Stéphane Lafrance:
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.
779-790
Electronic Edition (link) BibTeX
Volume 45,
Number 12,
15 September 2003
- Rachida Dssouli, Ferhat Khendek:
Preface.
791-792
Electronic Edition (link) BibTeX
- Robert M. Hierons, Hasan Ural:
UIO sequence based checking sequences for distributed test architectures.
793-803
Electronic Edition (link) BibTeX
- Claude Jard:
Synthesis of distributed testers from true-concurrency models of reactive systems.
805-814
Electronic Edition (link) BibTeX
- M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi:
Experience in developing and testing network protocol software using FDTs.
815-835
Electronic Edition (link) BibTeX
- Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko:
New approaches for passive testing using an Extended Finite State Machine specification.
837-852
Electronic Edition (link) BibTeX
- Ahmed Khoumsi:
Testing distributed real-time systems in the presence of inaccurate clock synchronizations.
853-864
Electronic Edition (link) BibTeX
- Dong Wang, Ruibing Hao, David Lee:
Fault detection in Rule-based Software systems.
865-871
Electronic Edition (link) BibTeX
- Purnendu Sinha, Da Qi Ren:
Formal verification of dependable distributed protocols.
873-888
Electronic Edition (link) BibTeX
Volume 45,
Number 13,
October 2003
Volume 45,
Number 14,
1 November 2003
- Camille Salinesi, Björn Regnell:
Eighth International Workshop on Requirements Engineering--Foundation for Software Quality (REFSQ'02).
941-943
Electronic Edition (link) BibTeX
- Aybüke Aurum, Claes Wohlin:
The fundamental nature of requirements engineering activities as a decision-making process.
945-954
Electronic Edition (link) BibTeX
- Erik Kamsties, Antje von Knethen, Ralf Reussner:
A controlled experiment to evaluate how styles affect the understandability of requirements specifications.
955-965
Electronic Edition (link) BibTeX
- Annie I. Antón, Julia Brande Earp, Ryan A. Carter:
Precluding incongruous behavior by aligning software requirements with security and privacy policies.
967-977
Electronic Edition (link) BibTeX
- Robert Crook, Darrel C. Ince, Bashar Nuseibeh:
Modelling access policies using roles in requirements engineering.
979-991
Electronic Edition (link) BibTeX
- Didar Zowghi, Vincenzo Gervasi:
On the interplay between consistency, completeness, and correctness in requirements evolution.
993-1009
Electronic Edition (link) BibTeX
Volume 45,
Number 15,
1 December 2003
- Stewart Green, Ian Beeson, Jin Sa:
Special issue on modelling organisational processes.
1011-1013
Electronic Edition (link) BibTeX
- Ann Lindsay, Denise Downs, Ken Lunn:
Business processes--attempts to find a definition.
1015-1019
Electronic Edition (link) BibTeX
- Bob Snowdon, Peter Kawalek:
Active meta-process models: a conceptual exposition.
1021-1029
Electronic Edition (link) BibTeX
- Chris Wallace:
Using Alloy in process modelling.
1031-1043
Electronic Edition (link) BibTeX
- Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaarama:
Traceability in requirements through process modelling, applied to social care applications.
1045-1052
Electronic Edition (link) BibTeX
- Mohammed Odeh, Richard Kamm:
Bridging the gap between business models and system models.
1053-1060
Electronic Edition (link) BibTeX
- Giacomo Piccinelli, Anthony Finkelstein, Tommaso Costa:
Flexible B2B processes: the answer is in the nodes.
1061-1063
Electronic Edition (link) BibTeX
- Howard Smith:
Business process management--the third wave: business process modelling language (bpml) and its pi-calculus foundations.
1065-1069
Electronic Edition (link) BibTeX
- Martyn A. Ould:
Preconditions for putting processes back in the hands of their actors.
1071-1074
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:03:42 2009
by Michael Ley (ley@uni-trier.de)