Connecting you to content on EBSCOhost

Works matching IS 00985589 AND DT 2001 AND VI 27 AND IP 6

Results: 6

1

Comments on 'The Model Checker SPIN'.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 6, p. 573, doi. 10.1109/32.926177

By:

Ki-Seok Bang;
Jin-Yong Choi;
Chuck Yoo

Publication type:

Article

2

Corrections to "Avoiding Packaging Mismatch with Flexible Packaging"

Published in:

2001

By:

Deline, Robert

Publication type:

Correction Notice

3

Modeling the Dynamic Behavior of Hypermedia Applications.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 6, p. 550, doi. 10.1109/32.926176

By:

Diaz, Paloma;
Aedo, Ignacio;
Panetsos, Fivos

Publication type:

Article

4

CTK: Configurable Object Abstractions for Multiprocessors.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 6, p. 531, doi. 10.1109/32.926175

By:

Silva, Dilma M.;
Schwan, Karsten;
Eisenhauer, Greg

Publication type:

Article

5

A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 6, p. 513, doi. 10.1109/32.926174

By:

Briand, Lionel C.;
Bunse, Christian;
Daly, John W.

Publication type:

Article

6

Complexity of Points-To Analysis of Java in the Presence of Exceptions.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 6, p. 481, doi. 10.1109/32.926173

By:

Chatterjee, Ramkrishna;
Ryder, Barbara G.;
Landi, William A.

Publication type:

Article