10274 search results - page 444 / 2055 » Lean Software Development |
198
click to vote
JBCS
2002
15 years 7 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
201
click to vote
INFSOF
2010
15 years 6 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
204
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
199
click to vote
KBSE
1998
IEEE
15 years 12 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
235
click to vote
IASTEDSEA
2004
15 years 9 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...