Ver:
· Informal
· Formal
· Criterios comunes
expresado con un lenguaje restringido con una semántica definida; pero sin llegar a un formalismo matemático que permita demostraciones.
expressed in a restricted syntax language with defined semantics. [CC:2006]