Abstraction
Programming language
Computing
Software development
Shlaer–Mellor method
Unified Modeling Language
Executable UML
Software engineering