25189 search results - page 55 / 5038 » Information Systems Frontiers |
63
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
ITP
2008
15 years 1 months ago
2008
Purpose
100
Voted
ITP
2006
15 years 1 months ago
2006
Purpose
106
click to vote
ICFEM
2010
Springer
15 years 14 hour ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...