1 resultado para Formal Verification Methods
em Greenwich Academic Literature Archive - UK
Filtro por publicador
- Repository Napier (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (7)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Aston University Research Archive (14)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (2)
- Bioline International (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (4)
- Boston University Digital Common (11)
- Brock University, Canada (2)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (6)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (5)
- CentAUR: Central Archive University of Reading - UK (10)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (9)
- Cochin University of Science & Technology (CUSAT), India (3)
- CUNY Academic Works (1)
- Deakin Research Online - Australia (9)
- Department of Computer Science E-Repository - King's College London, Strand, London (7)
- Digital Commons at Florida International University (12)
- Digital Peer Publishing (2)
- Digital Repository at Iowa State University (1)
- DigitalCommons@University of Nebraska - Lincoln (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (22)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (42)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Indian Institute of Science - Bangalore - Índia (37)
- Instituto Politécnico do Porto, Portugal (1)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (2)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (5)
- Queensland University of Technology - ePrints Archive (636)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório do ISCTE - Instituto Universitário de Lisboa (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (2)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (5)
- Research Open Access Repository of the University of East London. (1)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (12)
- Universidade Federal do Rio Grande do Norte (UFRN) (15)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
- Université de Montréal (1)
- Université de Montréal, Canada (5)
- University of Michigan (4)
- University of Queensland eSpace - Australia (26)
Resumo:
The phrase “not much mathematics required” can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word “much” can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.