596 search results - page 25 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
138
click to vote
CLEIEJ
2004
15 years 5 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
174
click to vote
PARMA
2004
15 years 7 months ago
2004
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
133
click to vote
ZUM
1992
Springer
15 years 10 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
188
click to vote
JSS
2010
15 years 22 days ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
136
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...