510 search results - page 45 / 102 » An IDE for software development using tabular expressions |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
106
click to vote
DIAGRAMS
2004
Springer
15 years 3 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
109
click to vote
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Expressed sequence tags, abbreviated ESTs, are DNA fragments experimentally derived from expressed portions of genes. Clustering of ESTs is essential for gene recognition and unde...
116
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...