( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deductive Composition of Astronomical Software from Subroutine Libraries.

, , , , и . CADE, том 814 из Lecture Notes in Computer Science, стр. 341-355. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stephen Lowry

Michael R Schön

Michael R Glaubitz

Michael R Koch

Michael R Schön

 

Другие публикации лиц с тем же именем

Analytic Verification of Flight Software., и . IEEE Intelligent Systems, 13 (5): 45-49 (1998)A Formal Approach to Domain-Oriented Software Design Environments., , , и . KBSE, стр. 48-57. IEEE Computer Society, (1994)Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation., , , , , и . IEEE Trans. Ind. Informatics, 8 (2): 366-377 (2012)Analysis and testing of PLEXIL plans., , , , и . FormaliSE, стр. 52-58. ACM, (2014)META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems., и . Autom. Softw. Eng., 4 (2): 199-241 (1997)N-version programming in WCET analysis: revisiting a discredited idea., и . FoSER, стр. 157-160. ACM, (2010)Towards predictive models of technology impact on software design productivity.. FoSER, стр. 223-228. ACM, (2010)Explaining Synthesized Software., , , и . ASE, стр. 240-248. IEEE Computer Society, (1998)AMPHION: Automatic Programming for Subroutine Libraries., , , и . KBSE, стр. 2. IEEE Computer Society, (1994)AMPHION: Automatic Programming for Scientific Subroutine Libraries., , , и . ISMIS, том 869 из Lecture Notes in Computer Science, стр. 326-335. Springer, (1994)