Methods seen as modules

A method, seen as a module, is characterized by:

• exported services: "what" does the method realize
• interface: the method header (which specifies the types of the input parameters and of the result, if present)
• exported services: other methods or classes used to realize the method
• internal structure: Java code describing "how" the method implements the "what" it realizes (note that this is not of interest for the clients of the method, i.e., for whom calls the method)