681 search results - page 65 / 137 » An Assembly Process Model for Method Engineering |
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
BMCBI
2005
14 years 9 months ago
2005
Background: In expressed sequence tag (EST) sequencing, we are often interested in how many genes we can capture in an EST sample of a targeted size. This information provides ins...
117
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
115
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...