9227 search results - page 166 / 1846 » Developing Use Cases from Organizational Modeling |
135
click to vote
ECIS
2000
15 years 6 months ago
2000
This paper presents a Web-based, database-oriented set of applications, namely "Public Information" and "Electronic Voting", to support information services (ex...
128
Voted
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
127
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
157
click to vote
ENTCS
2008
15 years 5 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
118
click to vote
FLAIRS
2008
15 years 7 months ago
2008
The paper is dedicated to an analysis of the classic business rules study called UServ. The importance of this study comes from the fact, that it serves as a benchmark example for...