Sciweavers

1154 search results - page 167 / 231
» Case Study: Software Product Integration Practices
Sort
View
138
Voted
DASFAA
2010
IEEE
307views Database» more  DASFAA 2010»
15 years 5 months ago
A General Maturity Model and Reference Architecture for SaaS Service
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
Seungseok Kang, Jaeseok Myung, Jongheum Yeon, Seon...
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 1 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
114
Voted
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 4 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
142
Voted
B
2007
Springer
15 years 9 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
114
Voted
SAC
2004
ACM
15 years 9 months ago
Improving courseware quality through life-cycle encompassing quality assurance
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
Ines Grützner, Stephan Weibelzahl, Patrick E....