Sciweavers

8623 search results - page 44 / 1725

» Software engineering for secure systems

85

KBSE
2008
IEEE

133views Software Engineering» more KBSE 2008»

Reflections on, and Predictions for, Support Systems for the Development of Programs

15 years 9 months ago

Reflections on, and Predictions for, Support Systems for the Development of Programs

Download www.di.univaq.it

Cliff B. Jones

claim paper

Read More »

113

Voted

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

15 years 9 months ago

Contract-Based Verification of Hierarchical Systems of Components

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

88

COMPSAC
2007
IEEE

98views Software Engineering» more COMPSAC 2007»

Fuxi: An Agile Development Environment for Embedded Systems

15 years 9 months ago

Fuxi: An Agile Development Environment for Embedded Systems

Download www.fuxi.org

Zhongbin Wang

claim paper

Read More »

109

Voted

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

15 years 8 months ago

Language-Based Abstraction Refinement for Hybrid System Verification

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

87

Voted

ICSM
2006
IEEE

97views Software Engineering» more ICSM 2006»

Event Views and Graph Reductions for Understanding System Level C Code

15 years 8 months ago

Event Views and Graph Reductions for Understanding System Level C Code

Download archives.ece.iastate.edu

Srinivas Neginhal, Suraj Kothari

claim paper

Read More »

« Prev « First page 44 / 1725 Last » Next »