1098 search results - page 86 / 220 » Combining Models for Business Decisions and Software Develop... |
125
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
135
click to vote
WER
2001
Springer
15 years 8 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
148
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
133
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
180
click to vote
TCGOV
2005
Springer
15 years 9 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...