Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CONTRATOS DE OPERACIN
OPERACIONES DEL SISTEMA DE PROCESAR VENTA
CO1: IniciarNuevaVenta
OPERACIN:
IniciarNuevaVenta()
PREFERANCIAS CRUZADAS:
PRECONDICIONES:
Ninguna
POSTCONDICIONES:
CO2: IntroducirArticulo
OPERACIN:
IniciarNuevaVenta(ID_Articulo: ID_Articulo,
Cantidad: integer)
PREFERANCIAS CRUZADAS:
PRECONDICIONES:
POSTCONDICIONES:
CO3: TerminarVenta
OPERACIN:
FinalizarVenta()
PREFERANCIAS CRUZADAS:
PRECONDICIONES:
POSTCONDICIONES:
CO4: RealizarPago
OPERACIN:
Realizar Pag(Cantidad:Pago)
PREFERANCIAS CRUZADAS:
PRECONDICIONES:
POSTCONDICIONES: