PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M., Bucchiarone A., Gnesi S. Dynamic software architecture development: towards an automated process. In: SEAA 2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications (Patras, Greece, 27-29 August 2009). Proceedings, pp. 105 - 108. IEEE Computer Society, 2009.
 
 
Abstract
(English)
We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of formal methods and tools, and it can support software architects throughout the design, analysis and code generation of software systems. To illustrate the process, we apply it to an industrial case study from the Service-Oriented Computing (SOC) domain.
URL: http://ieeexplore.ieee.org/xpl/selected.jsp?imageField.x=69&imageField.y=0&imageField=View+Selected+Items&chklist=5349864%40ieeecnfs
DOI: 10.1109/SEAA.2009.11
Subject Dynamic Software Architecture
Formal Methods
Verification
Service-Oriented Computing
D.2.11 Software Architectures
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional