NDLI: Though this be madness, yet there is method in it? (Keynote)

Please wait, while we are loading the content...

Though this be madness, yet there is method in it? (Keynote)

Content Provider	IEEE Xplore Digital Library
Author	Wassyng, A.
Copyright Year	2013
Description	Author affiliation: McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada (Wassyng, A.)
Abstract	After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software development. Industry practitioners believe that the methods and tools coming out of academia are, to a large extent, irrelevant and ineffective in tackling real-life projects. They are difficult to use, esoteric, and do not scale (at all). This paper reflects more than twenty years spent in first experiencing the problems in industry, and then struggling to do something about it in academia. We present some examples of formal method madness/blindness, as well as a few successes. We believe the problem is deep. To start to address it and make progress in producing methods that are truly usable in industry, and rigorous enough to make them effective engineering methods, we need to reconsider the role of computer scientists, software engineers, software developers, as well as the hurdles to promotion for academics. Along the way, the paper will present a few fundamental principles that we think spell the difference between success and failure in producing usable formal methods, and convincing software professionals in industry to adopt them.
Starting Page	1
Ending Page	7
File Size	674332
Page Count	7
File Format	PDF
ISBN	9781467362924
DOI	10.1109/FormaliSE.2013.6612270
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-05-25
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Industries Computer science Computers Communities Software Mathematics Software engineering
Content Type	Text
Resource Type	Article

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

Towards a Dynamic Approach to the Individual Differences ＂Though This Be Madness, Yet There Is Method in It＂

Stach from Warta Szukalski and the Tribe of the Horned Heart: though this be madness, yet is there method in it / Agnieszka Gajda.

“Though this be madness, yet there is method in’t:” Madness as Duality and Loss of Self in the Plays of William Shakespeare

« ‘Though this be madness, yet there is method in’t’: John Wesley and Emanuel Swedenborg »

‘Though this be method, yet there is madness in’t’: Cutting Ovid’s tongue in recent stage and film performances of Titus Andronicus

Stach from Warta Szukalski and the Tribe of the Horned Heart: though this be madness, yet is there method in it

Though This Be Madness ... ? The Boal Method of Theatre and Therapy

IS THERE A METHOD IN THIS MADNESS?

Intensive international Summer Schools in Global Distributed Software Development

Though this be madness, yet there is method in it? (Keynote)

Similar Documents

Towards a Dynamic Approach to the Individual Differences ＂Though This Be Madness, Yet There Is Method in It＂

Stach from Warta Szukalski and the Tribe of the Horned Heart: though this be madness, yet is there method in it / Agnieszka Gajda.

“Though this be madness, yet there is method in’t:” Madness as Duality and Loss of Self in the Plays of William Shakespeare

« ‘Though this be madness, yet there is method in’t’: John Wesley and Emanuel Swedenborg »

‘Though this be method, yet there is madness in’t’: Cutting Ovid’s tongue in recent stage and film performances of Titus Andronicus

Stach from Warta Szukalski and the Tribe of the Horned Heart: though this be madness, yet is there method in it

Though This Be Madness ... ? The Boal Method of Theatre and Therapy

IS THERE A METHOD IN THIS MADNESS?

Intensive international Summer Schools in Global Distributed Software Development

Though this be madness, yet there is method in it? (Keynote)