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

ISSN： 1614-5046

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

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 to negotiating agents development

By Dumas M. Governatori G. ter Hofstede A.H.M. Oaks P.

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

Elsevier

Access to resources Recommend Favorite

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

By Ehrig H. Orejas F.

Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 3, 2004-01 ,pp. : 1-28

Elsevier

Access to resources Recommend Favorite

Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem

By Jaulin Luc Henrion Didier

Reliable Computing, Vol. 11, Iss. 1, 2005-02 ,pp. : 1-17

Springer Publishing Company

Access to resources Recommend Favorite

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

IDENTIFICATION AND DOING WITHOUT IT, V: A FORMAL MATHEMATICAL ANALYSIS FOR A CASE OF MIX-UP OF INDIVIDUALS, AND OF RECOVERY FROM FAILURE TO ATTAIN IDENTIFICATION

By NISSAN EPHRAIM MA JIXIN

Cybernetics and Systems, Vol. 34, Iss. 6-7, 2003-09 ,pp. : 531-549

Taylor & Francis Ltd

Access to resources Recommend Favorite