Search Sciweavers | Sciweavers

4919 search results - page 37 / 984

» A Process-Ontological Model for Software Engineering

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

15 years 4 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

SEFM
2008
IEEE

112views Software Engineering» more SEFM 2008»

Ontology-Based Automatic Model Transformations

15 years 4 months ago

Download www.mendeley.com

Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...

claim paper

Read More »

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 4 months ago

Download homepages.cwi.nl

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

claim paper

Read More »

click to vote

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

15 years 4 months ago

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

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

claim paper

Read More »

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers