Sciweavers

22698 search results - page 32 / 4540

» Modeling in Software Engineering

82

Voted

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 9 months ago

A Relational Model for Confined Separation Logic

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

74

Voted

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

15 years 9 months ago

Benchmark Generation Using Domain Specific Modeling

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

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

claim paper

Read More »

99

Voted

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 9 months ago

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

Download univ.herveverjus.com

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

claim paper

Read More »

106

ICSEA
2006
IEEE

90views Software Engineering» more ICSEA 2006»

Performance Model Interchange Format: Semantic Validation

15 years 8 months ago

Performance Model Interchange Format: Semantic Validation

Download dmi.uib.es

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

claim paper

Read More »

97

Voted

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 8 months ago

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

Download www.jaist.ac.jp

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

claim paper

Read More »

« Prev « First page 32 / 4540 Last » Next »