650 search results - page 14 / 130 » Modeling SPARK systems with UML |
72
Voted
ECBS
2003
IEEE
15 years 2 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
101
click to vote
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
SCESM
2006
ACM
15 years 3 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
The advent of UML 2.0 has provided a new set of concepts more apt for modeling the structure and behavior of distributed systems. These concepts and mechanisms can be effectively ...
DAGSTUHL
2004
14 years 11 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...