Search

This special collection of papers had its genesis at the IEEE Computer Society Workshop on Software Testing and Test Documentation held in Fort Lauderdale, Florida during December 18-20, 1978. This collection is devoted to selected papers on program testing that were presented at the Workshop. The thrust is towards approaches that can support the heuristic components of testing. There is increasing recognition that it is unlikely there will be a grand theory of testing which will lead to fully automated testing systems. Instead the tester will be called upon to use his intuition and problem-dependent knowledge in a discipline manner to test for a variety of specified error types. But it is crucial that this less ambitious, heuristic activity be nevertheless firmly embedded in an underlying framework which is logical, rigorous and well-understood.

The article reports on the International Conference on Software Engineering (ICSE) 2003 held in Portland, Oregon. The article discusses three papers that were selected for representing the best of ICSE 2003. The first paper "Scaling Step Wise Refinement," by D. Batory, J.N. Sarvela and A. Rauschmayer, is about development of computer software. The second paper is "Fragment Class Analysis for Testing of Polymorphism in Java Software" by A. Rountev, A. Milanova and B.C. Ryder, and the third paper is "Modular Verification of Software Components in C," by S. Chaki, F. Clarke, A. Groce, S. Jha and H. Veith. These two papers concern validation of software. The article also names some persons who devoted their time and energy in organizing ICSE 2003. The author suggests that managing the complexity of modern software systems is a grand challenge. Throughout the conference, there were exhibits, posters and informal research demonstrations as well as an onsite newsletter describing memorable moments, humor and fascinating facts.

Software pervades the growing web of computers and communications systems providing diverse services, personal, commercial, financial, public, and entertainment services. Providing timely, cost-effective, high-quality software for these diverse services requires the best possible technology and practice that the software engineering community can provide. The 1999 International Conference on Software Engineering (ICSE) was held in Los Angeles, California. Following the lead of previous ICSE conferences, the aim of ICSE held in the year 1999 was to bring together software engineering practitioners and researchers to present and discuss the most promising approaches for meeting the software challenges of the next century. The February 2001, issue of the journal IEEE Transactions on Software Engineering presents a special section with some of the best papers of the conference held in the year 1999. These papers were selected through an additional review process conducted after the conference. The ICSE '99 program committee selected a number of the best quality papers. The authors of these papers were invited to submit extended versions of their papers for consideration for journal publication.

Focuses on the agenda for the 1999 International Conference of Software Engineering in Los Angeles, California. Enhancement of the industrial presentation programs; List of participating research papers; Topics and writers for the research papers.

The article presents an introduction to the special section related to International Conference on Software Engineering (ICSE'97), published in the August 1998 issue of the journal "IEEE Transactions on Software Engineering." Authors say that ICSE was held in Boston Massachusetts, in the week of May 17-23, 1997. The main goal of the conference was to meet needs and expectations of a large variety of attendees. The program committee of the conference was involved in a comprehensive reviewing process of papers submitted. At the end of this process, three papers were selected for publication. In the first paper, "Evaluating Testing Methods by Delivered Reliability," researchers discuss a method for evaluating the effectiveness of testing, based on a measure of the program reliability after testing. The second paper "Analyzing Partially Implemented Real-Time System," presents a technique for analyzing partially-implemented real-time systems. The third paper "Communication Metrics for Software Development," discusses results of comprehensive experiment whose goal was to evaluate the effectiveness of a set of communication metrics.

The Symposium on Foundations in Software Engineering is an annual conference sponsored by Association for Computing Machinery, a computer portal and dedicated to the presentation of innovative research results contributing to an engineering discipline for software systems. This special section of the July 1998 issue of the journal IEEE Transactions on Software Engineering features three of the best papers from the fourth symposium, held in October 1996 in San Francisco, California. During its first half-decade, research results presented at this conference have covered engineering research topics. However, a number of distinguishing properties tend to characterize the best of the papers and have helped set the standards for high-quality software engineering research. The three papers in this special section illustrate these properties. One of the critical challenges for software engineering research is to find practical tools that help system builder restructure existing systems. Mark Moriconi was general chair for the symposium and deserves considerable credit for its success.

The papers appearing in this special issue of the "IEEE Transactions on Software Engineering" periodical are based on papers that originally appeared in the proceedings of the First International Conference on Data Engineering which was held in Los Angeles, California, on April 25-27, 1984. The paper by Braegger, Dudler, Rebsamen and Zehnder was selected as the best paper at the conference by the awards committee, and concerns a database tool called Gambit. This design tool is based on an extended relational/entity relationship model and assists the designer with a wide variety of subtools. The paper by Farmer, King, and Myers is also about a design tool which is called the Semantic Database Constructor (Sedaco). It is based on a semantic data model which buffers the designer from most low level data structuring issues.

The Third International Conference on Data Engineering was held in Los Angeles, California on February 2 to 6, 1987. The conference was designed as an international forum for bringing together researchers, developers, managers, strategic planners and other users with an interest in the research, design and development of data engineering methodologies, strategies and systems. Its scope includes computer science, artificial intelligence, electrical engineering, and computer engineering. It featured papers from all major areas of data engineering, including database design and modeling, performance evaluation, algorithms, integrity, security, fault tolerance, query language, artificial intelligence approaches, knowledge bases, database machines, distributed databases and data engineering applications.