Grant: Canada Research Chairs
Université du Québec à Chicoutimi
$120,000.00
Software Specification, Testing and Verification
EF 2020-21
Résumé
Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research chair shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.
Programme
Canada Research Chairs
Bénéficiaire
Emplacement
Quebec, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
1000230760
Name nom
Hallé, Sylvain
Department département
Computer Science and Mathematics
Organization id
52
Institution établissement
Université du Québec à Chicoutimi
Province en
Québec
Province fr
Québec
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2020
Competition year année de concours
2015
Award amount
120000
Program id
CRC
Program name en
Canada Research Chairs
Program name fr
Chaires de recherche du Canada
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
9998
Committee name en
Canada Research Chair Selection Committee
Committee name fr
Comité de sélection des Chaires de recherche du Canada
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
2700
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Information technology
Research subject fr
Technologie de l'information
Partie
0
Nb partie
0
Application title
Software Specification, Testing and Verification
Keyword
NSERC
Application summary
Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research chair shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.
