2695 search results - page 10 / 539 » A Visual Approach to Validating System Level Designs |
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
ICST
2009
IEEE
13 years 6 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...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
WEBI
2001
Springer
14 years 1 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...