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

Author： Nelson M.A.V.   Alencar P.S.C.   Cowan D.D.  

Publisher： Elsevier

ISSN： 1364-8152

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

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

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

By Mammar Amel  

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

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

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

A Formal Specification of the Memorization Process

By  

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Iss. 4, 2007-10 ,pp. : 47-60

IGI Global_journal

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana   Kupferman Orna   Vardi Moshe  

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

Springer Publishing Company

Access to resources Recommend Favorite