Sciweavers

91 search results - page 1 / 19
» An alternative theory of legacy information systems
Sort
View
ECIS
2003
13 years 7 months ago
An alternative theory of legacy information systems
Organisational dependence upon IT continues to grow yet experiences of satisfaction vary widely. Problematic, aged IT is often cited as being a fundamental problem in this respect...
Ben Light
HICSS
1999
IEEE
78views Biometrics» more  HICSS 1999»
13 years 9 months ago
A Structured Transformation Approach for Legacy Information Systems - A Cash Receipts/Reimbursements Example
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...
Jia-Lang Seng, Wayne Tsai
ECIS
2003
13 years 7 months ago
Application of the theory of organized activity to the coordination of social information systems
Co-ordination is seen as a fundamental aspect of organisational activity where computers can help. This is motivated by the need to reconcile the conflicts that arise from the div...
José A. Moinhos Cordeiro, Joaquim Filipe
CSMR
2000
IEEE
13 years 10 months ago
Architectural Design Recovery using Data Mining Techniques
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
Kamran Sartipi, Kostas Kontogiannis, Farhad Mavadd...
CADE
2007
Springer
14 years 5 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli