Ingeniería de software

Tipificación, encapsulamiento, concurrencia, persistencia
Tipificación. Es la definición precisa de un objeto de tal forma que objetos de diferentes tipos no puedan ser intercambiados o, cuandomucho, puedan intercambiarse de manera muy restringida.
De: www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r25280.DOC
Tipificación fuerte. Esto es, que durante la fase de diseño e implementaciónse declare que tipo de datos soportara cada variable.
De: http://iverclaros.blog.galeon.com/1141775280/
Características del lenguaje Java:
-Simple y orientado a objetos: Simple de aprender, altareutilización y bibliotecas.
-Robusto y seguro: Tipificación fuerte, recolección de basura.
-Interpretado y portable: Se compila el bytecode, interpretado por JVM.
-Distribuido y alto desempeño:Movilidad de código.
-Multi-hilo: Mejora la interactividad de las aplicaciones.
-Dinámico: Permite enlace y carga dinámica de clases.

De:http://bitici.blogspot.com/2007/11/programacion-orientada-objetos.html
… Tipificación estricta (fuerte). Tipificación es el proceso de declarar el tipo de información que puede contener una variable. Los errores de programación relacionados con el número deparámetros, tipos de parámetros e interfaces de módulos, se detectan durante las fases de diseño e implementación, en lugar de en tiempos de ejecución…
… Compilación incremental. Característica en eldesarrollo de sistemas grandes, en los que las porciones del sistema se crean e implementan de un modo sistemático (poco a poco, etapa a etapa). Esta característica complementa la característica detipificación estricta, que soporta partes independientes de implementación y específica…
Tipificación estática frente a dinámica
Tipificación o tipado (typing) es el proceso de declarar cuál es el tipode información que puede contener una variable. Por ejemplo, una variable se puede tipificar para contener un único carácter, una cadena de caracteres, un número entero o un número de punto...