Вы здесь

Главная

язык моделирования

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

A Classification of Stereotypes for Object-Oriented Modeling Languages
A Comparison of the Business Object Notation and the Unified Modeling Language
Advances in Artificial Intelligence - IBERAMIA 2010: Proc./12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 2010
A Formal Mapping between UML Models and Object-Z Specifications
Agent-Oriented Software Engineering X: Revised Selected Papers/10th International Workshop, AOSE 2009, Budapest, Hungary, May 2009
A Logic for the Java Modeling Language JML
An OCL Semantics Specified with QVT
A Parallel VRML97 Server Based on Active Objects
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
A Practical Approach to Software Process Modeling Language Engineering
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts
Business Modeling Language GRAPES-BM and Related CASE Tools
Components, Contracts, and Connectors for the Unified Modeling Language UML
Constraint Programming in OPL
Defining Precise Semantics for UML
Designing Component-Based Frameworks Using Patterns in the UML
Design Patterns Application in UML
Diagrammatic Representation and Inference: Proc./11th International Conference, Diagrams 2020, Tallinn, Estonia, August 2020
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Exploiting a Virtual Environment in a Visual PML
Extended Modeling Languages for Interaction Protocol Design
Extending Architectural Representation in UML with View Integration
Extending JML for Modular Specification and Verification of Multi-threaded Programs
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011
Fundamental Approaches to Software Engineering: Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. Braga, Portugal, March/April 2007
Fundamental Approaches to Software Engineering: Proc./4th Intern. Conf., FASE 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001
Globalizing Domain-Specific Languages: Revised Papers/International Fagstuhl Seminar, Dagstuhl Castle, Germany, October 2014
Graph Transformations in OMG s Model-Driven Architecture
Human-Computer Interaction, Tourism and Cultural Heritage: Revised Selected Papers/ First International Workshop, HCITOCH 2010, Brescello, Italy, September 2010
Information Repository Services for CAD
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems
Model and Data Engineering: Proc./5th International Conference, MEDI 2015, Rhodes, Greece, September 2015
Model Driven Engineering Languages and Systems, Part I: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model Driven Engineering Languages and Systems: Proc./10th International Conference, MODELS 2007. Nashville, USA, September/October 2007
Model Driven Engineering Languages and Systems: Proc./15th International Conference, MODELS 2012, Innsbruk, Austria, September 2012
Modeling Data Entry and Operations in WebML
Modeling Web Application Architectures with UML
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2010
On the Concurrent Object Model of UML
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages
Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009
Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010
Rigorous Development in UML
SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011
Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
System Analysis and Modeling: Technology-Specific Aspects of Models: Proc./9th International Conference, SAM 2016, Saint-Melo, France, October 2016
Theory and Practice of Model Transformations: Proc./First International Conference, ICMT 2008. Zuerich, Switzerland, July 2008