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
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
Design PatternsSoftware EngineeringSoftware Evolution
Tom Mens, Amnon H. Eden
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3, pp. 147–163. Amsterdam, The Netherlands: Elsevier,
Publication year: 2004