1487 search results - page 32 / 298 » On Validating Engineering Design Decision Support Tools |
128
Voted
RE
1995
Springer
15 years 7 months ago
1995
Springer
Non-Functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFRFramework treats NF...
168
Voted
AVI
2006
15 years 5 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
156
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
127
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
131
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...