1086 search results - page 16 / 218 » Programming by Numbers: A Programming Method for Novices |
104
Voted
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
103
click to vote
SDE
1991
15 years 5 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
111
Voted
TFM
2004
Springer
15 years 7 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
122
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
182
click to vote
ECOOP
1992
Springer
15 years 6 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...