An empirical evaluation of deadlock detection in software architecture specifications

Author： Tsai J.J.P.   Xu K.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 95-126

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Integrating software specifications into intrusion detection

By Zulkernine Mohammad  

International Journal of Information Security (IJIS), Vol. 6, Iss. 5, 2007-09 ,pp. : 345-357

Springer Publishing Company

Access to resources Recommend Favorite

A comparative study of formal verification techniques for software architecture specifications

By Tsai J.J.P.   Xu K.  

Annals of Software Engineering, Vol. 10, Iss. 1-4, 2000-01 ,pp. : 207-223

Springer Publishing Company

Access to resources Recommend Favorite

Empirical Evaluation of Software Maintenance Technologies

By Lanubile Filippo  

Empirical Software Engineering, Vol. 2, Iss. 2, 1997-06 ,pp. : 97-108

Springer Publishing Company

Access to resources Recommend Favorite

Tradeoff and Sensitivity Analysis in Software Architecture Evaluation Using Analytic Hierarchy Process

By Zhu Liming   Aurum Aybüke   Gorton Ian   Jeffery Ross  

Software Quality Journal, Vol. 13, Iss. 4, 2005-12 ,pp. : 357-375

Springer Publishing Company

Access to resources Recommend Favorite

On the complexity of deadlock detection in families of planar nets

By Durand B.   Fabret A.-C.  

Theoretical Computer Science, Vol. 215, Iss. 1, 1999-02 ,pp. : 225-237

Elsevier

Access to resources Recommend Favorite