1487 search results - page 38 / 298 » On Validating Engineering Design Decision Support Tools |
241
Voted
IUI
2012
ACM
13 years 11 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
109
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
146
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
141
Voted
ESAW
2007
Springer
15 years 10 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
126
Voted
INFSOF
2000
15 years 3 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...