Foundations and Applications of MIS: A Model Theory Approach (Google eBook)
Springer Science & Business Media, Oct 8, 2007 - Computers - 376 pages
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.
action name ActionName adaptive layer Appendix assign atomic formula atomic process attr attribute name AttrName automaton backtracking BMIS Chapter class schedule problem clause client Cname computer-acceptable set theory connection connection connection constraint data mining data mining system data set database decision tree defined Definition die(X element example execution external UI extProlog extSLV Figure file system formal formula free monoid func genA genA(c given goal goal-seeker Herbrand Herbrand interpretation implementation structure input Input-Output Block Diagram knapsack problem language limbo node Mesarovic model theory approach nodeData nodeStr object OODB operation otherwise output function Paralist parameter predicate problem specification environment problem-solving layer problem-solving system Prolog realization regulation problem relation representation represented Section selected shown in Fig shows solver solving activity SQL command stopping condition subroutine systems development Takahara target Theorem transition function traveling salesman problem true user model variable
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.