From the how to the what

Tiziana Margaria; Bernhard Steffen

doi:10.1007/978-3-540-69149-5_48

From the how to the what

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this paper, we consider the Grand Challenge under a very specific perspective: The enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: The application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.

Original language	English
Title of host publication	Verified Software
Subtitle of host publication	Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions
Pages	448-459
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-540-69149-5_48
Publication status	Published - 2008
Externally published	Yes
Event	1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 - Zurich, Switzerland Duration: 10 Oct 2005 → 13 Oct 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4171 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005
Country/Territory	Switzerland
City	Zurich
Period	10/10/05 → 13/10/05

Access to Document

10.1007/978-3-540-69149-5_48

Cite this

Margaria, T., & Steffen, B. (2008). From the how to the what. In Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions (pp. 448-459). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4171 LNCS). https://doi.org/10.1007/978-3-540-69149-5_48

@inproceedings{a1c0a9e58f414bf2a570a513aca4df3d,

title = "From the how to the what",

abstract = "In this paper, we consider the Grand Challenge under a very specific perspective: The enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: The application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2008",

doi = "10.1007/978-3-540-69149-5_48",

language = "English",

isbn = "9783540691471",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "448--459",

booktitle = "Verified Software",

note = "1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 ; Conference date: 10-10-2005 Through 13-10-2005",

}

Margaria, T & Steffen, B 2008, From the how to the what. in Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4171 LNCS, pp. 448-459, 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, Zurich, Switzerland, 10/10/05. https://doi.org/10.1007/978-3-540-69149-5_48

From the how to the what. / Margaria, Tiziana; Steffen, Bernhard.
Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. 2008. p. 448-459 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4171 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - From the how to the what

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2008

Y1 - 2008

N2 - In this paper, we consider the Grand Challenge under a very specific perspective: The enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: The application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.

AB - In this paper, we consider the Grand Challenge under a very specific perspective: The enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: The application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.

UR - http://www.scopus.com/inward/record.url?scp=84885669500&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-69149-5_48

DO - 10.1007/978-3-540-69149-5_48

M3 - Conference contribution

AN - SCOPUS:84885669500

SN - 9783540691471

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 448

EP - 459

BT - Verified Software

T2 - 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005

Y2 - 10 October 2005 through 13 October 2005

ER -

Margaria T, Steffen B. From the how to the what. In Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. 2008. p. 448-459. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-69149-5_48

From the how to the what

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this