Uma linguagem de especificação formal orientada por aspectos

dc.contributorRoberto da Silva Bigonha
dc.contributorVladimir Oliveira Di Iorio
dc.contributorElaine Gouvea Pimentel
dc.contributorMariza Andrade da Silva Bigonha
dc.creatorWagner Salazar Pires
dc.date.accessioned2019-08-10T01:08:29Z
dc.date.accessioned2022-10-03T22:53:45Z
dc.date.available2019-08-10T01:08:29Z
dc.date.available2022-10-03T22:53:45Z
dc.date.created2019-08-10T01:08:29Z
dc.date.issued2007-06-29
dc.identifierhttp://hdl.handle.net/1843/RVMR-7AAPEN
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3812814
dc.description.abstractThe 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.
dc.publisherUniversidade Federal de Minas Gerais
dc.publisherUFMG
dc.rightsAcesso Aberto
dc.subjectlinguagens de programação
dc.subjectorientada por aspectos
dc.titleUma linguagem de especificação formal orientada por aspectos
dc.typeDissertação de Mestrado


Este ítem pertenece a la siguiente institución