Synthesizing structured analysis and object‐based formal specifications

ISSN： 1022-7091

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

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

ATOM: An object-based formal method for real-time systems

By Zedan H. Cau A. Chen Z. Yang H.

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 235-256

Springer Publishing Company

Access to resources Recommend Favorite

Object oriented concepts identification from formal B specifications

By Idani Akram Ledru Yves

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 217-232

Springer Publishing Company

Access to resources Recommend Favorite

Coupling formalized knowledge bases with object-based image analysis

Remote Sensing Letters, Vol. 5, Iss. 6, 2014-06 ,pp. : 530-538

Taylor & Francis Ltd

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

A Formal Model for SDL Specifications Based on Timed Rewriting Logic

By Steggles L.J.

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

Springer Publishing Company

Access to resources Recommend Favorite