A Formal Model for SDL Specifications Based on Timed Rewriting Logic

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.7, Iss.1, 2000-03, pp. : 61-90

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

Synthesizing structured analysis and object‐based formal specifications

By Coleman David

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 221-253

Springer Publishing Company

Access to resources Recommend Favorite

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

Journal of Information Technology Research (JITR), Vol. 11, Iss. 1, 2018-01 ,pp. : 29-48

IGI Global_journal

Access to resources Recommend Favorite

Towards UML-based formal specifications of component-based real-time software

By Bianco Vieri

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 2, 2007-03 ,pp. : 179-192

Springer Publishing Company

Access to resources Recommend Favorite

Understanding and exploring formal specifications

By Siddiqi J. Morrey I. Hibberd R. Buckberry G.

Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. : 411-432

Springer Publishing Company

Access to resources Recommend Favorite