semi-formal:fmco:09 (In proceedings)
|
Author(s) | Marco Aldinucci, Marco Danelutto and Peter Kilpatrick |
Title | « Semi-formal models to support program development: autonomic management within component based parallel and distributed programming » |
In | Formal Methods for Components and Objects: 7th Intl. Symposium, FMCO 2008, Sophia-Antipolis, France, October 20 - 24, 2008, Revised Lectures |
Series | LNCS |
Editor(s) | Frank S. de Boer, Marcello M. Bonsangue and Eric Madelaine |
Volume | 5751 |
Page(s) | 204-225 |
Year | 2009 |
Publisher | Springer |
URL | http://calvados.di.unipi.it/storage/paper_files/2009_semiformal_FMCO08.pdf |
Abstract |
Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a ``programmer oriented'' methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns. |
@inproceedings{semi-formal:fmco:09,
volume = {5751},
author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick},
series = {LNCS},
booktitle = {Formal Methods for Components and Objects: 7th Intl. Symposium,
FMCO 2008, Sophia-Antipolis, France, October 20 - 24, 2008,
Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Eric Madelaine},
url = {http://calvados.di.unipi.it/storage/paper_files/2009_semiformal_FMCO08.pdf},
abstract = {Functional and non-functional concerns require different
programming effort, different techniques and different
methodologies when attempting to program efficient
parallel/distributed applications. In this work we present a
``programmer oriented'' methodology based on formal tools that
permits reasoning about parallel/distributed program development
and refinement. The proposed methodology is semi-formal in that it
does not require the exploitation of highly formal tools and
techniques, while providing a palatable and effective support to
programmers developing parallel/distributed applications, in
particular when handling non-functional concerns.},
title = {Semi-formal models to support program development: autonomic
management within component based parallel and distributed
programming},
publisher = {Springer},
year = {2009},
pages = {204-225},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)