Sciweavers

216 search results - page 24 / 44
» Quantifying Non-Functional Requirements: A Process Oriented ...
Sort
View
EWSPT
2003
Springer
15 years 7 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels
ENTCS
2008
142views more  ENTCS 2008»
15 years 2 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
ECAI
2006
Springer
15 years 5 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
IWSSD
1993
IEEE
15 years 6 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
BMCBI
2007
128views more  BMCBI 2007»
15 years 2 months ago
Absolute estimation of initial concentrations of amplicon in a real-time RT-PCR process
Background: Since real time PCR was first developed, several approaches to estimating the initial quantity of template in an RT-PCR reaction have been tried. While initially only ...
Marjo V. Smith, Chris R. Miller, Michael Kohn, Nig...