Search Sciweavers | Sciweavers

9018 search results - page 67 / 1804

» 3D-Brain Model Software

162

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 10 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

147

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 10 months ago

Download aswsd.ucsd.edu

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...

claim paper

Read More »

149

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 10 months ago

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper

Read More »

130

click to vote

IWSM
2000
Springer

79views Software Engineering» more IWSM 2000»

A Generic Model for Assessing Process Quality

15 years 9 months ago

Download eprints.ecs.soton.ac.uk

Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...

claim paper

Read More »

122

click to vote

ISPW
1991
IEEE

83views Software Engineering» more ISPW 1991»

Process modeling paradigms: an evaluation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers