7209 search results - page 880 / 1442 » Software Engineering for Multi-Agent Systems |
121
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
124
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses a group coordination architecture to support Internet-wide distributed collaboration in the context of legacy Internet protocols. Group coordination in distri...
151
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
160
click to vote
ECMDAFA
2009
Springer
15 years 2 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
140
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...