NDLI: Speed Up the Conception of Logical Systems with Test-Driven Development

Content Provider	Springer Nature Link
Author	Vidal, Mathieu
Copyright Year	2013
Abstract	In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software.
Starting Page	83
Ending Page	103
Page Count	21
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	23
Issue Number	1
e-ISSN	15729583
Language	English
Publisher	Springer Netherlands
Publisher Date	2013-11-13
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Methodology Test-driven development Applied logic Empirical logic Logic engineering Logic Semantics Information Systems Applications (incl. Internet)
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Logical Geometries and Information in the Square of Oppositions

Strategic Reasoning: Building Cognitive Models from Logical Formulas

Interpreting Probability

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Natural Language Inference in Coq

A Note on Intensionalization

The Dynamification of Modal Dependence Logic

Formal Models of Awareness

Support and Sets of Situations

Speed Up the Conception of Logical Systems with Test-Driven Development

Similar Documents

Logical Geometries and Information in the Square of Oppositions

Strategic Reasoning: Building Cognitive Models from Logical Formulas

Interpreting Probability

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Natural Language Inference in Coq

A Note on Intensionalization

The Dynamification of Modal Dependence Logic

Formal Models of Awareness

Support and Sets of Situations

Speed Up the Conception of Logical Systems with Test-Driven Development