Sciweavers

5227 search results - page 438 / 1046
» Enterprise modeling using class and instance models
Sort
View
ECBS
2006
IEEE
119views Hardware» more  ECBS 2006»
16 years 1 months ago
A Model Transformation Approach for Design Pattern Evolutions
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
Jing Dong, Sheng Yang, Kang Zhang
SPIN
2004
Springer
16 years 1 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
SIGSOFT
2000
ACM
16 years 13 hour ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan
NETWORK
2006
89views more  NETWORK 2006»
15 years 7 months ago
Reconsidering microscopic mobility modeling for self-organizing networks
Mobility modeling is a critical step in the design of mobile self-organizing networks. With the emergence of small-scale and short-range wireless communication devices, the commun...
Franck Legendre, Vincent Borrel, Marcelo Dias de A...
EKNOW
2009
15 years 5 months ago
Visual Middle-Out Modeling of Problem Spaces
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
Andrea Valente