Please use this identifier to cite or link to this item:
|Type:||Artigo de evento|
|Title:||Space Services: Textual To Formal Description|
|Abstract:||This article presents a set of proposed steps to translate a software service specification from a textual description into a formal notation. This translation is important to reduce ambiguity inherent in textual description and avoid misunderstandings. The referred steps were initially proposed in the context of a testing methodology; however, here, a shortened version of the methodology is suggested for service description and also for implementation purposes. Two examples of packet utilization space services, the Telecommand Verification and the Large Data Transfer services, extracted from the ECSS-E-7041A standard illustrate the proposed steps. The paper discusses advantages of and limits to applying these steps. © 2006 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.