2127 search results - page 127 / 426 » Software Automation |
207
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
137
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
186
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
129
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
166
click to vote
COR
2008
15 years 6 months ago
2008
In the past five years there has been a dramatic increase in work on Search Based Software Engineering (SBSE), an approach to software engineering in which search based optimisatio...