creators_name: Russo Jr, Aryldo G creators_id: agrj@aes.com.br type: deploy_associate_item datestamp: 2010-03-19 10:46:13 lastmod: 2010-04-19 15:06:00 metadata_visibility: show title: DA Associate Program - AeS Proposal Ongoing development subjects: deploy_industrial_trans full_text_status: public abstract: I would like to present, by this proposal, our intention to become a Associate Partner of DEPLOY Project, and I state here our agreement with what is written in the DA agreement. Our plan is to disseminate the B Method and related tools, namely, RODIN Platform in South America, and to that we intend to apply the formalism and tools in our current projects related to railway field. In order to do that, we intend to start with a small project, namely ”Dead man control” to prove the concept and teach all people involved, and after that, in case of good results make the formal development a standard for all projects. In this proposal I present in more detailed way an introduction of AeS company, the AeS proposal and pilot project and the expected results. citation: Russo Jr, Aryldo G DA Associate Program - AeS Proposal Ongoing development. [DEPLOY Associate Item] document_url: http://deploy-eprints.ecs.soton.ac.uk/212/1/DA_Development.pdf