510 search results - page 24 / 102 » An IDE for software development using tabular expressions |
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
92
Voted
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
115
click to vote
RECOMB
2004
Springer
15 years 9 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...