arXiv 2003-02-24 EN Experimental Software Schedulability Estimation For Varied Processor Frequencies Fabritius, Sampsa · Lencevicius, Raimondas · Metz, Edu · Ran, Alexander
arXiv 2003-01-28 EN Subclassing errors, OOP, and practically checkable rules to prevent them Kiselyov, Oleg
arXiv 2002-07-12 EN An Architecture for Making Object-Oriented Systems Available from Prolog Wielemaker, Jan · Anjewierden, Anjo
arXiv 2002-07-12 EN Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration Falkman, Goran · Torgersson, Olof
arXiv 2002-07-12 EN Proceedings of the 12th International Workshop on Logic Programming Environments Tessier, Alexandre
arXiv 2002-07-11 EN COINS: a constraint-based interactive solving system Ouis, Samir · Jussien, Narendra · Boizumault, Patrice
arXiv 2002-07-11 EN Value withdrawal explanations: a theoretical tool for programming environments Lesaint, Willy
arXiv 2002-07-11 EN Tracing and Explaining Execution of CLP(FD) Programs Agren, Magnus · Szeredi, Tamas · Beldiceanu, Nicolas · Carlsson, Mats
arXiv 2002-07-11 EN Declarative program development in Prolog with GUPU Neumerkel, Ulrich · Kral, Stefan
arXiv 2002-07-11 EN CLPGUI: a generic graphical user interface for constraint logic programming over finite domains Fages, Francois
arXiv 2002-06-14 EN The analysis of the IFPUG method sensitivity Monge, R. Asensio · Marco, F. Sanchis · Cervigon, F. Torre
arXiv 2002-04-15 EN Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems Kiniry, Joseph R.
arXiv 2002-04-15 EN Semantic Properties for Lightweight Specification in Knowledgeable Development Environments Kiniry, Joseph R.
arXiv 2002-04-09 EN An Assessment of the Consistency for Software Measurement Methods Monge, R. Asensio · Marco, F. Sanchis · Cervigon, F. Torre
arXiv 2002-02-18 EN BSML: A Binding Schema Markup Language for Data Interchange in Problem Solving Environments (PSEs) Verstak, Alex · Ramakrishnan, Naren · Watson, Layne T. · He, Jian +5
arXiv 2002-02-04 EN A Refinement Calculus for Logic Programs Hayes, Ian · Colvin, Robert · Hemer, David · Strooper, Paul +1
arXiv 2002-01-30 EN Software Validation using Power Profiles Lencevicius, Raimondas · Metz, Edu · Ran, Alexander
