149 search results - page 18 / 30 » QuickSpec: Guessing Formal Specifications Using Testing |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
FIW
1998
13 years 8 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...