Search Sciweavers | Sciweavers

4919 search results - page 66 / 984

» A Process-Ontological Model for Software Engineering

click to vote

QSIC
2008
IEEE

90views Software Engineering» more QSIC 2008»

Model-Based Quality Assurance of the SMB2 Protocol Documentation

15 years 4 months ago

Download www.snia.org

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...

claim paper

Read More »

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

Download www.inf.mit.bme.hu

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

claim paper

Read More »

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

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

Download www.cecs.uci.edu

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

claim paper

Read More »

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers