1 resultado para Modelling Software
em Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal
Filtro por publicador
- Repository Napier (1)
- ABACUS. Repositorio de Producción Científica - Universidad Europea (1)
- Aberdeen University (2)
- Aberystwyth University Repository - Reino Unido (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (7)
- Aquatic Commons (3)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Aston University Research Archive (16)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (4)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- Cambridge University Engineering Department Publications Database (8)
- CentAUR: Central Archive University of Reading - UK (20)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (4)
- Cochin University of Science & Technology (CUSAT), India (3)
- Collection Of Biostatistics Research Archive (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- CUNY Academic Works (1)
- Deakin Research Online - Australia (18)
- Department of Computer Science E-Repository - King's College London, Strand, London (3)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (9)
- Greenwich Academic Literature Archive - UK (75)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (3)
- Instituto Politécnico de Bragança (2)
- Instituto Politécnico do Porto, Portugal (2)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Publishing Network for Geoscientific & Environmental Data (5)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (26)
- Queensland University of Technology - ePrints Archive (666)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (1)
- 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 (3)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- Universidad de Alicante (1)
- Universidad Politécnica de Madrid (15)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitat de Girona, Spain (3)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Montréal, Canada (1)
- University of Canberra Research Repository - Australia (1)
- University of Queensland eSpace - Australia (23)
- University of Southampton, United Kingdom (4)
- WestminsterResearch - UK (1)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.