A formal approach to negotiating agents development

Author： Dumas M.   Governatori G.   ter Hofstede A.H.M.   Oaks P.  

Publisher： Elsevier

ISSN： 1567-4223

Source： Electronic Commerce Research and Applications, Vol.1, Iss.2, 2002-06, pp. : 193-207

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

A formal approach to scenario integration

By Lustman Franç  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 255-271

Springer Publishing Company

Access to resources Recommend Favorite

An approach for modeling a formal Use Case Type at early development phase without loosing abstraction

By Marcondes Francisco  

Innovations in Systems and Software Engineering, Vol. 7, Iss. 1, 2011-03 ,pp. : 1-8

Springer Publishing Company

Access to resources Recommend Favorite

A Formal Object Approach to the Design of ZML

By Sun J.  

Annals of Software Engineering, Vol. 13, Iss. 1-4, 2002-06 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

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