Formal methods for telecommunication system requirements: A survey of standardized languages

ISSN： 1022-7091

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

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

Proving the shalls: Early validation of requirements through formal methods

By Miller Steven Tribble Alan Whalen Michael Heimdahl Mats

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 303-319

Springer Publishing Company

Access to resources Recommend Favorite

Formal methods software engineering for the CARA system

By Martin John C.

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 301-307

Springer Publishing Company

Access to resources Recommend Favorite

Forum Theatre as a requirements gathering methodology in the design of a home telecommunication system for older adults

By Rice M. Newell A. Morgan M.

Behaviour and Information Technology, Vol. 26, Iss. 4, 2007-07 ,pp. : 323-331

Taylor & Francis Ltd

Access to resources Recommend Favorite

A survey of formal verification methods and tools for embedded and real-time systems

By Cheng Albert Mo Kim

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 184-195

Inderscience Publishers

Access to resources Recommend Favorite

Formal Specifications of User Requirements

By Clark R.G.

Automated Software Engineering, Vol. 6, Iss. 3, 1999-07 ,pp. : 217-232

Springer Publishing Company

Access to resources Recommend Favorite