- Software-Requerimientos y especificaciones 3
- Software-Requirements and specifications
- Language classifications 2
- Lenguajes de programación-Definiciones formales y teoría 2
- Programming languages-Formal definitions and theory 2
- Software-Design 2
- Software-Diseño 2
- Software-Herramientas y técnicas 2
- Software-Tools and techniques 2
- Administración de base de datos 1
- Administrative data processing 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Aplicaciones de los sistemas de información 1
- Ciencias sociales y de la conducta 1
- Clasificacion de lenguajes 1
- Clasificación de los lenguajes 1
- Concurrent systems 1
- Database management 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Desarrollo de modelos 1
- Distributed systems 1
- Information systems applications 1
- Information systems-models and principles 1
- Knowlege representation formalisms and methods frames and scripts 1
- Model development 1
- Object-oriented programming 1
- Procesamiento de datos administrativos 1
- Programación orientada a objetos 1
-
1
Recent trends in data type specification /
Published 1995Subjects: “…Semantica de lenguajes de programación.…”
Conference Proceeding Book -
2
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
3
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Subjects:Conference Proceeding Book