1 resultado para formal programs
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Karlstad University; Sweden) (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (2)
- Aquatic Commons (16)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (7)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (3)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (4)
- Biblioteca Digital de la Universidad Católica Argentina (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (12)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (1)
- Boston University Digital Common (15)
- Brock University, Canada (34)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (3)
- Cámara de Comercio de Bogotá, Colombia (6)
- Cambridge University Engineering Department Publications Database (23)
- CentAUR: Central Archive University of Reading - UK (40)
- Chapman University Digital Commons - CA - USA (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (25)
- Cochin University of Science & Technology (CUSAT), India (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Cornell: DigitalCommons@ILR (4)
- CUNY Academic Works (3)
- Dalarna University College Electronic Archive (6)
- Deakin Research Online - Australia (20)
- Department of Computer Science E-Repository - King's College London, Strand, London (22)
- Digital Commons at Florida International University (1)
- DigitalCommons@The Texas Medical Center (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (10)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (11)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Greenwich Academic Literature Archive - UK (8)
- Helda - Digital Repository of University of Helsinki (14)
- Indian Institute of Science - Bangalore - Índia (55)
- Instituto Politécnico do Porto, Portugal (8)
- Massachusetts Institute of Technology (12)
- Ministerio de Cultura, Spain (124)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (86)
- Queensland University of Technology - ePrints Archive (259)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (5)
- Repositório Científico do Instituto Politécnico de Santarém - Portugal (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositorio Institucional de la Universidad Nacional Agraria (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (8)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- School of Medicine, Washington University, United States (6)
- Universidad Autónoma de Nuevo León, Mexico (9)
- Universidad del Rosario, Colombia (32)
- Universidad Politécnica de Madrid (5)
- Universidade de Lisboa - Repositório Aberto (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (4)
- Universitat de Girona, Spain (8)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (12)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (15)
- University of Queensland eSpace - Australia (10)
- University of Southampton, United Kingdom (5)
- WestminsterResearch - UK (3)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.