Search Sciweavers | Sciweavers

15777 search results - page 33 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

14 years 8 days ago

Download www.cs.ucla.edu

Dennis Brylow, Niels Damgaard, Jens Palsberg

claim paper

Read More »

click to vote

ICSE
2001
IEEE-ACM

109views Software Engineering» more ICSE 2001»

Describing Software Architecture with UML

14 years 8 days ago

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

Philippe Kruchten, Bran Selic, Wojtek Kozaczynski

claim paper

Read More »

click to vote

ICSE
2001
IEEE-ACM

107views Software Engineering» more ICSE 2001»

Holmes: An Intelligent System to Support Software Product Line Development

14 years 8 days ago

Download www.inf.unibz.it

Giancarlo Succi, Jason Yip, Witold Pedrycz

claim paper

Read More »

click to vote

LSO
2001
Springer

97views Software Engineering» more LSO 2001»

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

14 years 8 days ago

Download www.systementwicklung.uni-koeln.de

Ralph Trittmann

claim paper

Read More »

click to vote

APSEC
2000
IEEE

95views Software Engineering» more APSEC 2000»

Building Formal Models for Software Requirements

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers