Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
78,654
Foundations of the Unified Modeling Language
- In 2nd Northern Formal Methods Workshop, Ilkley, Electronic Workshops in Computing
, 1998
"... Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. Th ..."
Abstract
-
Cited by 52 (3 self)
- Add to MetaCart
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics
Semantics of the Unified Modeling Language
- IFIP Working Conference on Computer-Aided Design Systems
, 1976
"... Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks a precisely defined semantics ..."
Abstract
- Add to MetaCart
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks a precisely defined
The Unified Modeling Language and Performance Engineering
- IEE Proceedings - Software
, 1999
"... The use of performance analysis and prediction techniques by software designers and software engineers is at best inconsistent and at worst simply does not happen. This is principally because these techniques are seen as separate and difficult to apply. Work on Software Performance Engineering, init ..."
Abstract
-
Cited by 40 (3 self)
- Add to MetaCart
, initiated by Smith, has sought to bridge the gap, but has had limited success. With the emergence of a widely accepted standard for software design -- the Unified Modeling Language -- the time seems ripe for an attempt to integrate performance directly into this process, by exploiting the notation directly
On Associations in the Unified Modelling Language
- in: UML 2001 Proceedings of the 4th International Conference (Springer LNCS 2185
, 2001
"... Abstract. Associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, semantically. These have implications for the modeller because they can result in serious misunderstandings of static str ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
Abstract. Associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, semantically. These have implications for the modeller because they can result in serious misunderstandings of static
UML =UnifiedModelingLanguage
"... languages and many graphical behavior specification tools.However,theirsemanticsistypicallyambiguous, causingmiscommunicationbetweenmodelersandunexpected implementation results.This articleintroduces awaytodisambiguatecommonflowmodelingconstructs, byexpressingtheirsemanticsasconstraintsonruntime seq ..."
Abstract
- Add to MetaCart
sequencesofbehaviorexecution.Italsoshowsthatreduced ambiguity enables more powerful modeling abstractions,suchaspartialbehaviorspecifications.The runtimerepresentationconsideredinthispaperusesthe ProcessSpecificationLanguage(PSL),whichisdefined infirst-orderlogic,makingitamenabletoautomatedreasoning.TheactivitydiagramsoftheUnifiedModeling
Introduction to the unified modeling language
- Tech. rep., Rational Software, IBM
, 2003
"... If you’re a complete UML beginner, then consider this as UML 101, a basic introduction to the notational elements of the UML. ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
If you’re a complete UML beginner, then consider this as UML 101, a basic introduction to the notational elements of the UML.
The Unified Modelling Language (UML)
"... The translation from UML specifications to B gives a way to analyse rigorously UML specifications via their corresponding B formal specifications, thanks to B support tools. This paper presents a B-based consistency model for UML specifications composed of class, object and realisation diagrams for ..."
Abstract
- Add to MetaCart
The translation from UML specifications to B gives a way to analyse rigorously UML specifications via their corresponding B formal specifications, thanks to B support tools. This paper presents a B-based consistency model for UML specifications composed of class, object and realisation diagrams
Results 1 - 10
of
78,654
