Volume 26; Issue 7

IEEE Transactions on Software Engineering

Volume 26; Issue 7
1

Respectful type converters

Wing, J.M., Ockerbloom, J.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 346 KB
english, 2000
2

Toward constraint-object-oriented development

Bolognesi, T.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 657 KB
english, 2000
3

A control-flow analysis for a calculus of concurrent objects

di Blasio, P., Fisher, K., Talcott, C.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 440 KB
english, 2000
4

A formal specification framework for object-oriented distributed systems

Buchs, D., Guelfi, N.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 355 KB
english, 2000
5

Predicting fault incidence using software change history

Graves, T.L., Karr, A.F., Marron, J.S., Siy, H.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 311 KB
english, 2000
6

Supertotal function definition in mathematics and software engineering

Boute, R.
Journal:
IEEE Transactions on Software Engineering
Année:
2000
Langue:
english
Fichier:
PDF, 199 KB
english, 2000