Search Sciweavers | Sciweavers

2853 search results - page 5 / 571

» A platform for software engineering research

click to vote

RE
1995
Springer

105views Software Engineering» more RE 1995»

Classification of research efforts in requirements engineering

13 years 11 months ago

Download www.cis.ysu.edu

Pamela Zave

claim paper

Read More »

click to vote

EWSPT
1995
Springer

84views Software Engineering» more EWSPT 1995»

A Survey and Comparison of Some Research Areas Relevant to Software Process Modeling

13 years 11 months ago

Download www.idi.ntnu.no

Terje Totland, Reidar Conradi

claim paper

Read More »

click to vote

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

13 years 11 months ago

Download www.stubblebine.com

Premkumar T. Devanbu, Stuart G. Stubblebine

claim paper

Read More »

click to vote

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

14 years 1 months ago

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

99views Software Engineering» more ICSE 2008»

Model-driven configuration of os-level mandatory access control: research abstract

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers