arXiv 2002-01-26 EN Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems Blotz, Andree · Huber, Franz · Loetzbeyer, Heiko · Pretschner, Alexander +2
arXiv 2001-11-19 EN HyperPro An integrated documentation environment for CLP Ed-Dbali, AbdelAli · Deransart, Pierre · Bigonha, Mariza A. S. · de Siqueira, Jose +1
arXiv 2001-11-16 EN Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment Langevine, Ludovic · Deransart, Pierre · Ducasse, Mireille · Jahier, Erwan
arXiv 2001-11-16 EN Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01) Kusalik, Anthony
arXiv 2001-11-16 EN The Overview of the National Ignition Facility Distributed Computer Control System Lagin, L. J. · Bettenhausen, R. C. · Carey, R. A. · Estes, C. M. +5
arXiv 2001-11-15 EN Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio Bracchi, Christiane · Gefflot, Christophe · Paulin, Frederic
arXiv 2001-11-15 EN On the Design of a Tool for Supporting the Construction of Logic Programs Ospina, Gustavo A. · Charlier, Baudouin Le
arXiv 2001-11-14 EN User-friendly explanations for constraint programming Jussien, Narendra · Ouis, Samir
arXiv 2001-11-14 EN An Integrated Development Environment for Declarative Multi-Paradigm Programming Hanus, Michael · Koj, Johannes
arXiv 2001-11-12 EN Data Access - Experiences Implementing an Object Oriented Library on Various Platforms Lange, R. · Hill, J.
arXiv 2001-11-09 EN System Integration of High Level Applications during the Commissioning of the Swiss Light Source Luedeke, A.
arXiv 2001-11-08 EN Application of digital regulated Power Supplies for Magnet Control at the Swiss Light Source Luedeke, A.
arXiv 2001-11-07 EN Application Software Structure Enables Nif Operations Kirby W. Fong Fong, Kirby W. · Estes, Christopher M. · Fisher, John M. · Shelton, Randy T.
arXiv 2001-11-02 EN Automated Real-Time Testing (ARTT) for Embedded Control Systems (ECS) Hawkins, Jon · Nguyen, Haung V. · Howard, Reginald B.
