979 search results - page 10 / 196 » Generating a Prototype from a UML Model of System Requiremen... |
ENTCS
2006
13 years 8 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
RE
2001
Springer
14 years 1 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
ICSE
2000
IEEE-ACM
14 years 11 days ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...