Search Sciweavers | Sciweavers

5407 search results - page 24 / 1082

» The Software Engineering Global Model

click to vote

WOSP
2000
ACM

92views Software Engineering» more WOSP 2000»

Deriving a queueing network based performance model from UML diagrams

13 years 11 months ago

Download www1.isti.cnr.it

Keywords

Vittorio Cortellessa, Raffaela Mirandola

claim paper

Read More »

click to vote

ECOOPWEXCEPTION
2000
Springer

113views Software Engineering» more ECOOPWEXCEPTION 2000»

Adapting C++ Exception Handling to an Extended COM Exception Model

13 years 11 months ago

Download homepages.cs.ncl.ac.uk

Bjørn Egil Hansen, Henrik Fredholm

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

13 years 11 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

13 years 11 months ago

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers