Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic abstraction of real-time software and re-implementation in Ada., , and . TRI-Ada, page 238-247. ACM, (1991)Automatic stratification of information., and . AFIPS Spring Joint Computing Conference, page 229-240. ACM, (1963)Real-Time Software Life Cycle with the Model System., , , and . IEEE Trans. Software Eng., 12 (2): 358-373 (1986)Partitioning of Massive/Real-Time Programs for Parallel Processing., , and . Adv. Comput., (1986)Use of Model VHLL in Software Development and Maintenance., , and . COMPCON, page 316-320. IEEE Computer Society, (1984)Requirements on Ada Reengineering Technology from Past, Present and Future Systems., and . TRI-Ada, page 384-395. ACM, (1992)On the scope of static checking in definitional languages., , , and . ACM Annual Conference, page 197-207. ACM, (1984)Diodeless Magnetic Shift Registers Utilizing Transfluxors.. IRE Trans. Electron. Comput., 7 (4): 316-324 (1958)Automatic generation of computer programs.. AFIPS National Computer Conference, volume 46 of AFIPS Conference Proceedings, page 679-689. AFIPS Press, (1977)Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems., , and . PODC, page 287-292. ACM, (1985)