Sciweavers

1158 search results - page 1 / 232
» Software is discrete mathematics
Sort
View
ICFP
2003
ACM
14 years 4 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 6 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
CCE
2011
12 years 8 months ago
Time representations and mathematical models for process scheduling problems
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
Sylvain Mouret, Ignacio E. Grossmann, Pierre Pesti...
ICFEM
1998
Springer
13 years 9 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony