Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 5446 results
Sort by: relevance publication year
Showing results for ISSN matching 0098-5589

[Inside front cover]

JOURNAL ARTICLE published December 2006 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2006.119 Actions

Saturation for a General Class of Models

JOURNAL ARTICLE published August 2006 in IEEE Transactions on Software Engineering

Authors: A.S. Miner

https://doi.org/10.1109/tse.2006.81 Actions

Reply to comments on "An Interval Logic for Real-Time System Specification"

JOURNAL ARTICLE published June 2006 in IEEE Transactions on Software Engineering

Authors: P. Bellini | P. Nesi | D. Rogai

https://doi.org/10.1109/tse.2006.57 Actions

The Tinkertoy graphical programming environment

JOURNAL ARTICLE published 1988 in IEEE Transactions on Software Engineering

Authors: M. Edel

https://doi.org/10.1109/32.7621 Actions

Use of sequencing constraints for specification-based testing of concurrent programs

JOURNAL ARTICLE published June 1998 in IEEE Transactions on Software Engineering

Authors: R.H. Carver

https://doi.org/10.1109/32.689403 Actions

Functional data structures as updatable objects

JOURNAL ARTICLE published 1990 in IEEE Transactions on Software Engineering

Authors: J. Milewski

https://doi.org/10.1109/32.62450 Actions

An experimental investigation of formality in UML-based development

JOURNAL ARTICLE published October 2005 in IEEE Transactions on Software Engineering

Authors: L.C. Briand | Y. Labiche | M. Di Penta | H. Yan-Bondoc

https://doi.org/10.1109/tse.2005.105 Actions

A hybrid distributed centralized system structure for transaction processing

JOURNAL ARTICLE published 1990 in IEEE Transactions on Software Engineering

Authors: B. Ciciani | D.M. Dias | B.R. Iyer | P.S. Yu

https://doi.org/10.1109/32.57619 Actions

Stepwise design of real-time systems

JOURNAL ARTICLE published 1993 in IEEE Transactions on Software Engineering

Authors: R. Kurki-Suonio

https://doi.org/10.1109/32.210307 Actions

An insider's evaluation of PAISLey

JOURNAL ARTICLE published March 1991 in IEEE Transactions on Software Engineering

Authors: P. Zave

https://doi.org/10.1109/32.75412 Actions

Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'

JOURNAL ARTICLE published October 2005 in IEEE Transactions on Software Engineering

Authors: R.J. Botting

https://doi.org/10.1109/tse.2005.116 Actions

Temporal logic-based deadlock analysis for Ada

JOURNAL ARTICLE published 1991 in IEEE Transactions on Software Engineering

Authors: G.M. Karam | R.J.A. Buhr

https://doi.org/10.1109/32.99197 Actions

A unified high-level Petri net formalism for time-critical systems

JOURNAL ARTICLE published 1991 in IEEE Transactions on Software Engineering

Authors: C. Ghezzi | D. Mandrioli | S. Morasca | M. Pezze

https://doi.org/10.1109/32.67597 Actions

Real-time Systems Symposium (RTSS'96)

JOURNAL ARTICLE published October 1997 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.1997.637142 Actions

A model of code sharing for estimating software failure on demand probabilities

JOURNAL ARTICLE published 1995 in IEEE Transactions on Software Engineering

Authors: J.H.R. May | A.D. Lunn

https://doi.org/10.1109/32.464546 Actions

Erratum Correction to: Evaluating Testing Methods by Delivered Reliability

JOURNAL ARTICLE published March 1999 in IEEE Transactions on Software Engineering

Authors: P. Franki | D. Hamlet | B. Littlewood | L. Strigini

https://doi.org/10.1109/tse.1999.761452 Actions

Author index

JOURNAL ARTICLE published December 2001 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2001.988712 Actions

Reconfiguration models and algorithms for stateful interactive processes

JOURNAL ARTICLE published 1999 in IEEE Transactions on Software Engineering

Authors: T.A. Varvarigou | M.E. Anagnostou | S.R. Ahuja

https://doi.org/10.1109/32.798328 Actions

Space efficient execution of deterministic parallel programs

JOURNAL ARTICLE published 1999 in IEEE Transactions on Software Engineering

Authors: D.J. Simpson | F.W. Burton

https://doi.org/10.1109/32.824415 Actions

On conditions for defining a closed cover to verify progress for communicating finite state machines

JOURNAL ARTICLE published 1989 in IEEE Transactions on Software Engineering

Authors: A. Chung | D.P. Sidhu

https://doi.org/10.1109/32.41341 Actions
Feedback: support@crossref.org