Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 5446 results
Sort by: relevance publication year

Memory access dependencies in shared-memory multiprocessors

JOURNAL ARTICLE published June 1990 in IEEE Transactions on Software Engineering

Authors: M. Dubois | C. Scheurich

Formal specification of a look manager

JOURNAL ARTICLE published 1990 in IEEE Transactions on Software Engineering

Authors: K.T. Narayana | S. Dharap

EQL: the language and its implementation

JOURNAL ARTICLE published June 1989 in IEEE Transactions on Software Engineering

Authors: B. Jayaraman | G. Gupta

Design and specification of iterators using the swapping paradigm

JOURNAL ARTICLE published 1994 in IEEE Transactions on Software Engineering

Authors: B.W. Weide | S.H. Edwards | D.E. Harms | D.A. Lamb

A physical database design evaluation system for CODASYL databases

JOURNAL ARTICLE published July 1988 in IEEE Transactions on Software Engineering

Authors: H. Lam | S.Y.W. Su | N.R. Koganti

Comments on "Quality, productivity, and learning in framework-based development: an exploratory case study

JOURNAL ARTICLE published March 2003 in IEEE Transactions on Software Engineering

General test result checking with log file analysis

JOURNAL ARTICLE published July 2003 in IEEE Transactions on Software Engineering

Authors: J.H. Andrews

[Front cover]

JOURNAL ARTICLE published August 2004 in IEEE Transactions on Software Engineering

Lightweight extraction of object models from bytecode

JOURNAL ARTICLE published 2001 in IEEE Transactions on Software Engineering

Authors: D. Jackson | A. Waingold

Xstream: a middleware for streaming XML contents over wireless environments

JOURNAL ARTICLE published December 2004 in IEEE Transactions on Software Engineering

Authors: E.Y.C. Wong | A.T.S. Chan

Verisim: formal analysis of network simulations

JOURNAL ARTICLE published 2002 in IEEE Transactions on Software Engineering

Authors: K. Bhargavan | C.A. Gunter | D. Obradovic | O. Sokolsky | M. Viswanathan

Multiphase stabilization

JOURNAL ARTICLE published 2002 in IEEE Transactions on Software Engineering

Authors: M.G. Gouda

Guest editors' introduction: software engineering for the wireless internet

JOURNAL ARTICLE published December 2003 in IEEE Transactions on Software Engineering

Authors: M. Morisio | M. Oivo

IEEE Computer Society Information

JOURNAL ARTICLE published January 2004 in IEEE Transactions on Software Engineering

Determining inspection cost-effectiveness by combining project data and expert opinion

JOURNAL ARTICLE published December 2005 in IEEE Transactions on Software Engineering

Authors: B. Freimut | L.C. Briand | F. Vollei

An authentication logic with formal semantics supporting synchronization, revocation, and recency

JOURNAL ARTICLE published March 2002 in IEEE Transactions on Software Engineering

Authors: S.G. Stubblebine | R.N. Wright

On the Semantics of Associations and Association Ends in UML

JOURNAL ARTICLE published April 2007 in IEEE Transactions on Software Engineering

Authors: Dragan Milicev

A case study of CES: a distributed collaborative editing system implemented in Argus

JOURNAL ARTICLE published 1992 in IEEE Transactions on Software Engineering

Authors: I. Greif | A. Seliger | W. Weihl

The effects of layering and encapsulation on software development cost and quality

JOURNAL ARTICLE published March 1995 in IEEE Transactions on Software Engineering

Authors: S.H. Zweben | S.H. Edwards | B.W. Weide | J.E. Hollingsworth

The feature and service interaction problem in telecommunications systems: a survey

JOURNAL ARTICLE published 1998 in IEEE Transactions on Software Engineering

Authors: D.O. Keck | P.J. Kuehn