2836 search results - page 258 / 568 » Model Checking for Software Architectures |
142
click to vote
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
136
click to vote
ECAIW
1994
Springer
15 years 8 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
129
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
150
click to vote
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
140
click to vote
WSE
2006
IEEE
15 years 10 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...