1146 search results - page 181 / 230 » Formal Specification Generation from Requirement Documents |
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
CN4011A is IEEE 1394a_2000 standard Compliant Physical Layer ASIC. It is a 0.18um mixed-signal ASIC incorporating three analog ports, PLL, reference generator for analog along wit...
151
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
The emergence of large-scale receptor-based systems has enabled applications to execute complex business logic over data generated from monitoring the physical world. An important...
BMCBI
2010
14 years 9 months ago
2010
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ASE
2006
14 years 9 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...