( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Techniques for requirements elicitation.

, и . RE, стр. 152-164. IEEE Computer Society, (1993)

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.

Healfdene Goguen

Joseph A Bracken

Joseph A Bracken

R. A. A. Bowler

°Ake °Akerström

 

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

Verifying Design with Proof Scores., , и . VSTTE, том 4171 из Lecture Notes in Computer Science, стр. 277-290. Springer, (2005)More thoughts on specification and verification.. ACM SIGSOFT Softw. Eng. Notes, 6 (3): 38-41 (1981)Zero, Connected, Empty: An Essay after a Cantata., и . WADT, том 2755 из Lecture Notes in Computer Science, стр. 127-128. Springer, (2002)What Is a Concept?. ICCS, том 3596 из Lecture Notes in Computer Science, стр. 52-77. Springer, (2005)KWIC-index generation., , , , , , , , , и 1 other автор(ы). Program Specification, том 134 из Lecture Notes in Computer Science, стр. 47-117. Springer, (1981)Cell and Ensemble Architecture for the Rewrite Rule Machine., , и . FGCS, стр. 869-878. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Towards a Provably Correct Compiler for OBJ3., и . PLILP, том 844 из Lecture Notes in Computer Science, стр. 132-146. Springer, (1994)Specifying, Programming and Verifying with Equational Logic., и . We Will Show Them! (2), стр. 1-38. College Publications, (2005)Unwinding and Inference Control., и . S&P, стр. 75-87. IEEE Computer Society, (1984)Security Policies and Security Models., и . S&P, стр. 11-20. IEEE Computer Society, (1982)