Sciweavers

337 search results - page 16 / 68
» An Axiomatic Formalization of UML Models
Sort
View
JUCS
2010
139views more  JUCS 2010»
14 years 6 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»
14 years 11 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»
14 years 11 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»
14 years 11 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
15 years 5 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