Works matching IS 00985589 AND DT 2000 AND VI 26 AND IP 7

Results: 7

Supertotal Function Definition in Mathematics and Software Engineering.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 662, doi. 10.1109/32.859534

By:

Boute, Raymond

Publication type:

Article

Predicting Fault Incidence Using Software Change History.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 653, doi. 10.1109/32.859533

By:

Graves, Todd L.;
Karr, Alan F.;
Marron, J. S.;
Siy, Harvey

Publication type:

Article

A Formal Specification Framework for Object-Oriented Distributed Systems.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 635, doi. 10.1109/32.859532

By:

Buchs, Didier;
Guelfi, Nicolas

Publication type:

Article

A Control-Flow Analysis for a Calculus of Concurrent Objects.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 617, doi. 10.1109/32.859531

By:

Di Blasio, Paolo;
Fisher, Kathleen;
Talcott, Carolyn

Publication type:

Article

Toward Constraint-Object-Oriented Development.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 594, doi. 10.1109/32.859530

By:

Bolognesi, Tommaso

Publication type:

Article

Respectful Type Converters.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 579, doi. 10.1109/32.859529

By:

Wing, Jeannette M.;
Ockerbloom, John

Publication type:

Article

Selected Papers from the Second IFIP Int'l Conference on Formal Method for Open Object Based Distributed Systems, 1997.

Published in:

IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 577, doi. 10.1109/TSE.2000.859528

By:

Bowman, Howard;
Derrick, John;
Brinksma, Ed

Publication type:

Article