Inviting software and artificial intelligence into the booking process allows travelers to spend less time booking and more time enjoying their trip. Automated travel systems with customizable profiles will provide tailored itinerary suggestions based on your preferences. And, thanks to our obsessive use of mobile devices and technology for almost everything, especially in the travel industry in which customers demand rich mobile experiences, we're providing test data continuously. His accomplishments span the Internet of Things (IoT), highly distributed system development, multi-tiered web development, real-time development, and transactional software development.

MiniZinc is a solver agnostic modeling language for defining and solver combinatorial satisfaction and optimization problems. MiniZinc provides a solver independent modeling language which is now supported by constraint programming solvers, mixed integer programming solvers, SAT and SAT modulo theory solvers, and hybrid solvers. Since 2008 we have run the MiniZinc challenge every year, which compares and contrasts the different strengths of different solvers and solving technologies on a set of MiniZinc models. Here we report on what we have learnt from running the competition for 6 years.

Requirements engineering in large-scaled industrial, government, and international projects can be a highly complex process involving thousands, or even hundreds of thousands of potentially distributed stakeholders. As a result, many human intensive tasks in requirements elicitation, analysis, and management processes can be augmented and supported through the use of recommender system and machine learning techniques. In this article we describe several areas in which recommendation technologies have been applied to the requirements engineering domain, namely stakeholder identification, domain analysis, requirements elicitation, and decision support across several requirements analysis and prioritization tasks. We also highlight ongoing challenges and opportunities for applying recommender systems in the requirements engineering domain.

Applying Software Engineering to Agent Development

Celite corporation and Andersen Consulting have developed an advanced approach to traditional software development called the application software factory (ASF)." The approach is an integration of technology and total quality "management" techniques that includes the use of an expert system to guide module design and perform "module programming." The expert system component is called the knowledge-based design assistant and its inclusion in the ASF methodology" has significantly reduced module development time, training time, and module and communication errors.

A five-year project, it is aimed at promoting cooperation among research centers, developing state-of-the art training and teaching programs, and demonstrating KBCS solutions to selected socioeconomic problems.

GLISP programs are shorter and more readable than equivalent LISP programs. The object code produced by GLISP is optimized, making it about as efficient as handwritten Lisp. An integrated programming environment is provided, including automatic incremental compilation, interpretive programming features, and an intelligent display-based inspector/editor for data and data-type descriptions. GLISP code is relatively portable; the compiler and data inspector are implemented for most major dialects of LISP and are available free or at nominal cost.