Su búsqueda retornó 46 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Software support for multiprocessor latency measurement and evaluation por En: IEEE Transactions on Software Engineering (vol. 23, nro. 1, Jan. 1997), p. 4-35S.T.:H004.41 SOF PP3149
Disponibilidad: No hay ítems disponibles.

2.
Composition validation and subjectivity in GenVoca generators por En: IEEE Transactions on Software Engineering (vol. 23, nro. 2, Feb. 1997), p. 67-123S.T.:H004.41 SOF PP3150
Disponibilidad: No hay ítems disponibles.

3.
Assessing software review meetings: results of a comparative analysis of two experimental studies por En: IEEE Transactions on Software Engineering (vol. 23, nro. 3, Mar. 1997), p. 129-184S.T.:H004.41 SOF PP3151
Disponibilidad: No hay ítems disponibles.

4.
An industrial strength theorem prover for a logic based on Common Lisp por En: IEEE Transactions on Software Engineering (vol. 23, nro. 4, Apr. 1997), p. 203-259S.T.:H004.41 SOF PP3152
Disponibilidad: No hay ítems disponibles.

5.
Formal requirements analysis of an avionics control system por En: IEEE Transactions on Software Engineering (vol. 23, nro. 5, May. 1997), p. 267-323S.T.:H004.41 SOF PP3153
Disponibilidad: No hay ítems disponibles.

6.
An experiment to assess the cost-benefits of code inspections in large scale software development por En: IEEE Transactions on Software Engineering (vol. 23, nro. 6, Jun. 1997), p. 329-400S.T.:H004.41 SOF PP3154
Disponibilidad: No hay ítems disponibles.

7.
Software reuse by specialization of generic procedures through views por En: IEEE Transactions on Software Engineering (vol. 23, nro. 7, Jul. 1997), p. 401-472S.T.:H004.41 SOF PP3155
Disponibilidad: No hay ítems disponibles.

8.
ADTEST: a test data generation suite for Ada software systems por En: IEEE Transactions on Software Engineering (vol. 23, nro. 8, Aug. 1997), p. 473-532S.T.:H004.41 SOF PP3156
Disponibilidad: No hay ítems disponibles.

9.
An empirical study of software reuse with special attention to Ada por En: IEEE Transactions on Software Engineering (vol. 23, nro. 9, Sep. 1997), p. 537-598S.T.:H004.41 SOF PP3157
Disponibilidad: No hay ítems disponibles.

10.
The real-time systems symposium por En: IEEE Transactions on Software Engineering (vol. 23, nro. 10, Oct. 1997), p. 601-669S.T.:H004.41 SOF PP3158
Disponibilidad: No hay ítems disponibles.

11.
Some conservative stopping rules for the operational testing of safety critical software por En: IEEE Transactions on Software Engineering (vol. 23, nro. 11, Nov. 1997), p. 673-743S.T.:H004.41 SOF PP3159
Disponibilidad: No hay ítems disponibles.

12.
Assignment and scheduling communicating periodic tasks in distributed real-time systems por En: IEEE Transactions on Software Engineering (vol. 23, nro. 12, Dec. 1997), p. 745-799S.T.:H004.41 SOF PP3160
Disponibilidad: No hay ítems disponibles.

13.
Formal methods in software practice por En: IEEE Transactions on Software Engineering (vol. 24, nro. 1, Jan. 1998), p. 2-92S.T.:H004.41 SOF PP3161
Disponibilidad: No hay ítems disponibles.

14.
Compositional programming abstractions for mobile computing por En: IEEE Transactions on Software Engineering (vol. 24, nro. 2, Feb. 1998), p. 97-159S.T.:H004.41 SOF PP3162
Disponibilidad: No hay ítems disponibles.

15.
Using test oracles generated from program documentation por En: IEEE Transactions on Software Engineering (vol. 24, nro. 3, Mar. 1998), p. 161-231S.T.:H004.41 SOF PP3163
Disponibilidad: No hay ítems disponibles.

16.
Existence dependency: The key to semantic integrity between structural and behavioral aspects of object types por En: IEEE Transactions on Software Engineering (vol. 24, nro. 4, Apr. 1998), p. 233-312S.T.:H004.41 SOF PP3164
Disponibilidad: No hay ítems disponibles.

17.
Mobility and network-aware computing por En: IEEE Transactions on Software Engineering (vol. 24, nro. 5, May. 1998), p. 313-400S.T.:H004.41 SOF PP3165
Disponibilidad: No hay ítems disponibles.

18.
Empirical studies of a safe regression test selection technique por En: IEEE Transactions on Software Engineering (vol. 24, nro. 6, Jun. 1998), p. 401-496S.T.:H004.41 SOF PP3166
Disponibilidad: No hay ítems disponibles.

19.
Foundations in software engineering por En: IEEE Transactions on Software Engineering (vol. 24, nro. 7, Jul. 1998), p. 497-584S.T.:H004.41 SOF PP3167
Disponibilidad: No hay ítems disponibles.

20.
Software engineering por En: IEEE Transactions on Software Engineering (vol. 24, nro. 8, Aug. 1998), p. 585-677S.T.:H004.41 SOF PP3168
Disponibilidad: No hay ítems disponibles.

Páginas