4290 search results - page 309 / 858 » Formal Approaches to Teamwork |
155
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
187
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
193
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
161
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
185
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...