4241 search results - page 69 / 849 » A Knowledge-Based Software Information System |
100
click to vote
ICFEM
2010
Springer
14 years 11 months 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...
106
click to vote
MSR
2009
ACM
15 years 7 months ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...
117
click to vote
EPK
2004
15 years 1 months ago
2004
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
99
Voted
IUI
2004
ACM
15 years 6 months ago
2004
ACM
In this article, we describe the intrinsic constraints of mobility and discuss how we can work around and often exploit these constraints using information implied by the context ...
97
Voted
CSCWD
2007
Springer
15 years 2 months ago
2007
Springer
The difficult business reality today makes enterprises more and more resort to information technology to manage nearly everything within the enterprises and to conduct business ac...