Partial order semantics for use case and task models

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.3, 2011-05, pp. : 307-332

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 Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

By Sandewall E.

LISP and Symbolic Computation, Vol. 12, Iss. 1, 1999-04 ,pp. : 105-113

Springer Publishing Company

Access to resources Recommend Favorite

The regular-language semantics of second-order idealized ALGOL

By Ghica D.R. McCusker G.

Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. : 469-502

Elsevier

Access to resources Recommend Favorite

Deciding Global Partial-Order Properties

By Alur Rajeev McMillan Ken Peled Doron

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 7-25

Springer Publishing Company

Access to resources Recommend Favorite

Semantic Characterization of Tweets Using Topic Models: A Use Case in the Entertainment Domain

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 9, Iss. 3, 2013-07 ,pp. : 1-13

IGI Global_journal

Access to resources Recommend Favorite

Geon-driven shape models for holistic semantics

By Mukerjee Amitabha Muley Hemant

International Journal of Computer Applications in Technology, Vol. 23, Iss. 2-3, 2005-03 ,pp. : 101-107

Inderscience Publishers

Access to resources Recommend Favorite