Works matching IS 00985589 AND DT 2010 AND VI 36 AND IP 3

Results: 10

Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 306, doi. 10.1109/TSE.2010.56

By:

Goseva-Popstojanova, Katerina;
Kanoun, Karama

Publication type:

Article

In Memoriam: Robin Milner and Amir Pnueli.

Published in:

2010

By:

Nuseibeh, Bashar

Publication type:

Obituary

Incremental Test Generation for Software Product Lines.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 309, doi. 10.1109/TSE.2010.30

By:

Uzuncaova, Engin;
Khurshid, Sarfraz;
Batory, Don

Publication type:

Article

Verification and Trade-Off Analysis of Security Properties in UML System Models.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 338, doi. 10.1109/TSE.2010.36

By:

Georg, Geri;
Anastasakis, Kyriakos;
Bordbar, Behzad;
Houmb, Siv Hilde;
Ray, Indrakshi;
Toahchoodee, Manachai

Publication type:

Article

Software Reliability and Testing Time Allocation: An Architecture-Based Approach.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 323, doi. 10.1109/TSE.2010.6

By:

Pietrantuono, Roberto;
Russo, Stefano;
Trivedi, Kishor S.

Publication type:

Article

Program Behavior Discovery and Verification: A Graph Grammar Approach.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 431, doi. 10.1109/TSE.2010.3

By:

Chunying Zhao;
Jun Kong;
Kang Zhang

Publication type:

Article

Vulnerability Discovery with Attack Injection.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 357, doi. 10.1109/TSE.2009.91

By:

Antunes, João;
Neves, Nuno;
Correia, Miguel;
Verissimo, Paulo;
Neves, Rui

Publication type:

Article

Learning Communicating Automata from MSCs.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 390, doi. 10.1109/TSE.2009.89

By:

Bollig, Benedikt;
Katoen, Joost-Pieter;
Kern, Carsten;
Leucker, Martin

Publication type:

Article

Discovering Services during Service-Based System Design Using UML.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 371, doi. 10.1109/TSE.2009.88

By:

Spanoudakis, George;
Zisman, Andrea

Publication type:

Article

On Event-Based Middleware for Location-Aware Mobile Applications.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 3, p. 409, doi. 10.1109/TSE.2009.90

By:

Meier, René;
Cahill, Vinny

Publication type:

Article