Foundations and Applications of MIS: A Model Theory Approach (Google eBook)

Front Cover
Springer Science & Business Media, Oct 8, 2007 - Computers - 376 pages
0 Reviews
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

II
3
IV
5
V
12
VI
17
VII
18
VIII
22
X
24
XI
25
LXXIV
160
LXXV
164
LXXVI
165
LXXVII
166
LXXVIII
169
LXXIX
174
LXXX
176
LXXXII
182

XII
27
XIII
29
XIV
30
XV
34
XVI
36
XVII
39
XIX
43
XXI
45
XXII
52
XXIII
53
XXIV
59
XXVI
60
XXVII
67
XXIX
73
XXX
74
XXXI
75
XXXII
78
XXXIV
83
XXXV
86
XXXVI
91
XXXVII
99
XXXVIII
102
XXXIX
106
XLIII
107
XLVI
108
XLIX
111
LII
117
LIII
118
LIV
119
LV
127
LVII
129
LVIII
133
LIX
135
LX
136
LXI
137
LXII
138
LXIII
145
LXIV
146
LXV
149
LXVI
150
LXVII
152
LXX
156
LXXIII
159
LXXXIII
184
LXXXIV
195
LXXXV
196
LXXXVI
198
LXXXVII
207
LXXXVIII
210
LXXXIX
213
XC
225
XCI
226
XCII
230
XCIII
233
XCIV
235
XCV
236
XCVI
238
XCVII
243
XCVIII
245
XCIX
250
C
256
CI
258
CII
260
CIII
262
CIV
267
CV
269
CVI
273
CVII
276
CVIII
282
CIX
287
CX
288
CXI
293
CXII
297
CXIII
310
CXIV
315
CXV
319
CXVI
325
CXVII
327
CXVIII
330
CXIX
332
CXX
335
CXXI
340
CXXII
341
CXXIV
342
CXXV
355
Copyright

Common terms and phrases

Popular passages

Page i - Conversations on Epistemology and Ethics Heinz von Foerster and Bernhard Poerksen Volume 18 CREATING INTERNET INTELLIGENCE: Wild Computing, Distributed Digital Consciousness, and the Emerging Global Brain Ben Goertzel Volume 19 FLEXIBLE ROBOT DYNAMICS AND CONTROLS Rush D. Robinett, III, Clark R. Dohrmann, G. Richard Eisler, John T. Feddema, Gordon G. Parker, David G. Wilson, and Dennis Stokes Volume 20 FUZZY RELATIONAL SYSTEMS: Foundations and Principles Radim Belohlavek Volume 21 ARCHITECTURE OF...
Page i - ... International Federation for Systems Research International Series on Systems Science and Engineering Series Editor: George J. Klir State University of New York at Binghamton Editorial Board Gerrit Broekstra Erasmus University, Rotterdam, The Netherlands John L. Casti Santa Fe Institute, New Mexico Brian Gaines University of Calgary, Canada Ivan M. Havel Charles University, Prague, Czech Republic Manfred Peschel Academy of Sciences, Berlin, Germany Franz Pichler University of...
Page i - to stimulate all activities associated with the scientific study of systems and to coordinate such activities at international level." The aim of this series is to stimulate publication of high-quality monographs and textbooks on various topics of systems science and engineering. This series complements the Federation's other publications. A Continuation Order Plan is available for this series.
Page vii - Japan). The authors would like to express their gratitude to all the...