IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

works as

journal containing

Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha

Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi

EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman

Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian

Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (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 (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth

KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese

Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna

Message logging: pessimistic, optimistic, causal, and optimal (1998) — Lorenzo Alvisi, Keith Marzullo

Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency (1990) — Gruia-Catalin Roman, H. Conrad Cunningham

The accuracy of the clock synchronization achieved by TEMPO in Berkeley UNIX 4.3BSD (1989) — Riccardo Gusella, Stefano Zatti