Works matching IS 00985589 AND DT 2009 AND VI 35 AND IP 2

Results: 11

An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 293, doi. 10.1109/TSE.2008.90

By:

Koru, A. Güneş;
Dongsong Zhang;
El Emam, Khaled;
Hongfang Liu

Publication type:

Article

Compositional Dependability Evaluation for STATEMATE.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 274, doi. 10.1109/TSE.2008.102

By:

Böde, Eckard;
Herbstritt, Marc;
Hermanns, Holger;
Johr, Sven;
Peikenkamp, Thomas;
Pulungan, Reza;
Rakow, Jan;
Wimmer, Ralf;
Becker, Bernd

Publication type:

Article

Linear and Branching System Metrics.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 258, doi. 10.1109/TSE.2008.106

By:

De Alfaro, Luca;
Faella, Marco;
Stoelinga, Mariëlle

Publication type:

Article

Counterexample Generation in Probabilistic Model Checking.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 241, doi. 10.1109/TSE.2009.5

By:

Tingting Han;
Katoen, Joost-Pieter;
Damman, Berteun

Publication type:

Article

Model Checking Timed and Stochastic Properties with CSL<sup>TA</sup>.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 224, doi. 10.1109/TSE.2008.108

By:

Donatelli, Susanna;
Haddad, Serge;
Sproston, Jeremy

Publication type:

Article

Model Checking Probabilistic and Stochastic Extensions of the π-Calculus.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 209, doi. 10.1109/TSE.2008.77

By:

Norman, Gethin;
Palamidessi, Catuscia;
Parker, David;
Peng Wu

Publication type:

Article

Automated Trace Analysis of Discrete-Event System Models.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 195, doi. 10.1109/TSE.2008.75

By:

Kemper, Peter;
Tepper, Carsten

Publication type:

Article

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 178, doi. 10.1109/TSE.2008.101

By:

Carnevali, Laura;
Grassi, Leonardo;
Vicario, Enrico

Publication type:

Article

CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 162, doi. 10.1109/TSE.2008.79

By:

Casale, Giuliano

Publication type:

Article

Enhanced Modeling and Solution of Layered Queueing Networks.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 148, doi. 10.1109/TSE.2008.74

By:

Franks, Greg;
Al-Omari, Tariq;
Woodside, Murray;
Das, Olivia;
Derisavi, Salem

Publication type:

Article

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 145, doi. 10.1109/TSE.2009.24

By:

Hillston, Jane;
Kwiatkowska, Marta;
Telek, Miklós

Publication type:

Article