1164 search results - page 109 / 233 » Using CBR for Semantic Analysis of Software Specifications |
134
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
158
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
150
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
117
click to vote
FORTE
1996
15 years 5 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
138
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...