1158 search results - page 16 / 232 » Software is discrete mathematics |
IEE
2008
13 years 7 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
CCO
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
KI
2006
Springer
13 years 7 months ago
2006
Springer
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
JSW
2006
13 years 7 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...