Вы здесь

Главная

диаграмма

Связанные издания:

A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics
A Diagrammatic Tool for Representing User Interaction in UML
An Algebra Approach to the Deduction of Data Flow Diagrams and Object Oriented Diagrams from a Set of Specifications
An Algorithm for Automatic Construction of Class Diagrams
An Alternate Representation of Distributed Computations
Application to Petri Nets to Sequence Control
A Pragmatic Approach to Process Modelling
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties
A Simplification Method using BDD for Majority-voting Classifiers
A Taxonomy for Real-World Modelling Concepts
Behavior Consistent of Object Life Cycles
Checking Consistency in UML Diagrams: Classes and State Machines
CIGRAPHS: A New Graph Model
Concepts for Real-World Modelling
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Database Schema Evolution through the Specification and Maintenance of Changes on Entities and Relationships
Defining Metrics for UML Statechart Diagrams in a Methodological Way
Defining specialization for dataflow diagrams
Developing Sequence Diagrams in UML
Diagram Interchange for UML
Diagrammatic Representation and Inference: Proc./4th International Conference, Diagrams 2006. Stanford, CA, USA, June 2006
Diagrammatic Representation and Inference: Proc./5th International Conference, Diagrams 2008. Herrsching, Germany, September 2008
Diagrammatic Representation and Inference: Proc./6th International Conference, Digrams 2010, Portland,OR,USA, August 2010
Diagrammatic Representation and Inference: Proc./9th International Conference, Diagrams 2016, Philadelphia,PA,USA, August 2016
Diagrammatic Representation and Inference: Proc./Third Intern. Conf., Diagrams 2004, Cambridge, UK, March 2004
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
DYNAMO: A Processes-Processors Mapper for Occam2 Programs
Efficient Algorithms for the Transformation between Different Types of Binary Decision Diagrams
Expressing UML Class Diagrams Properties with OCL
Extending the Statechart Formalism: Event Scheduling & Disposition
Formal Reasoning on Timing at the Timing Diagram Level
Generalized Temporal Verification Diagrams
Generating Editors for Direct Manipulation of Diagrams
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
Graphics Recognition: Recent Advances and New Opportunities: Selected Papers/ 7th International Workshop, GREC 2007 Curitiba, Brazil, September 2007
Graphics Recognition: Recent Advances and Perspectives: Revised Selected Papers/5th International Workshop, GREC 2003. Barcelona, Spain, July 2003
Hamiltonian Abstract Voronoi Diagrams in Linear Time
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification
Identification of Complete Data Flow Diagrams
Integration of Formal Datatypes within State Diagrams
Interaction Diagrams
Knowledge Visualization from Conceptual Structures
Measuring the Quality of Entity Relationship Diagrams
Metric-Based Selective Representation of UML Diagrams
No-Redundant Metrics for UML Class Diagram Structural Complexity
On Statecharts with Overlapping
On the Peeper s Voronoi Diagram
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
Requirements of Layout Creation Methods for Diagram User Interfaces