Search Sciweavers | Sciweavers

4919 search results - page 66 / 984

» A Process-Ontological Model for Software Engineering

122

click to vote

QSIC
2008
IEEE

90views Software Engineering» more QSIC 2008»

Model-Based Quality Assurance of the SMB2 Protocol Documentation

16 years 17 days ago

Download www.snia.org

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...

claim paper

Read More »

113

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 11 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

115

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 10 months ago

Download www.it.uu.se

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...

claim paper

Read More »

click to vote

CODES
1999
IEEE

95views Software Engineering» more CODES 1999»

Designing digital video systems: modeling and scheduling

15 years 10 months ago

Download www.cecs.uci.edu

H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...

claim paper

Read More »

116

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers