- Software-Design 5
- Software-Diseño 5
- Software-Requerimientos y especificaciones 4
- Software-Herramientas y técnicas 3
- Software-Tools and techniques 3
- Language classifications 2
- Programas-Especificación 2
- Programs-Specification 2
- Software-Requeriments and specifications 2
- Software-Requirements and specifications 2
- Administración de base de datos 1
- Administrative data processing 1
- Algebraic manipulation 1
- Aplicaciones de los sistemas de información 1
- Applicative programming 1
- Automatic programming 1
- Ciencias sociales y de la conducta 1
- Clasificacion de lenguajes 1
- Clasificaciones del lenguaje 1
- Computer software 1
- DISEÑO 1
- Database management 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Desarrollo de modelos 1
- Design 1
- Distributed systems 1
- INFORMATICA 1
- Information systems applications 1
- Information systems-models and principles 1
-
1
-
2
-
3
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /
Published 1996Subjects:Conference Proceeding Book -
4
Formal systems specification : the RPC memory specification case study /
Published 1996Subjects:Book -
5
-
6
Design and implementation of symbolic computation systems /
Published 1996Subjects:Conference Proceeding Book -
7
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Subjects:Conference Proceeding Book