Showing 1 - 20 results of 909 for search '"modeling language"', query time: 0.24s Refine Results
  1. 1
    Database : models, languages, design /

    Database : models, languages, design / by 411604 Johnson, James L.

    Published 1997
  2. 2
    Formal models, languages and applications /

    Formal models, languages and applications / by 361113 Subramaniam, K. G., Subramanian, K., Rangarajan, K., Mukund, Madhavan

    Published 2006
  3. 3
    Privacy Threat MOdeling Language

    Privacy Threat MOdeling Language by Andrey Rodrigues, Maria Lucia Bento Villela, Eduardo Luzeiro Feitosa

    Published 2023-01-01
    “…In this sense, this paper presents PTMOL (Privacy Threat MOdeling Language) as an approach for modeling privacy threats in an OSN domain. …”
    Get full text
    Article
  4. 4
    Abstraction in physiological modelling languages

    Abstraction in physiological modelling languages by McKeever, S, Gill, M, Connor, A, Johnson, D

    Published 2013
    Conference item
  5. 5
    Abstraction in physiological modelling languages

    Abstraction in physiological modelling languages by McKeever, S, Gill, M, Connor, A, Johnson, D

    Published 2013
    Conference item
  6. 6
    Abstraction in Physiological Modelling Languages

    Abstraction in Physiological Modelling Languages by Connor, A, Gill, M, McKeever, S, Johnson, D

    Published 2013
    Conference item
  7. 7
    The Unified modeling language user guide /

    The Unified modeling language user guide / by 463085 Booch, Grady, Rumbaugh, James, Jacobson, Ivar

    Published 2005
  8. 8
    Virtual reality modeling language in chemistry /

    Virtual reality modeling language in chemistry / by 312618 Vollhardt, H., Henn, C., Moeckel, G, Teschner, M., Brickmann, J.

  9. 9
    The unified modeling language user guide /

    The unified modeling language user guide / by 463085 Booch, Grady, Rumball, Bruce L., Jacobson, Ivar

    Published 1999
  10. 10
    The Unified Modeling Language reference manual /

    The Unified Modeling Language reference manual / by 432630 Rumbaugh, James, Jacobson, Ivar, Booch, Grady

    Published 1999
  11. 11
    The Unified Modeling Language reference manual /

    The Unified Modeling Language reference manual / by 432630 Rumbaugh, James, Jacobson, Ivar, Booch, Grady

    Published 1999
  12. 12
    Concurrency and Refinement in the Unified Modeling Language

    Concurrency and Refinement in the Unified Modeling Language by Davies, J, Crichton, C

    Published 2002
    “…This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processes (CSP); this semantics is adequate for the analysis of concurrent, communicating behaviour, and induces a notion of refinement for UML based upon existing notions of traces and failures refinement for CSP.…”
    Journal article
  13. 13
    Concurrency and Refinement in the Unified Modeling Language

    Concurrency and Refinement in the Unified Modeling Language by Davies, J, Crichton, C

    Published 2003
    “…This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be associated with patterns of interaction, expressed in the event notation of Communicating Sequential Processes (CSP). …”
    Journal article
  14. 14
    Common modeling language for model checkers

    Common modeling language for model checkers by Abdul Samad, Pathiah, Mohd Zin, Abdullah

    Published 2012
    “…Approach: In order to solve the problem we propose a common modeling language that is based on UML state chart. Some translation rules for translating the model described in the common modeling language into the input languages of model checkers are also presented. …”
    Get full text
    Article
  15. 15
    AMPL : a modeling language for mathematical programming /

    AMPL : a modeling language for mathematical programming / by 423043 Fourer, Robert, Gay, David M., Kernighan, Brian W.

    Published 2003
  16. 16
    ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES

    ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES by Mert Ozkaya

    Published 2018-07-01
    Subjects: “…UML; UML-based software modeling languages; survey…”
    Get full text
    Article
  17. 17
    The "Oslo" modeling language : draft specification-october 2008 /

    The "Oslo" modeling language : draft specification-october 2008 / by Langworthy, David, 1964-, Lovering, Brad, 1966-, Box, Don, 1962-

    Published 2009
  18. 18
    The addition of the haptic modality to the virtual reality modeling language

    The addition of the haptic modality to the virtual reality modeling language by Wies, Evan F. (Evan Francis), 1974-

    Published 2009
    Get full text
    Thesis
  19. 19
    XML modeling language for linear programming : specification and examples

    XML modeling language for linear programming : specification and examples by Fourer, Robert.

    Published 2009
    Get full text
    Working Paper
  20. 20
    Correlation of data in the unified modeling language interaction diagram

    Correlation of data in the unified modeling language interaction diagram by Lie, Jonathan Ken, 1977-

    Published 2014
    Get full text
    Thesis

Search Tools: