Sciweavers

15779 search results - page 89 / 3156

» Change-oriented software engineering

18

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

14 years 1 months ago

Static Checking of Interrupt-Driven Software

Download www.cs.ucla.edu

Dennis Brylow, Niels Damgaard, Jens Palsberg

claim paper

Read More »

16

ICSE
2001
IEEE-ACM

109views Software Engineering» more ICSE 2001»

Describing Software Architecture with UML

14 years 1 months ago

Describing Software Architecture with UML

Download www-course.cs.york.ac.uk

Philippe Kruchten, Bran Selic, Wojtek Kozaczynski

claim paper

Read More »

29

ICSE
2001
IEEE-ACM

107views Software Engineering» more ICSE 2001»

Holmes: An Intelligent System to Support Software Product Line Development

14 years 1 months ago

Holmes: An Intelligent System to Support Software Product Line Development

Download www.inf.unibz.it

Giancarlo Succi, Jason Yip, Witold Pedrycz

claim paper

Read More »

29

LSO
2001
Springer

97views Software Engineering» more LSO 2001»

The Organic and the Mechanistic Form of Managing Knowledge in Software Development

14 years 1 months ago

The Organic and the Mechanistic Form of Managing Knowledge in Software Development

Download www.systementwicklung.uni-koeln.de

Ralph Trittmann

claim paper

Read More »

21

APSEC
2000
IEEE

95views Software Engineering» more APSEC 2000»

Building Formal Models for Software Requirements

14 years 1 months ago

Building Formal Models for Software Requirements

Download plone.mat.univie.ac.at

Axel van Lamsweerde

claim paper

Read More »

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