Choose an application

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

This handbook explores the salient perspectives of dominant schools of logical thought in ancient, medieval, and early modern India, and the relationship between logic and other disciplines in India. It also discusses the contribution of Indian logicians to contemporary developments in mathematics and computer science. The study of Indian logic is important for many reasons. The fundamental themes of Indian logical traditions differ in important ways from those of Greek and later European traditions. These include the empirical nature of Indian logic, lack of clear demarcation between logic and epistemology, emphasis on invariable concomitance, description of logical processes as cognitive processes, a complex description of methods of debate that are essential to logical analysis, and the use of logic in fields ranging from linguistics, medicine and theology. This handbook therefore highlights the major developments in Indian logic through the centuries and points to future directions of development from these strands.

Logic. --- Philosophy, Asian. --- Computer logic. --- Non-Western Philosophy. --- Logics and Meanings of Programs.

Choose an application

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

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Software engineering. --- Computer logic. --- Programming languages (Electronic computers). --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters.

Choose an application

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

Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund. Der Inhalt: Motivation von formalen Modellen – Model Checking mit Promela und Spin – Timed Automata – Petrinetze – Semantik und Verifikation sequenzieller und paralleler Programme Die Zielgruppe: - Informatik-Studierende ab 4. Semester - Studierende in Informatik-orientierten Master-Studiengängen - Entwickler kritischer Software-Systeme - An Qualitätssicherung Interessierte Der Autor: Prof. Dr. Stephan Kleuker hat im Themengebiet "formale Methoden" promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.

Computer logic. --- Software engineering. --- Logics and Meanings of Programs. --- Software Engineering. --- Software Engineering/Programming and Operating Systems.

Choose an application

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

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Software engineering. --- Computer logic. --- Programming languages (Electronic computers). --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters.

Choose an application

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

Programming --- 681.3*A0 --- 681.3*D1 --- 681.3*F3 --- General --- Programming techniques--See also {681.3*E} --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*A0 General --- Logic design. --- Computer science. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory