Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming
| Data(s) |
01/10/2008
|
|---|---|
| Formato |
application/pdf |
| Identificador | |
| Idioma(s) |
eng |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
Aldinucci , M , Danelutto , M & Kilpatrick , P 2008 , Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming . in F S DeBoer , M M Bonsangue & E Madelaine (eds) , FORMAL METHODS FOR COMPONENTS AND OBJECTS . Lecture Notes in Computer Science , vol. 5751 , Springer , BERLIN , pp. 204-225 , Formal Methods for Components and Objects, 7th International Symposium, FMCO , Sophia Antipolis , France , 21-23 October . DOI: 10.1007/978-3-642-04167-9 |
| Tipo |
contributionToPeriodical |
| Contribuinte(s) |
DeBoer, FS Bonsangue, MM Madelaine, E |
| Resumo |
<p>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.</p> |
| Publicador |
Springer |
| Palavras-Chave | #program modelling #rewriting #non-functional concerns #performance tuning #autonomic computing #SKELETONS #SYSTEMS #DESIGN |
