论文信息 - Constraint programming

Constraint programming

1. Integrating research findings in software reliability engineering and software measurement to assess and improve software quality and reliability over extended development phases and application domains. 2. Developing analysis techniques and tools to effectively analyze early measurement data. 3. Practical implementation of this integrated approach and adaptation of it to a wide variety of software development environments in collaboration with our industrial partners.

Pascal Van Hentenryck

[1] Jeff Tian. Measurement and continuous improvement of software reliability throughout software life-cycle , 1999, J. Syst. Softw..

[2] Pascal Van Hentenryck,et al. Strategic directions in constraint programming , 1996, CSUR.

[3] Pascal Van Hentenryck,et al. Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.

[4] David A. McAllester,et al. Solving Polynomial Systems Using a Branch and Prune Approach , 1997 .

[5] Pascal Van Hentenryck. The OPL optimization programming language , 1999 .

[6] Pascal Van Hentenryck,et al. Localizer: A Modeling Language for Local Search , 1999, INFORMS J. Comput..

[7] Jeff Tian,et al. A comparison of measurement and defect characteristics of new and legacy software systems , 1998, J. Syst. Softw..

[8] Pascal Van Hentenryck,et al. Newton - Constraint Programming over Nonlinear Constraints , 1998, Sci. Comput. Program..

[9] Pascal Van Hentenryck,et al. Numerica: A Modeling Language for Global Optimization , 1997, IJCAI.