A controlled experiment to assess the benefits of estimating with analogy and regression models : Empirical Software EngineeringMYRTVEIT, I; STENSRUD, E.IEEE transactions on software engineering. 1999, Vol 25, Num 4, pp 510-525, issn 0098-5589Article

Estimation methods for nonregenerative stochastic Petri netsHAAS, P. J.IEEE transactions on software engineering. 1999, Vol 25, Num 2, pp 218-236, issn 0098-5589Conference Paper

Adaptive time warp simulation of timed petri netsFERSCHA, A.IEEE transactions on software engineering. 1999, Vol 25, Num 2, pp 237-257, issn 0098-5589Conference Paper

Consistency issues in distributed checkpointsHELARY, J.-M; NETZER, R. H. B; RAYNAL, M et al.IEEE transactions on software engineering. 1999, Vol 25, Num 2, pp 274-285, issn 0098-5589Conference Paper

Trace-based load characterization for generating performance software modelsHRISCHUK, C. E; WOODSIDE, C. M; ROLIA, J. A et al.IEEE transactions on software engineering. 1999, Vol 25, Num 1, pp 122-135, issn 0098-5589Conference Paper

A domain-specific language for regular sets of strings and treesKLARLUND, N; SCHWARTZBACH, M. I.IEEE transactions on software engineering. 1999, Vol 25, Num 3, pp 378-386, issn 0098-5589Conference Paper

An extended Banker's algorithm for deadlock avoidanceLANG, S.-D.IEEE transactions on software engineering. 1999, Vol 25, Num 3, pp 428-432, issn 0098-5589Conference Paper

A C++ data model supporting reachability analysis and dead code detectionCHEN, Y.-F; GANSNER, E. R; KOUTSOFIOS, E et al.IEEE transactions on software engineering. 1998, Vol 24, Num 9, pp 682-694, issn 0098-5589Article

An extensible system for source code analysisCANFORA, G; CIMITILE, A; DE CARLINI, U et al.IEEE transactions on software engineering. 1998, Vol 24, Num 9, pp 721-740, issn 0098-5589Article

Automated software synthesis : An application in mechanical CADBHANSALI, S; HOAR, T. J.IEEE transactions on software engineering. 1998, Vol 24, Num 10, pp 848-862, issn 0098-5589Article

Message logging : Pessimistic, optimistic, causal, and optimalALVISI, L; MARZULLO, K.IEEE transactions on software engineering. 1998, Vol 24, Num 2, pp 149-159, issn 0098-5589Article

On-the-fly solution techniques for stochastic petri nets and extensionsDEAVOURS, D. D; SANDERS, W. H.IEEE transactions on software engineering. 1998, Vol 24, Num 10, pp 889-902, issn 0098-5589Article

The domain theory for requirements engineeringSUTCLIFFE, A; MAIDEN, N.IEEE transactions on software engineering. 1998, Vol 24, Num 3, pp 174-196, issn 0098-5589Article

Performance analysis of stochastic timed Petri nets using linear programming approachZHEN LIU.IEEE transactions on software engineering. 1998, Vol 24, Num 11, pp 1014-1030, issn 0098-5589Article

Rapid application of lightweight formal methods for consistency analyses : Managing inconsistency in software developmentFEATHER, M. S.IEEE transactions on software engineering. 1998, Vol 24, Num 11, pp 949-959, issn 0098-5589Article

Using abstraction and model checking to detect safety violations in requirements specifications : Managing inconsistency in software developmentHEITMEYER, C; KIRBY, J. JR; LABAW, B et al.IEEE transactions on software engineering. 1998, Vol 24, Num 11, pp 927-948, issn 0098-5589Article

Use case maps as architectural entities for complex systemsBUHR, R. J. A.IEEE transactions on software engineering. 1998, Vol 24, Num 12, pp 1131-1155, issn 0098-5589Article

Requirements elicitation and validation with real world scenesHAUMER, P; POHL, K; WEIDENHAUPT, K et al.IEEE transactions on software engineering. 1998, Vol 24, Num 12, pp 1036-1054, issn 0098-5589Article

Guiding goal modeling using scenariosROLLAND, C; SOUVEYET, C; BEN ACHOUR, C et al.IEEE transactions on software engineering. 1998, Vol 24, Num 12, pp 1055-1071, issn 0098-5589Article

Symposium on Foundations in Software Engineering (FSE-4)GARLAN, David.IEEE transactions on software engineering. 1998, Vol 24, Num 7, pp 497-558, issn 0098-5589Conference Proceedings

A model for software development effort and cost estimationPILLAI, K; SUKUMARAN NAIR, V. S.IEEE transactions on software engineering. 1997, Vol 23, Num 8, pp 485-497, issn 0098-5589Article

Achieving strong consistency in a distributed file systemTRIANTAFILLOU, P; NEILSON, C.IEEE transactions on software engineering. 1997, Vol 23, Num 1, pp 35-55, issn 0098-5589Article

CSPL : An Ada95-like, Unix-based process environmentCHEN, J.-Y. J.IEEE transactions on software engineering. 1997, Vol 23, Num 3, pp 171-184, issn 0098-5589Article

Structuring communication software for quality-of-service guaranteesMEHRA, A; INDIRESAN, A; SHIN, K. G et al.IEEE transactions on software engineering. 1997, Vol 23, Num 10, pp 616-634, issn 0098-5589Conference Paper

A formal framework for on-line software version changeGUPTA, D; JALOTE, P; BARUA, G et al.IEEE transactions on software engineering. 1996, Vol 22, Num 2, pp 120-131, issn 0098-5589Article