10274 search results - page 426 / 2055 » Lean Software Development |
243
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
193
click to vote
IJSC
2008
15 years 7 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
213
click to vote
RE
2002
Springer
15 years 7 months ago
2002
Springer
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, inste...
210
click to vote
ICST
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
185
click to vote
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...