Výsledky vyhledávání

Akademický článek

Practitioners' views on the use of formal methods: an industrial survey by structured interview

Autor: Snook, C, Harrison, R ^*

Publikováno v: In Information and Software Technology 2001 43(4):275-283

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Systematic Development of Control Designs via Formal Refinement

Autor: Satpathy, M., Snook, C., Arora, S., Ramesh, S., Michael Butler

Publikováno v: Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13b2fe64378a3cc51532b72a57464ee9
https://eprints.soton.ac.uk/349770/

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Towards Reuse with 'Feature-Oriented Event-B'

Autor: Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C., Sorge, J.

Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______348::b805b7ec14b1f67518706fa5e6a0d155
https://eprints.soton.ac.uk/266827/

Zobrazit plný text záznamu

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One

Autor: Razali, R, Snook, C. F., Poppleton, M. R., Garratt, P. W., Walters, R. J.

The primary objective of software specification is to promote understanding of the system properties between stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as it permits the understa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______348::a17bf4f9f1ca6e6931b2352127c2e767
https://eprints.soton.ac.uk/263323/

Zobrazit plný text záznamu

Comprehensibility of UML-B - A Series of Controlled Experiments

Autor: Razali, R, Snook, C, Poppleton, M, Garratt, P

This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______348::91aa1988698ecfd71ae6b23cc8134357
https://eprints.soton.ac.uk/264426/

Zobrazit plný text záznamu

Using simulation as a learning tool in Civil Engineering: the dam game or learning to be real engineers

Autor: Scott, D., Gribble, S., Mawdesley, M., Long, G., Al-Jibouri, Saad H.S., Snook, C., Thorpe, D.

Publikováno v: AaeE2004: creating flexible learning environments. Proceedings of the 15th annual conference of for the Australian Association for Engineering Education, 27-29 September 2004, Toowoomba, Queensland, Australia, 522-531
STARTPAGE=522;ENDPAGE=531;TITLE=AaeE2004: creating flexible learning environments. Proceedings of the 15th annual conference of for the Australian Association for Engineering Education, 27-29 September 2004, Toowoomba, Queensland, Australia

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::a8c821320490cc9e90ae98ad66f375c8
https://research.utwente.nl/en/publications/eceb0abf-19e9-4c66-b40e-88fc3a85083e

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání