1121 search results - page 145 / 225 » Building Formal Requirements Models for Reliable Software |
146
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
141
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
145
Voted
JPDC
2000
15 years 4 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
158
click to vote
LOBJET
2000
15 years 4 months ago
2000
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
128
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...