Sciweavers

3425 search results - page 58 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
BMCBI
2006
128views more  BMCBI 2006»
15 years 3 months ago
Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
Kevin L. Garwood, Christopher Garwood, Cornelia He...
ICSEA
2009
IEEE
15 years 27 days ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
COMPSAC
2009
IEEE
15 years 10 months ago
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
EUROSPI
2007
Springer
15 years 9 months ago
The Impact of Test-Driven Development on Software Development Productivity - An Empirical Study
Test-driven development (TDD) is entering the mainstream of software development. We examined the software development process for the purpose of evaluation of the TDD impact, with...
Lech Madeyski, Lukasz Szala
VLSID
2004
IEEE
112views VLSI» more  VLSID 2004»
16 years 3 months ago
Profiling Driven Computation Reuse: An Embedded Software Synthesis Technique for Energy and Performance Optimization
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
Weidong Wang, Anand Raghunathan, Niraj K. Jha