Sciweavers

337 search results - page 16 / 68
» An Axiomatic Formalization of UML Models
Sort
View
JUCS
2010
139views more  JUCS 2010»
13 years 3 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
ANSOFT
2002
100views more  ANSOFT 2002»
13 years 8 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
TOSEM
2002
118views more  TOSEM 2002»
13 years 8 months ago
Modeling software architectures in the Unified Modeling Language
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
Nenad Medvidovic, David S. Rosenblum, David F. Red...
JOT
2006
85views more  JOT 2006»
13 years 8 months ago
The Tao of Modeling Spaces
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
Dragan Djuric, Dragan Gasevic, Vladan Devedzic
UML
2004
Springer
14 years 1 months ago
A Metamodel for Generating Performance Models from UML Designs
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
Dorin Bogdan Petriu, C. Murray Woodside