Search Sciweavers | Sciweavers

4919 search results - page 21 / 984

» A Process-Ontological Model for Software Engineering

click to vote

WOSP
2000
ACM

92views Software Engineering» more WOSP 2000»

Deriving a queueing network based performance model from UML diagrams

15 years 2 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

15 years 2 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

15 years 2 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

15 years 2 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers