803 search results - page 100 / 161 » Building Formal Models for Software Requirements |
112
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
145
click to vote
APSEC
2005
IEEE
15 years 9 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...
139
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...
154
click to vote
LOBJET
2000
15 years 3 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...
127
click to vote
SIGSOFT
2004
ACM
16 years 4 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...