Intelligentedu La mejor computadora libre nueva ÉL recursos de la clase particular del entrenamiento

Este libro libre del curso en la tecnología de dotación lógica introduce a lector a las técnicas avanzadas de la tecnología de dotación lógica que ahora están de utilidad práctica y que se pueden aplicar inmediatamente en proyectos prácticos del software. Cubre la especificación del software, diseño del software, puesta en práctica, verificación y prueba del software, documentación, y gerencia de proyecto. Los capítulos aquí están en formato del doc., y el libro es también accesible en línea en formato del HTML.

Libro del curso de la tecnología de dotación lógica:
www.netnam.vn/unescocourse/se/software.htm


Descripción:
www.netnam.vn/unescocourse/se/se0.doc

Introducción del capítulo 1:
www.netnam.vn/unescocourse/se/se1.doc
1.1 alcance
1.1.1 El desarrollo de la tecnología de dotación lógica
1.1.2 La tecnología de dotación lógica del término
1.2 Cualidades de la calidad de los productos de software
1.2.1 Cualidades de la calidad del software
1.2.2 La importancia de los criterios de calidad
1.2.3 Los efectos de los criterios de calidad en uno a
1.2.4 Medida de la garantía de calidad
1.3 Las fases de un proyecto del software
1.3.1 El modelo secuencial clásico del ciclo vital del software
1.3.2 El modelo de la cascada
1.3.3 El modelo prototyping-orientado del ciclo vital
1.3.4 El modelo espiral
1.3.5 El modelo orientado al objeto del ciclo vital

Especificación del software del capítulo 2:
www.netnam.vn/unescocourse/se/se2.doc
2.1 Estructura y contenido de la definición de los requisitos
2.2 Criterios de calidad para la definición de los requisitos
2.3 Problemas fundamentales en definir requisitos
2.4 Especificación algebraica
especificación Modelo-basada 2.5

Diseño del software del capítulo 3:
www.netnam.vn/unescocourse/se/se3.doc
3.1 Técnicas de diseño
3.1.1 Diseño de arriba hacia abajo
3.1.2 Diseño Bottom-up
3.1.3 Diseño de los sistemas
3.1.4 Descomposición del diseño
3.2 Diseño del interfaz utilizador
diseño Función-orientado 3.3
3.4 Diseño orientado al objeto
3.4.1 El método de Abbott
3.4.2 Diseño de las jerarquías de la clase
3.4.3 Generalization

Puesta en práctica del capítulo 4:
www.netnam.vn/unescocourse/se/se4.doc
4.1 Ambientes de programación
4.2 Estilo de programación
4.3 Portabilidad y reutilización
4.3.1 Portabilidad del software
4.3.2 Dependencias de la arquitectura de la máquina
4.3.3 Dependencias del sistema operativo
4.3.4 Reutilización del software
4.4 Tecnología de dotación lógica automatizada
4.4.1 Bancos de trabajo del CASO
4.4.2 Sistemas el corregir de texto
4.4.3 Sistemas de proceso de lengua
4.5 Puesta en práctica incremental

Verificación del software del capítulo 5:
www.netnam.vn/unescocourse/se/se5.doc
5.1 Test methods
5.1.1 Verification of algorithms
5.1.2 Static program analysis
5.1.3 Dynamic testing
5.1.4 Black-box and white-box tests
5.1.5 Top-down and bottom-up testing
5.2 Mathematical program verification
5.3 Debugging

Chapter 6 Documentation:
www.netnam.vn/unescocourse/se/se6.doc
6.1 User documentation
6.2 System documentation
6.3 Document quality
6.4 Document maintenance
6.5 Document portability

Chapter 7 Project Management:
www.netnam.vn/unescocourse/se/se7.doc
7.1 The goal and tasks of project management
7.2 Difficulties in project management
7.3 Cost estimation
7.4 Project organization
7.4.1 Hierarchical organizational model
7.4.2 The chief programmer team
7.5 Software maintenance
7.5.1 Maintenance costs
7.5.2 System restructuring
7.5.3 Program evolution dynamics

Appendix:
www.netnam.vn/unescocourse/se/se8.doc

Popularity: 32% [?]

Related Posts:

Guide to the Software Engineering Body of Knowledge

Free Computer Book Chapters and a Free Book Link Site

Free Course: Object-oriented Program Design and Software Engineering

16 Web Development and Programming Ebooks

Free Subscriptions for Computer and Engineering Trade Publications