Search Sciweavers | Sciweavers

9006 search results - page 146 / 1802

» Modeling Software

click to vote

DAGSTUHL
2006

126views Software Engineering» more DAGSTUHL 2006»

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

15 years 6 months ago

Download drops.dagstuhl.de

Ed Brinksma, David Harel, Angelika Mader, Perdita ...

claim paper

Read More »

103

click to vote

DLOG
2003

107views Automated Reasoning» more DLOG 2003»

Modeling Software

15 years 6 months ago

Download geocalc.clas.asu.edu

John Mylopoulos

claim paper

Read More »

Voted

AAI
2008

71views more AAI 2008»

The QSM Algorithm and its Application to Software Behavior Model Induction

15 years 5 months ago

Download biblio.info.ucl.ac.be

Pierre Dupont, Bernard Lambeau, Christophe Damas, ...

claim paper

Read More »

Voted

BMCBI
2010

58views more BMCBI 2010»

Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)

15 years 5 months ago

Download www.biomedcentral.com

Jean-Marie Cornuet, Virgine Ravigné, Arnaud...

claim paper

Read More »

111

click to vote

ENGL
2006

81views more ENGL 2006»

A Reference Model for Knowledge Management in Software Engineering

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers