10379 search results - page 191 / 2076 » The Chaos of Software Development |
106
click to vote
XPU
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
150
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
109
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The large amount of data that are currently produced in the biological sciences can no longer be explored and visualized efficiently with traditional, specialized soft...
139
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...