Sciweavers

18898 search results - page 219 / 3780

» The Making of a Software Engineer

84

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

15 years 11 months ago

Process Modelling Languages

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

137

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 11 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

137

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

15 years 11 months ago

Equational Properties of Mobile Ambients

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

142

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 10 months ago

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

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

121

CODES
1998
IEEE

100views Software Engineering» more CODES 1998»

Communication estimation for hardware/software codesign

15 years 10 months ago

Communication estimation for hardware/software codesign

Download peace.snu.ac.kr

Peter Voigt Knudsen, Jan Madsen

claim paper

Read More »

« Prev « First page 219 / 3780 Last » Next »