%0 Conference Paper %1 dias_00_software %A Dias, Marcio S. %A Vieira, Marlon E. %B IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design %C Washington, DC, USA %D 2000 %I IEEE Computer Society %J Software Specification and Design, 2000. Tenth International Workshop on %K semantics statecharts software_architecture 2000 %P 133--137 %R 10.1109/IWSSD.2000.891134 %T Software architecture analysis based on statechart semantics %U http://dx.doi.org/10.1109/IWSSD.2000.891134 %X 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-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels

@inproceedings{dias_00_software, abstract = {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-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels}, added-at = {2009-02-12T00:08:54.000+0100}, address = {Washington, DC, USA}, author = {Dias, Marcio S. and Vieira, Marlon E.}, biburl = {https://www.bibsonomy.org/bibtex/2cc979c0a2763c445185f5c934fee787c/leonardo}, booktitle = {IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design}, citeulike-article-id = {1423637}, doi = {10.1109/IWSSD.2000.891134}, interhash = {9f55a3f5206223deca6f2f1ee2c51c14}, intrahash = {cc979c0a2763c445185f5c934fee787c}, journal = {Software Specification and Design, 2000. Tenth International Workshop on}, keywords = {semantics statecharts software_architecture 2000}, pages = {133--137}, posted-at = {2007-06-29 21:13:41}, priority = {2}, publisher = {IEEE Computer Society}, timestamp = {2009-02-12T00:08:54.000+0100}, title = {Software architecture analysis based on statechart semantics}, url = {http://dx.doi.org/10.1109/IWSSD.2000.891134}, year = 2000 }