762 search results - page 90 / 153 » Performance-oriented software architecture engineering: an e... |
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
BT, as part of its Agile transformation, has widened its Agile footprint into the demand-side of its business. This is being achieved by using Agile techniques in a forum called a...
107
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Many people ask the question “Does Scrum scale?” especially those who have been scarred by Scrum done badly or those who are resistant to change. Our experience has led us to ...
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
97
Voted
TASE
2008
IEEE
15 years 14 days ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...