Sciweavers

15778 search results - page 59 / 3156

» Aikido and software engineering

23

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

14 years 1 months ago

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

18

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

14 years 1 months ago

State Space Reduction for Process Algebra Specifications

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

18

APSEC
2004
IEEE

63views Software Engineering» more APSEC 2004»

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

14 years 1 months ago

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

Download kaiya.cs.shinshu-u.ac.jp

Haruhiko Kaiya, Motoshi Saeki

claim paper

Read More »

26

ASWEC
2004
IEEE

103views Software Engineering» more ASWEC 2004»

Generating Web Applications from Use Case Scenarios

14 years 1 months ago

Generating Web Applications from Use Case Scenarios

Download liris.cnrs.fr

Allan Loh, Mike Robey

claim paper

Read More »

25

APSEC
2006
IEEE

88views Software Engineering» more APSEC 2006»

Component composition through architectural patterns for problem frames

14 years 1 months ago

Component composition through architectural patterns for problem frames

Download www-lipn.univ-paris13.fr

Christine Choppy, Denis Hatebur, Maritta Heisel

claim paper

Read More »

« Prev « First page 59 / 3156 Last » Next »