Sciweavers

1116 search results - page 42 / 224
» An Eclipse-based tool framework for software model managemen...
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
15 years 4 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
127
Voted
ASWEC
2008
IEEE
15 years 11 months ago
Software Metrics for Agile Software Development
Agile Software Development Methods are nowadays wide spread and accepted. From the Software Measurement point-of-view not all metrics and methods from conventional lifecycle model...
Martin Kunz, Reiner R. Dumke, Niko Zenker
SEKE
2009
Springer
15 years 11 months ago
An Architecture-based Evolution Management Method for Software Product Line
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
Xin Peng, Liwei Shen, Wenyun Zhao
123
Voted
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 8 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
15 years 8 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine