A Formal Semantics of UML: The ASM Approach

A Formal Semantics of UML: The ASM Approach

ग्रंथसूची विवरण
मुख्य लेखक:	Cavarra, A
स्वरूप:	Conference item
प्रकाशित:	Ecole Centrale de Nantes‚ France 2000

समान संसाधन

An ASM Semantics for UML Activity Diagrams
द्वारा: Börger, E, और अन्य
प्रकाशित: (2000)

On Formalizing UML State Machines using ASM
द्वारा: Börger, E, और अन्य
प्रकाशित: (2004)

An ASM Semantics for UML Activity Diagrams and UML State Machines
द्वारा: Boerger, E, और अन्य
प्रकाशित: (2000)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2004)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2003)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2004)

A data−flow approach to test multi−agent ASMs
द्वारा: Cavarra, A
प्रकाशित: (2011)

A data-flow approach to test multi-agent ASMs.
द्वारा: Cavarra, A
प्रकाशित: (2011)

A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit
द्वारा: Boerger, E, और अन्य
प्रकाशित: (2002)

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2005)

Modeling the Dynamics of UML Behavioral Diagrams
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2000)

Specifying and Verifying the Parlay Call−Control Using ASMs
द्वारा: Falcarin, P, और अन्य
प्रकाशित: (2003)

Modeling the Dynamics of UML State Machines
द्वारा: Börger, E, और अन्य
प्रकाशित: (2000)

Formal Approach for UML Components Based Development Profile
द्वारा: Arifa Bhutto, और अन्य
प्रकाशित: (2018-03-01)

A Formal Model for the Parallel Semantics of P3L
द्वारा: Cavarra, A, और अन्य
प्रकाशित: (2000)

Solving Conflicts in UML State Machines Concurrent States
द्वारा: Boerger, E, और अन्य
प्रकाशित: (2001)

UML 2 semantics and applications /
द्वारा: Lano, K.
प्रकाशित: (c200)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
द्वारा: Börger, E, और अन्य
प्रकाशित: (2003)

Activated sludge models : ASM1, ASM2, ASM2d and ASM3 /
द्वारा: Henze, Mogens, और अन्य
प्रकाशित: (2000)

Formalization of versioning rules for XML schema using UML class diagram
द्वारा: Aman, Hananni, और अन्य
प्रकाशित: (2017)

Structural and Semantic Similarity Measurement of UML Use Case Diagram
द्वारा: Mohammad Nazir Arifin, और अन्य
प्रकाशित: (2020-07-01)

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
द्वारा: Faiz UL Muram, और अन्य
प्रकाशित: (2014-04-01)

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
द्वारा: Nuraini Abdulganiyyi, Nuraini
प्रकाशित: (2014)

ASM handbook.
द्वारा: Dossett, Jon L., editor, और अन्य
प्रकाशित: (2013)

ASM handbook
द्वारा: Tucker, Robert C editor, और अन्य
प्रकाशित: (2013)

ASM handbook /
द्वारा: ASM Handbook Committee, और अन्य
प्रकाशित: (1986)

ASM Affairs
प्रकाशित: (2022-01-01)

ASM Affairs
प्रकाशित: (2021-01-01)

ASM Awards
प्रकाशित: (2020-01-01)

An inlining approach to formal hardware semantics
द्वारा: Choi, Joonwon
प्रकाशित: (2016)

Journal of heat transfer: transactions of the ASME transactions of the ASME, Series C
द्वारा: American Society of Mechanical Engineers. Transactions of the ASME, Series C
प्रकाशित: (1879)

A formal, scalable approach to semantic interoperability
द्वारा: Davies, J, और अन्य
प्रकाशित: (2020)

DEFINITION OF A SEMANTIC PLATAFORM FOR AUTOMATED CODE GENERATION BASED ON UML CLASS DIAGRAMS AND DSL SEMANTIC ANNOTATIONS
द्वारा: ANDRÉS MUÑETÓN, और अन्य
प्रकाशित: (2012-01-01)

Transactions of the ASME [mikrofilem]
द्वारा: American Society of Mechanical Engineers
प्रकाशित: (1880)

ASME e-book
प्रकाशित: (2011)

Effectiveness of UMLS semantic network as a seed ontology for medical domain ontology building.
द्वारा: Neoh, Hock Leng.
प्रकाशित: (2008)

Formal and Model−Based Testing of Concurrent Workflows
द्वारा: Wang, C, और अन्य
प्रकाशित: (2011)

Formal and Model−Based Testing of Concurrent Workflows
द्वारा: Wang, C, और अन्य
प्रकाशित: (2011)

Usability Assessment Of A Uml-based Formal Modeling Method Using A Cognitive Dimensions Framework
द्वारा: Rozilawati Razali, और अन्य
प्रकाशित: (2008-01-01)

Instant UML /
द्वारा: 348817 Muller, Pierre-Alain
प्रकाशित: (1997)