DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» UML state machine
UML state machine
EB GUIDE Documentation Version 6.1.0.101778 EB GUIDE Documentation
UML 2 Toolkit, Penker Has Also Collaborated with Hans- Erik Eriksson on Business Modeling with UML: Business Practices at Work
UML Profile for Communicating Systems a New UML Profile for the Specification and Description of Internet Communication and Signaling Protocols
Complete Code Generation from UML State Machine
Mutating UML State Machine Behavior with Semantic Mutation Operators
A Formalism for Specifying Model Merging Conflicts Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
Activity Diagrams & State Machines
Institution-Based Encoding and Verification of Simple UML
Network Protocol Design and Evaluation
Precise Semantics of UML State Machines (PSSM)
Partial Reconfiguration in the Field of Logic Controllers Design 353
Transforming Erlang Finite State Machines
Transformation of UML State Machine Diagram Into Graph Database to Generate Test Cases
Institution-Based Encoding and Verification of Simple UML State
An Action Language for Uml State Machines
Systems Modeling Language (Sysml) Specification
Toward Improved Traceability of Safety Requirements and State-Based Design Models
Modeling Legislation by Using Uml State Machine Diagrams
Top View
A Model-Driven Architecture Based Evolution Method and Its Application in an Electronic Learning System
Execution of UML State Machines Using Modelica
Programming Embedded Manycore: Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machin
Bi-Dimensional Composition with Domain Specific Languages
A Framework for Rigorous Development of Distributed Components: Formalisation and Tools
3Rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
Interpretation Problems in Code Generation from UML State Machines - a Comparative Study
Discrete Event System Modeling Using Sysml And
State Machine Flattening, a Mapping Study and Tools Assessment Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
An MDE Approach for Reasoning About UML State Machines Based on Constraint Logic Programming
An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data Dirk Seifert
On the Semantics of UML State Machines: Categorization and Comparison Technical Report 2005-501
Inconsistency Management in Model-Driven Engineering
Behavior State Machine Diagram Example
OMG Systems Modeling Language (OMG Sysml™)
OMG Sysml™), V1.1
Unified Modeling Language 11
Rslingo-Studio Mestrado Em Engenharia De Informática E
From Uml State Machine to Code and Back Again! 285
State Machine Diagrams
Graph Drawing Strategies for Large UML State Machine Diagrams Improving Graph Drawings Usability
Model Checking UML State Machines and Collaborations
Blended Graphical and Textual Modelling for UML Profiles: a Proof
A Manifestation of Model-Code Duality: Facilitating the Representation Of
A Graph Description Language for Blind Programmers Dale E
An Institution for Simple UML State Machines
A Study of Applying a Research Prototype Tool in Industrial Practice Omar Badreddin Timothy C
A Framework for Executable UML Models
A Framework for Rigorous Development of Distributed Components : Formalisation and Tools Oleksandra Kulankhina
OMG Systems Modeling Language (OMG Sysml™)
Model-Based Monitoring of Integrated UML State Machine Models and Code
A Multi-View Approach for Formalizing UML State Machine Diagrams Using Z Notation
Converting UML Models from Telelogic TAU to XMI
State Machine Flattening, a Mapping Study and Tools Assessment
Unit Testing Based Approach for Reconfigurable Logic Controllers
A Crash Course in UML State Machines
Modeling Meets Programming: a Comparative Study in Model Driven Engineering Action Languages
UML Activity Diagrams, State-Machine Diagrams and Modelling Lecture # 2
Model Checking Dynamic and Hierarchical UML State Machines