Sciweavers

794 search results - page 100 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
CBSQ
2003
Springer
15 years 9 months ago
COTS-Based Requirements Engineering
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
Carina Alves
ECSA
2011
Springer
14 years 4 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...
ENVSOFT
2006
117views more  ENVSOFT 2006»
15 years 4 months ago
Land information system: An interoperable framework for high resolution land surface modeling
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
Sujay V. Kumar, Christa D. Peters-Lidard, Yudong T...
SAC
2009
ACM
15 years 11 months ago
Component-based metrics applying the strength of dependency between classes
Component-Based Development(CBD) is an emerging discipline for promoting practical reuse of software. In CBD, by building new software with independently developed components, we ...
Misook Choi, Injoo J. Kim, Jiman Hong, Jungyeop Ki...