10274 search results - page 190 / 2055 » Lean Software Development |
186
click to vote
FASE
2000
Springer
15 years 10 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...
159
click to vote
ENTCS
2007
15 years 6 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...
138
click to vote
BMCBI
2005
15 years 6 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...
171
click to vote
DAC
1997
ACM
15 years 10 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...
185
click to vote
JOT
2008
15 years 6 months ago
2008
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...