Sciweavers

1154 search results - page 73 / 231
» Case Study: Software Product Integration Practices
Sort
View
BMCBI
2010
98views more  BMCBI 2010»
13 years 9 months ago
Learning to predict expression efficacy of vectors in recombinant protein production
Background: Recombinant protein production is a useful biotechnology to produce a large quantity of highly soluble proteins. Currently, the most widely used production system is t...
Wen-Ching Chan, Po-Huang Liang, Yan-Ping Shih, Uen...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
EWSPT
2003
Springer
14 years 2 months ago
Providing Highly Automated and Generic Means for Software Deployment Process
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
Vincent Lestideau, Noureddine Belkhatir
ECOOPWEXCEPTION
2006
Springer
14 years 15 days ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
CSEE
2000
Springer
14 years 1 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...