Search Sciweavers | Sciweavers

9018 search results - page 62 / 1804

» 3D-Brain Model Software

107

click to vote

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

16 years 16 days ago

Download www.ug.it.usyd.edu.au

Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu

claim paper

Read More »

138

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

16 years 11 days ago

Download univ.herveverjus.com

David Manset, Hervé Verjus, Richard McClatc...

claim paper

Read More »

138

click to vote

ICSEA
2006
IEEE

90views Software Engineering» more ICSEA 2006»

Performance Model Interchange Format: Semantic Validation

16 years 7 days ago

Download dmi.uib.es

Daniel Garcia, Catalina M. Lladó, Connie U....

claim paper

Read More »

135

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

15 years 11 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

131

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers