2748 search results - page 115 / 550 » Generating Object-Z Specifications from Use Cases |
BMCBI
2008
13 years 11 months ago
2008
Background: The previous studies of genome-wide expression patterns show that a certain percentage of genes are cell cycle regulated. The expression data has been analyzed in a nu...
SE
2007
14 years 17 days ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
HICSS
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. Despite a growing body of research on knowledge management (KM) systems, many managers are still unsure how they can implement a KM system that will effectively contribut...
FMSD
2006
13 years 11 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
EDBTW
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...