Works matching IS 00985589 AND DT 2003 AND VI 29 AND IP 10

Results: 7

Using Redundancies to Find Errors.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 915, doi. 10.1109/TSE.2003.1237172

By:

Xie, Yichen;
Engler, Dawson

Publication type:

Article

Template Semantics for Model-Based Notations.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 866, doi. 10.1109/TSE.2003.1237169

By:

Niu, Jianwei;
Atlee, Joanne M.;
Day, Nancy A.

Publication type:

Article

CARISMA: Context-Aware Reflective Middleware System for Mobile Applications.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 929, doi. 10.1109/TSE.2003.1237173

By:

Capra, Licia;
Emmerich, Wolfgang;
Mascolo, Cecilia

Publication type:

Article

Searching for Points-To Analysis.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 883, doi. 10.1109/TSE.2003.1237170

By:

Bruns, Glenn;
Chandra, Satish

Publication type:

Article

Architectural-Level Risk Analysis Using UML.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 946, doi. 10.1109/TSE.2003.1237174

By:

Goseva-Popstojanova, Katerina;
Hassan, Ahmed;
Guedem, Auth;
Abdelmoez, Walid;
Nassar, Diaa Eldin M.;
Ammar, Hany;
Mili, Ali

Publication type:

Article

Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering.

Published in:

2003

By:

Griswold, William G.

Publication type:

Editorial

Temporal Logic Query Checking: A Tool for Model Exploration.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 898, doi. 10.1109/TSE.2003.1237171

By:

Gurfinkel, Arie;
Chechik, Marsha;
Devereux, Benet

Publication type:

Article