2797 search results - page 257 / 560 » Code query by example |
149
Voted
SIGCSE
1991
ACM
15 years 7 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
143
click to vote
GAMEON
2008
15 years 5 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...
103
click to vote
ISIM
2007
15 years 5 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
123
Voted
FBT
1997
15 years 5 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
117
Voted
WSC
1997
15 years 5 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...