462 search results - page 75 / 93 » Supporting e-commerce systems formalization with choreograph... |
TSE
1998
13 years 7 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
ESWS
2004
Springer
14 years 1 months ago
2004
Springer
Publish/subscribe systems are an alternative to query based systems in cases where the same information is asked for over and over, and where clients want to get updated answers fo...
COMPSAC
2002
IEEE
14 years 25 days ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
EWSA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...