1481 search results - page 63 / 297 » Enriching the Software Development Process by Formal Methods |
103
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: High throughput signature sequencing holds many promises, one of which is the ready identification of in vivo transcription factor binding sites, histone modifications...
131
Voted
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
130
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...
135
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
111
click to vote
SAINT
2007
IEEE
15 years 9 months ago
2007
IEEE
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...