{'fraction_non_alphanumeric': 0.020701309674693705, 'fraction_numerical': 0.0033798056611744824, 'mean_word_length': 5.523415977961433, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)

One of the basic problems in the history of computer science, and more recently of software engineering, is to ensure reliability and correctness of the systems produced. Hence, verification and validation issues have been, are, and will be a great concern for the community. In particular, the area of ‘enterprise information systems’ (EISs) is continuously pushing ahead the complexity of the systems involved, uncovering fresh challenges as new application domains are considered and new technologies are combined or created. Developing systems in the area of EISs involves dealing with considerable difficulties such as distributed systems, interaction via synchronous or asynchronous communication, consistency of data, as well as security and performance issues. After several decades of sustained effort, verification and validation techniques are now available to industry and business related developers, not just in theory, but also through real tools that can be incorporated into the development cycle. The problems are still numerous though, as systems grow and new technologies are considered. Having in mind that EISs are a continuous source of interesting challenges for the verification and validation community, we established a workshop that is to be organized annually as one of the satellite events of the International Conference on Enterprise Information Systems (ICEIS). It is the aim of this workshop to stimulate the exchange of ideas/experiences of practitioners, researchers and engineers working in the area of validating/verifying software for EISs. Since one of the aims of the workshop is to stimulate dialogue between people working in the area from different perspectives, a wide range of contributions are welcomed, both practical and theoretical papers, including case studies, from all areas related to increasing confidence in the correctness of EIS software. This covers a diverse range of topics, including: verification, for example through model checking, as well as system validation and testing. The first edition of the workshop was held in April 2003 at Angers, France, where a variety of presentations covered theoretical and practical issues. We selected three articles that reflect that variety.