Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Security
Abdullah A.A. Alzahrani, Amnon H. Eden, Majd Zohri Yafi
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014
Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
Publication year: 2013
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman
Science of Computer Programming, Volume 80, Part B, pp. 211–222
Publication year: 2013
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman
The 1st NASA Formal Methods Symposium–NFM, Moffett Field, CA
Publication year: 2009
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden
In: Toufik Taibi (ed.) Design Pattern Formalization Techniques, pp. vi–vii. Hershey, USA: IGI
Publication year: 2007
Formal MethodsSoftware EngineeringSoftware Evolution
Amnon H. Eden, Tom Mens
IEE Software, Vol. 153, No. 3, pp. 113–126. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Formal MethodsSoftware ArchitectureSoftware DesignSoftware EngineeringSoftware Evolution
Amnon H. Eden, Yoram Hirshfeld, Rick Kazman
IEE Software, Vol. 153, No. 4, pp. 163–182. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Formal MethodsSoftware EngineeringSoftware Evolution
Tom Mens, Amnon H. Eden
Technical report CSM-439, ISSN 1744-8050 (November 2005) Department of Computer Science, University of Essex
Publication year: 2005
Formal MethodsSoftware ArchitectureSoftware DesignSoftware Engineering
Amnon H. Eden, Rick Kazman
In Laurie Dillon, Walter Tichy (eds.) Proc. 25th Int'l Conf. Software Engineering—ICSE, Portland, OR, USA, pp. 149–159. Los Alamitos, USA: IEEE Computer Society Press
Publication year: 2003
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publication year: 2001
Design PatternsFormal MethodsSoftware Engineering
Amnon H. Eden
Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware DesignSoftware Engineering
Amnon H. Eden, Joseph Gil, Amiram Yehudai
In Michael Lowry, Yves Ledru (eds.) Proc. 12th IEEE International Conference on Automated Software Engineering conference—ASE, Lake Tahoe, NV, USA, pp. 143–152
Publication year: 1997