2493 search results - page 235 / 499 » Tool Support for Design by Contract |
167
Voted
WSC
1998
15 years 8 months ago
1998
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...
160
click to vote
WIKIS
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
165
click to vote
MKM
2005
Springer
16 years 3 days ago
2005
Springer
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
168
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
156
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...