2057 search results - page 199 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
157
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
158
click to vote
IV
2008
IEEE
16 years 25 days ago
2008
IEEE
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
185
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
138
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
171
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...