1829 search results - page 71 / 366 » Towards Validation of Requirements Models |
112
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: Diabetes like many diseases and biological processes is not mono-causal. On the one hand multifactorial studies with complex experimental design are required for its c...
SE
2007
15 years 1 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
106
click to vote
DATE
2005
IEEE
15 years 1 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
ISER
2004
Springer
15 years 5 months ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
100
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...