1314 search results - page 43 / 263 » Validation of Object Oriented Models using Animation |
HICSS
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
TAOSD
2010
13 years 6 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
PADS
2009
ACM
14 years 2 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...