Programming vs. That Thing Subject Matter Experts Do

Allowing subject matter experts to directly contribute their domain knowledge and expertise to software through DSLs and automation is a promising way to increase overall software development efficiency and the quality of the product. However, there are doubts of whether this will force subject matt...

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation Vol. 13036; pp. 414 - 425
Main Author Voelter, Markus
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Domain specific language
End-user programming
Language engineering
Online AccessGet full text
ISBN3030891585
9783030891589
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-89159-6_26

Cover

Abstract Allowing subject matter experts to directly contribute their domain knowledge and expertise to software through DSLs and automation is a promising way to increase overall software development efficiency and the quality of the product. However, there are doubts of whether this will force subject matter experts to become programmers. In this paper I answer this question with “no”. But at the same time, subject matter experts have to learn how to communicate clearly and unambiguously to a computer, and this requires some aspects of what is traditionally called programming. The main part of this paper discusses what these aspects are and why learning these does not make people programmers.
AbstractList Allowing subject matter experts to directly contribute their domain knowledge and expertise to software through DSLs and automation is a promising way to increase overall software development efficiency and the quality of the product. However, there are doubts of whether this will force subject matter experts to become programmers. In this paper I answer this question with “no”. But at the same time, subject matter experts have to learn how to communicate clearly and unambiguously to a computer, and this requires some aspects of what is traditionally called programming. The main part of this paper discusses what these aspects are and why learning these does not make people programmers.
Author Voelter, Markus
Author_xml – sequence: 1
  givenname: Markus
  surname: Voelter
  fullname: Voelter, Markus
  email: voelter@acm.org
BookMark eNpFkNtOAjEQhquiEZA38GJfoNjpcXtpEA8JRhPxuunudkGE3bUtxse3CybezD-H_JOZb4QGTds4hK6BTIEQdaNVjhkmjOBcg9BYGipP0IilzqHBTtEQJABmjOuz_0EuBmiYcoq14uwCjYAqmQsKRFyiSQgbQghVlIschoi_-nbl7W730ayy7zDNlmsbU-jLt32xcWXMnm2Mzmfzn875GLK79gqd13Yb3ORPx-j9fr6cPeLFy8PT7HaBO8pZxE7UViiuBaO6sHWhJSuUhsrWOVSOEAcFBSC0dGVBdFnVogbO8sqJJExqNkb0uDd0Ph3kvCna9jMYIKYnZBIhw0x61RyAmJ5QMvGjqfPt196FaFzvKl0Tvd2Wa9ulZ4KR6TBQ0iR4hlPKfgHIEGUM
ContentType Book Chapter
Copyright Springer Nature Switzerland AG 2021
Copyright_xml – notice: Springer Nature Switzerland AG 2021
DBID FFUUA
DOI 10.1007/978-3-030-89159-6_26
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3030891593
9783030891596
EISSN 1611-3349
Editor Steffen, Bernhard
Margaria, Tiziana
Editor_xml – sequence: 1
  fullname: Margaria, Tiziana
– sequence: 2
  fullname: Steffen, Bernhard
EndPage 425
ExternalDocumentID EBC6749176_334_422
GroupedDBID 38.
AABBV
AABLV
ACBPT
ACWLQ
AEDXK
AEJLV
AEKFX
AELOD
AIYYB
ALMA_UNASSIGNED_HOLDINGS
BAHJK
BBABE
CZZ
DBWEY
FFUUA
I4C
IEZ
OCUHQ
ORHYB
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
-DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p243t-e5fa57495329bafb963b791daf81de00e1b21102cecb09cdf5f1438de51433693
ISBN 3030891585
9783030891589
ISSN 0302-9743
IngestDate Tue Jul 29 20:26:50 EDT 2025
Thu May 29 15:53:50 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.758
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p243t-e5fa57495329bafb963b791daf81de00e1b21102cecb09cdf5f1438de51433693
OCLC 1276852105
PQID EBC6749176_334_422
PageCount 12
ParticipantIDs springer_books_10_1007_978_3_030_89159_6_26
proquest_ebookcentralchapters_6749176_334_422
PublicationCentury 2000
PublicationDate 2021
PublicationDateYYYYMMDD 2021-01-01
PublicationDate_xml – year: 2021
  text: 2021
