Search Sciweavers | Sciweavers

9006 search results - page 138 / 1802

» Modeling Software

114

click to vote

LADC
2007
Springer

149views Applied Computing» more LADC 2007»

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

15 years 11 months ago

Download mtc-m17.sid.inpe.br

Ana Maria Ambrosio, Maria de Fátima Mattiel...

claim paper

Read More »

114

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 11 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

138

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

15 years 11 months ago

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

136

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 11 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

133

click to vote

IAT
2005
IEEE

125views Intelligent Agents» more IAT 2005»

A Cognitive Model of Interaction for Software Agents

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers