Konstruowanie specyfikacji i weryfikacja oprogramowania
2013/11/B/ST6/01381
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_3: Systemy programowania, systemy operacyjne, metody rozwoju oprogramowania, języki programowania
- ST1_1: Logika i podstawy matematyki
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 6
Konkurs
OPUS 6 – ogłoszony 2013-09-16
- Przyznana kwota
- 496 260 PLN
- Rozpoczęcie projektu
- 2014-07-16
- Zakończenie projektu
- 2018-06-15
- Planowany czas trwania projektu
- 47 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Notebook (3 szt.). Za kwotę 15 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (1)
-
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation
- Autorzy:
- Grzegorz Marczyński, Donald Sannella, Andrzej Tarlecki
- Czasopismo:
- International Journal of Software and Informatics (rok: 2015, tom: 9(2), strony: 117-139), Wydawca: ISCAS, IfColog, SCP
- Status:
- Opublikowana
- DOI:
- link do publikacji
Teksty w publikacjach pokonferencyjnych (2)
-
A Java bytecode formalization
- Autorzy:
- Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert
- Konferencja:
- 10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, strony: 135-154), Wydawca: Springer
- Data:
- konferencja July 18-19, 2018
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Towards verification of Ethereum smart contracts: a formalization of core of Solidity
- Autorzy:
- Jakub Zakrzewski
- Konferencja:
- 10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, strony: 229-247), Wydawca: Springer
- Data:
- konferencja July 18-19, 2018
- Status:
- Opublikowana
Publikacje książkowe (5)
-
Modularity of Ontologies in an Arbitrary Institution
- Autorzy:
- Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
- Książka:
- Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (rok: 2015, tom: LNCS 9200, strony: 361-379), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
The foundational legacy of ASL
- Autorzy:
- Donald Sannella, Andrzej Tarlecki
- Książka:
- Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (rok: 2015, tom: LNCS 8950, strony: 253-272), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Coq Support in HAHA
- Autorzy:
- Jacek Chrząszcz, Aleksy Schubert, and Jakub Zakrzewski
- Książka:
- 21st International Conference on Types for Proofs and Programs (TYPES 2014) (rok: 2016, tom: 97, strony: 8:1--8:26), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Function definitions for compound values in object-oriented languages
- Autorzy:
- Jacek Chrząszcz, Aleksy Schubert
- Książka:
- Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (rok: 2017, tom: bd., strony: 61-72), Wydawca: ACM
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
On Normal Forms for Structured Specifications with Generating Constraints
- Autorzy:
- Donald Sannella, Andrzej Tarlecki
- Książka:
- Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (rok: 2018, tom: LNCS 10800, strony: 266-284), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- link do publikacji