Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.

Computer science --- 681.3*F0 --- 681.3*G2 --- 681.3*K2 --- Computerwetenschap--?*F0 --- Discrete mathematics (Mathematics of computing) --- History of computing: hardware; people; software; systems; theory --- Machine theory. --- Computational complexity. --- 681.3*K2 History of computing: hardware; people; software; systems; theory --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- Information theory. --- Computer science. --- Theory of Computation. --- Computation by Abstract Devices. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

Computer science --- 681.3*H2 --- 681.3*D3 --- 681.3*F --- 681.3*I1 --- 681.3*I2 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Programming languages --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*D3 Programming languages --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Computer science. --- Logic design. --- Combinatorics. --- Computer System Implementation. --- Mathematical Logic and Foundations. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

681.3*H2 --- Computer science --- -Logic, Symbolic and mathematical --- -681.3*D3 --- 681.3*G2 --- 681.3*I2 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Database management: security; integrity; protection--See also {?681.5*E5} --- Congresses --- Programming languages --- Discrete mathematics (Mathematics of computing) --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*D3 Programming languages --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Logic, Symbolic and mathematical --- 681.3*D3 --- Logic [Symbolic and mathematical ] --- Computer science - Congresses. --- Logic, Symbolic and mathematical - Congresses. --- Logic, Symbolic and mathematical. --- Mathematics. --- Information theory. --- Logic design. --- Computer science. --- Computer software. --- Mathematical Logic and Foundations. --- Applications of Mathematics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Math

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book’s website at http://modelingbook.informatik.uni-ulm.de.

Computer software --- Mathematical models. --- Computer science. --- Management information systems. --- Industrial management. --- Software engineering. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Business Process Management. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Business administration --- Business enterprises --- Business management --- Corporate management --- Corporations --- Industrial administration --- Management, Industrial --- Rationalization of industry --- Scientific management --- Management --- Business --- Industrial organization --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Informatics --- Science --- Communication systems --- Software, Computer --- Computer systems