NDLI: The role of logic and AI in the software enterprise (panel session): panel description

Content Provider	ACM Digital Library
Editor	Balzer, Robert
Abstract	This session is intended to act as a bridge between the current conference and the next. This conference identifies the need to expand the realm of Software Engineering beyond the products of development (code and documentation) to include the process by which those products were obtained (the development activity itself). It makes the development process another product of the software enterprise.This is an important first step in treating the software process as a product, but it is clear that we can't progress beyond the current methodology-based “good-practices” without formalizing this product. This formalization is required to precisely represent and reason about the process, and to construct tools that automate, or verify the quality, of portions of that process. This formalization and automation of the software process is the theme of the next conference.Two technologies, Logic and Al, are particularly relevant to this formalization and automation task. Professor Vlad Turski will represent the logic point of view, and Professor Gerald Sussman will represent the Al point of view. They will address the following questions:What are the respective roles of Logic and Al in the software enterprise?What phenomena needs to be represented?How will it be reasoned about?How do these technologies differ in what they can represent.How do they differ in the way they are used?Beyond these questions of the technical adequacy of these formalisms, there is the issue of how the human programmers, managers, and users will contend with these formalisms. Professor Alan Perlis will represent this human element in the software enterprise.
Starting Page	394
Ending Page	394
Page Count	1
File Format	PDF
ISBN	0818606207
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1985-08-01
Access Restriction	Subscribed
Content Type	Text

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