Sciweavers

16859 search results - page 290 / 3372
» Generative software development
Sort
View
COMPSAC
2009
IEEE
16 years 1 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
SEFM
2005
IEEE
16 years 7 days ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
SPLC
2010
15 years 8 months ago
A Hybrid Approach to Feature-Oriented Programming in XVCL
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
Hongyu Zhang, Stan Jarzabek
CORR
2008
Springer
69views Education» more  CORR 2008»
15 years 6 months ago
TellTable Spreadsheet Audit: from Technical Possibility to Operating Prototype
At the 2003 EuSpRIG meeting, we presented a framework and software infrastructure to generate and analyse an audit trail for a spreadsheet file. This report describes the results ...
John C. Nash, Andy Adler, Neil Smith
168
Voted
IJCCBS
2010
105views more  IJCCBS 2010»
15 years 5 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly