7961 search results - page 252 / 1593 » Input-Output Model Programs |
151
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
115
click to vote
VL
2009
IEEE
15 years 10 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
169
click to vote
CGVR
2008
15 years 5 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
136
Voted
FLAIRS
2004
15 years 5 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
135
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...