Search Sciweavers | Sciweavers

3091 search results - page 19 / 619

» The Microsoft Relational Engine

click to vote

EJC
2009

69views Information Technology» more EJC 2009»

Ontology Engineering Relationally

14 years 7 months ago

Download www.ksi.mff.cuni.cz

Jaroslav Pokorný, Jana Pribolová, Pe...

claim paper

Read More »

click to vote

SIGSOFT
2000
ACM

127views Software Engineering» more SIGSOFT 2000»

COM revisited: tool-assisted modelling of an architectural framework

15 years 2 months ago

Download www.cs.virginia.edu

Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...

Daniel Jackson, Kevin J. Sullivan

claim paper

Read More »

click to vote

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

15 years 4 months ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

102views Software Engineering» more EMSOFT 2009»

On relational interfaces

15 years 4 months ago

Download www-verimag.imag.fr

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers