A formal approach based on UML and B for the specification and development of database applications

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.13, Iss.4, 2006-10, pp. : 497-528

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

An approach to formal specification and verification of map-centered applications

By Nelson M.A.V. Alencar P.S.C. Cowan D.D.

Environmental Modelling and Software, Vol. 16, Iss. 5, 2001-07 ,pp. : 459-465

Elsevier

Access to resources Recommend Favorite

UML specification of access control policies and their formal verification

By Koch Manuel Parisi-Presicce Francesco

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 429-447

Springer Publishing Company

Access to resources Recommend Favorite

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

By Voros Nikolaos Snook Colin Hallerstede Stefan Masselos Konstantinos

Design Automation for Embedded Systems, Vol. 9, Iss. 2, 2004-06 ,pp. : 67-99

Springer Publishing Company

Access to resources Recommend Favorite

Formal Verification of Activity-Based Specification of Protocols

By Anand K.C. Shyamasundar R.K.

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 5, 2000-05 ,pp. : 639-676

Academic Press

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