Sciweavers

8623 search results - page 44 / 1725

» Software engineering for secure systems

20

KBSE
2008
IEEE

133views Software Engineering» more KBSE 2008»

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

14 years 3 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 »

33

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

14 years 3 months ago

Contract-Based Verification of Hierarchical Systems of Components

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

27

COMPSAC
2007
IEEE

98views Software Engineering» more COMPSAC 2007»

Fuxi: An Agile Development Environment for Embedded Systems

14 years 3 months ago

Fuxi: An Agile Development Environment for Embedded Systems

Download www.fuxi.org

Zhongbin Wang

claim paper

Read More »

25

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

14 years 3 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 »

19

ICSM
2006
IEEE

97views Software Engineering» more ICSM 2006»

Event Views and Graph Reductions for Understanding System Level C Code

14 years 3 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 »