1407 search results - page 204 / 282 » Towards Usable Analysis, Design and Modeling Tools |
163
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
203
click to vote
TII
2008
15 years 5 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
176
click to vote
ICSEA
2007
IEEE
16 years 9 days ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
435
Voted
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
Tableau is a commercial business intelligence (BI) software tool that supports interactive, visual analysis of data. Armed with a visual interface to data and a focus on usability...
158
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...