BDBComp
Parceria:
SBC
Analyzing software architecture based on statechart semantics

Márcio DiasMarlon VieiraDebra Richardson

High assurance architecture-based and component-based software development relies fundamentally on the quality of the components of which a system is composed and their configuration. Analysis over those components and their integration as a system plays a key role in the software development process. This paper describes an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications. The approach is applied for the C2 style and associated ADL and is supported within a quality-focused environment, called Argus-I, which assist specification-based analysis and testing at both the component and architecture levels.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/008.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD