1487 search results - page 121 / 298 » On Validating Engineering Design Decision Support Tools |
130
click to vote
JEI
2006
15 years 4 months ago
2006
Abstract. Techniques and methodologies for validating the authenticity of digital images and testing for the presence of doctoring and manipulation operations on them has recently ...
130
click to vote
STTT
1998
15 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
140
click to vote
JSS
2010
15 years 2 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
141
Voted
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
118
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...