Search alternatives:
code programming » cone programming, model programming, scope programming
developing code » developing ce, developing home, developing modern
annotations 4 » annotations _, annotation _
4 developing » 3 developing
code programming » cone programming, model programming, scope programming
developing code » developing ce, developing home, developing modern
annotations 4 » annotations _, annotation _
4 developing » 3 developing
1
by Lambers, Leen.
Published 2023
Format:
Published 2023
Table of Contents: “... -- 1 Introduction -- 2 Related Work -- 3 JavaBIP and Verification Annotations -- 4 Architecture...”
Click to View
2
by Domingue, John.
Published 2011
Format:
Published 2011
Table of Contents: “... -- Research Focus on Developing Secure FI Services -- Security Requirements Engineering -- Secure Service...”
Click to View