1401 search results - page 173 / 281 » Tool Integration for Reasoned Programming |
110
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
CIA
2000
Springer
15 years 5 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
98
Voted
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
121
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
104
Voted
BIB
2008
15 years 1 months ago
2008
Short tandem repeats, specifically microsatellites, are widely used genetic markers, associated with human genetic diseases, and play an important role in various regulatory mecha...