Amnon H. Eden
Sapience.org
Software Modelling
Publication Types:
All types (
40 )
Artificial Intelligence (
7 )
Cryptocurrencies (
1 )
Design Patterns (
13 )
Development Tools (
10 )
Disruptive Technology (
6 )
FOREX (
1 )
Formal Methods (
14 )
Machine Learning (
3 )
Object-Oriented Programming (
10 )
Ontology (
5 )
Philosophy of Computer Science (
8 )
Software Architecture (
3 )
Software Design (
6 )
Software Engineering (
26 )
Software Evolution (
6 )
Software Modelling (
7 )
Software Security (
1 )
Software Visualization (
4 )
Superintelligence (
6 )
Precise Specification of Design Patterns and Tool Support in Their Application
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware Modelling
PhD dissertation, Department of Computer Science, Tel Aviv University
Publication year: 2000
Modeling and Visualizing Object-Oriented Programs with Codecharts
Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
Publication year: 2013
Directions in Architectural Specifications
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Proceedings of the Workshop on Software Architecture Recovery and Modelling, 8th Working Conference on Reverse Engineering—WCRE (2 Oct. 2001), Stuttgart, Germany
Publication year: 2001
Visualization of Object Oriented Architectures
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Proc. Workshop on Software Visualization, International Conference on Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10
Publication year: 2001
LePUS — Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study
Design PatternsSoftware EngineeringSoftware Modelling
Proceedings of the 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden
Publication year: 1999
Formal specification of object-oriented design
Design PatternsSoftware EngineeringSoftware Modelling
International Conference on Multidisciplinary Design in Engineering--CSME-MDE 2001, November 21-22, 2001, Concordia University, Montreal
Publication year: 2001
Codecharts: Roadmaps and Blueprints for Object-Oriented Programs
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Hoboken, New Jersey: Wiley-Blackwell
Publication year: 2011