rivista : IEEE Transactions on Software Engineering
9 articles
Verifying the Evolution of Probability Distributions Governed by a DTMC (IEEE Transactions on Software Engineering, 2011) — YoungMin Kwon, Gul Agha Integrating Software Models and Platform Models for Performance Analysis (IEEE Transactions on Software Engineering, 2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (IEEE Transactions on Software Engineering, 2006) — Christine Julien, Gruia-Catalin Roman Simulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering, 2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (IEEE Transactions on Software Engineering, 1999) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (IEEE Transactions on Software Engineering, 1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth KLAIM: A Kernel Language for Agent Interaction and Mobility (IEEE Transactions on Software Engineering, 1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese Understanding Code Mobility (IEEE Transactions on Software Engineering, 1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna Specification and Analysis of System Architecture Using Rapide (IEEE Transactions on Software Engineering, 1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann