1937 search results - page 86 / 388 » Starting B Specifications from Use Cases |
131
click to vote
JFP
2002
15 years 4 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
146
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
134
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
This paper is based on our exploratory study of a South Indian village in Chamrajanagar district of Karnataka. The study was to understand the rural communication environment and ...
133
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Efforts to predict functional sites from globular proteins is increasingly common; however, the most successful of these methods generally require structural insight. ...
133
click to vote
IADIS
2003
15 years 5 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...