Search Sciweavers | Sciweavers

9006 search results - page 43 / 1802

» Modeling Software

151

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

Download univ.herveverjus.com

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

claim paper

Read More »

157

Voted

ICSEA
2006
IEEE

90views Software Engineering» more ICSEA 2006»

Performance Model Interchange Format: Semantic Validation

16 years 28 days ago

Download dmi.uib.es

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

claim paper

Read More »

150

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

16 years 16 days ago

Download www.jaist.ac.jp

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

claim paper

Read More »

143

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 16 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

143

click to vote

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers