3742 search results - page 146 / 749 » On the Use of Formal Techniques for Validation |
202
click to vote
SCM
1998
15 years 7 months ago
1998
This paper presents a technique for product configuration modelling based on object-orientation and attribute grammars. The technique allows efficient interactive configurator tool...
165
click to vote
ITS
2010
Springer
15 years 8 months ago
2010
Springer
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...
186
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
163
click to vote
SAFECOMP
2007
Springer
16 years 15 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
149
click to vote
DCC
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we introduce an adaptive technique for compressing small quantities of text which are organized as a rooted directed graph. We impose a constraint on the technique s...