979 search results - page 8 / 196 » Generating a Prototype from a UML Model of System Requiremen... |
FGR
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we describe a prototype system for directing a computer generated scene for film planning. The system is based upon the concepts of the Intuitive Interface, an envir...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
SOSYM
2010
13 years 7 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...