Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Nitsche, Gregor"'
Autor:
Nitsche, Gregor
Targeting to use contract-based design for the specification and refinement of extra-functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top-down decomposition of contrac
Externí odkaz:
http://arxiv.org/abs/1906.11606
Autor:
Nitsche, Gregor.
Publikováno v:
Connect to this title online; UW restricted.
Thesis (Ph. D.)--University of Washington, 1996.
Vita. Includes bibliographical references (leaves [195]-205).
Vita. Includes bibliographical references (leaves [195]-205).
Externí odkaz:
http://hdl.handle.net/1773/10014
Publikováno v:
Journal of Climate, 1995 Jun 01. 8(6), 1709-1713.
Externí odkaz:
https://www.jstor.org/stable/26199981
Publikováno v:
Journal of the Atmospheric Sciences. 1/15/94, Vol. 51 Issue 2, p314. 9p. 1 Chart, 4 Graphs.
Publikováno v:
Languages, Design Methods & Tools for Electronic System Design: Selected Contributions from FDL 2014; 2016, p157-179, 23p
Autor:
Barke, Erich, Furtig, Andreas, Glaser, Georg, Grimm, Christoph, Hedrich, Lars, Heinen, Stefan, Hennig, Eckhard, Lee, Hyun-Sek Lukas, Nebel, Wolfgang, Nitsche, Gregor, Olbrich, Markus, Radojicic, Carna, Speicher, Fabian
Publikováno v:
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2016, p1102-1111, 10p
Publikováno v:
Languages, Design Methods & Tools for Electronic System Design (9783319317229); 2016, p125-147, 23p
Publikováno v:
Proceedings of the 2014 Forum on Specification & Design Languages (FDL); 2014, p1-8, 8p
Publikováno v:
2013 23rd International Workshop on Power & Timing Modeling, Optimization & Simulation (PATMOS); 2013, p59-66, 8p