Uma linguagem de especificação formal orientada por aspectos

Wagner Salazar Pires

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/RVMR-7AAPEN

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Roberto da Silva Bigonha	pt_BR
dc.contributor.referee1	Vladimir Oliveira Di Iorio	pt_BR
dc.contributor.referee2	Elaine Gouvea Pimentel	pt_BR
dc.contributor.referee3	Mariza Andrade da Silva Bigonha	pt_BR
dc.creator	Wagner Salazar Pires	pt_BR
dc.date.accessioned	2019-08-10T01:08:29Z	-
dc.date.available	2019-08-10T01:08:29Z	-
dc.date.issued	2007-06-29	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/RVMR-7AAPEN	-
dc.description.abstract	The Abstract State Machines methodology offers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern capability. AspectM is an aspect oriented formal specification language that unifies the well known benefits of formal specification, such as rigorous requirement description, from which verification and validation can be carried out, and the improved modularity provided by aspect oriented programming, such as separation of concerns.	pt_BR
dc.description.resumo	Máquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para especificação formal da semântica de algoritmos. A Linguagem AspectM incrementa esta metodologia com a capacidade de modularizar interesses transversais. AspectM é uma linguagem de especificação formal orientada por aspectos que reúne as vantagens existentes em uma especificação formal, como a descrição precisa dos requisitos do sistema, a partir da qual podem ser realizadas verificações, e as vantagens da programação orientada por aspectos, como a modularização de interesses transversais.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	linguagens de programação	pt_BR
dc.subject	orientada por aspectos	pt_BR
dc.subject.other	Programação orientada a objetos (Computação)	pt_BR
dc.subject.other	Software Desenvolvimento	pt_BR
dc.subject.other	Computação	pt_BR
dc.title	Uma linguagem de especificação formal orientada por aspectos	pt_BR
dc.type	Dissertação de Mestrado	pt_BR
Appears in Collections:	Dissertações de Mestrado

Files in This Item:

File	Description	Size	Format
wagnersalazarpires.pdf		1.01 MB	Adobe PDF	View/Open

Show simple item record