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.
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
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