2493 search results - page 255 / 499 » Tool Support for Design by Contract |
IV
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper reports work in progress on the analysis and visualization of the spatial and temporal distribution of user interaction data collected in threedimensional (3-D) virtual...
123
click to vote
DICS
2006
15 years 2 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
CASCON
1997
15 years 10 days ago
1997
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ...
UIST
2005
ACM
15 years 4 months ago
2005
ACM
Informal prototyping tools have shown great potential in facilitating the early stage design of user interfaces. However, continuous interactions, an important constituent of high...
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...