1 resultado para Graphical programming
em Universidade Federal do Rio Grande do Norte(UFRN)
Filtro por publicador
- Repository Napier (1)
- Aberdeen University (3)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- AMS Campus - Alm@DL - Università di Bologna (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (12)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (16)
- Applied Math and Science Education Repository - Washington - USA (1)
- Archive of European Integration (12)
- Aston University Research Archive (35)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (8)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (42)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (35)
- Brock University, Canada (16)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (25)
- CentAUR: Central Archive University of Reading - UK (39)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (4)
- Cochin University of Science & Technology (CUSAT), India (1)
- Coffee Science - Universidade Federal de Lavras (3)
- Collection Of Biostatistics Research Archive (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (54)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (27)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (2)
- Department of Computer Science E-Repository - King's College London, Strand, London (16)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (2)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (8)
- Digital Peer Publishing (5)
- DigitalCommons@The Texas Medical Center (5)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (27)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (1)
- Glasgow Theses Service (1)
- Harvard University (1)
- Instituto Gulbenkian de Ciência (1)
- Instituto Politécnico de Leiria (1)
- Instituto Politécnico do Porto, Portugal (57)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (4)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Martin Luther Universitat Halle Wittenberg, Germany (1)
- Massachusetts Institute of Technology (9)
- National Center for Biotechnology Information - NCBI (1)
- Nottingham eTheses (3)
- Publishing Network for Geoscientific & Environmental Data (3)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (1)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- RepoCLACAI - Consorcio Latinoamericano Contra el Aborto Inseguro (1)
- Repositório Aberto da Universidade Aberta de Portugal (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- Repositório da Produção Científica e Intelectual da Unicamp (7)
- Repositorio de la Universidad de Cuenca (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (5)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositorio Institucional de la Universidad de Málaga (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (53)
- Research Open Access Repository of the University of East London. (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (13)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- School of Medicine, Washington University, United States (1)
- Scielo Saúde Pública - SP (5)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- Universidad Autónoma de Nuevo León, Mexico (3)
- Universidad de Alicante (11)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (72)
- Universidade Complutense de Madrid (1)
- Universidade do Minho (5)
- Universidade Federal do Pará (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitat de Girona, Spain (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (7)
- Université de Lausanne, Switzerland (15)
- Université de Montréal (2)
- Université de Montréal, Canada (6)
- University of Connecticut - USA (1)
- University of Michigan (108)
- University of Queensland eSpace - Australia (49)
- University of Southampton, United Kingdom (33)
- University of Washington (6)
- WestminsterResearch - UK (1)
- Worcester Research and Publications - Worcester Research and Publications - UK (6)
Resumo:
Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.