4258 search results - page 385 / 852 » Languages and Interactive Software Development |
165
Voted
SERP
2003
15 years 7 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
172
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The rapid publication of important research in the biomedical literature makes it increasingly difficult for researchers to keep current with significant work in their...
167
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
170
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
144
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...