PublicationDecade 2020
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
PublicationTitle Leveraging Applications of Formal Methods, Verification and Validation
PublicationYear 2021
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Hartmanis, Juris
Gao, Wen
Bertino, Elisa
Woeginger, Gerhard
Goos, Gerhard
Steffen, Bernhard
Yung, Moti
RelatedPersons_xml – sequence: 1
  givenname: Gerhard
  surname: Goos
  fullname: Goos, Gerhard
– sequence: 2
  givenname: Juris
  surname: Hartmanis
  fullname: Hartmanis, Juris
– sequence: 3
  givenname: Elisa
  surname: Bertino
  fullname: Bertino, Elisa
– sequence: 4
  givenname: Wen
  surname: Gao
  fullname: Gao, Wen
– sequence: 5
  givenname: Bernhard
  orcidid: 0000-0001-9619-1558
  surname: Steffen
  fullname: Steffen, Bernhard
– sequence: 6
  givenname: Gerhard
  orcidid: 0000-0001-8816-2693
  surname: Woeginger
  fullname: Woeginger, Gerhard
– sequence: 7
  givenname: Moti
  orcidid: 0000-0003-0848-0873
  surname: Yung
  fullname: Yung, Moti
SSID ssj0002724581
ssj0002792
Score 1.9906045
Snippet Allowing subject matter experts to directly contribute their domain knowledge and expertise to software through DSLs and automation is a promising way to...
SourceID springer
proquest
SourceType Publisher
StartPage 414
SubjectTerms Domain specific language
End-user programming
Language engineering
Title Programming vs. That Thing Subject Matter Experts Do
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6749176&ppg=422
http://link.springer.com/10.1007/978-3-030-89159-6_26
Volume 13036
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07b9swECYadwk69I2mL3DoZjCwKJISx6BNEARt0MExshGiSKJDaweV2qG_vnd8xLKbJV0EWyBE6j76fLy7746QD2B0Ot45-KW1HWdCOctaYQPzdddqaQOcIWKC7KU6vxIX1_J6m24b2SWjPe7_3Mkr-R9U4R7giizZeyB7-1C4AZ8BX7gCwnDdM3533ayJvexhvanH0MkkCo3W3xkaopixit2hU7tzWE7IQ2K8YAX2t9uJwq82_nvu0oEEnuwQyLvpa0rj-oGz_R6O58tv3Zh6fqLqQV_O_Eus1JlqJ48DWOZJYWEh5QEWm0IVl5sxZoDNSzeJolym3gde7Xkfivdxz3-5daHtHFdrLI6jK5maBhXaFqhkONQkLeeTFlZYW7FOtUyzZhWJa5r_pEViS_-j_6cpH_BkhrNppgxXB-SgaeWMPDw5vfi8unXD8YaLWAHusHzXOfCUVoV0oLJqmQo2bd9iQsW8a8qdQ8tenD2aL8sn5BFSWihyTUB-T8kDv35GHhcIaIbgORETmCnATBFmGmGmGWaaYKYZZvpp84JcnZ0uP56z3FaD3XBRj8zL0MkG84q5tl2woIJtoyvXBTi7-MXCVxa9Arz3vV3o3gUZwKhunUfbula6fklm683avyK0da21XongmhZrKujgtfRSV1ZVysv6iLAiAROD_znjuE_vOxgF66gaZQBsIzg_IvMiJoPDB1OqaoN8TW1AvibK16B8X99r9BtyuN3Ab8ls_PnLvwODcrTv86b4C5B-bKE
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Leveraging+Applications+of+Formal+Methods%2C+Verification+and+Validation&rft.au=Voelter%2C+Markus&rft.atitle=Programming+vs.+That+Thing+Subject+Matter+Experts+Do&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2021-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783030891589&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=414&rft.epage=425&rft_id=info:doi/10.1007%2F978-3-030-89159-6_26
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6749176-l.jpg