Search Sciweavers | Sciweavers

4335 search results - page 89 / 867

» Ontology Engineering Relationally

Voted

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 9 months ago

Download homepages.cwi.nl

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

claim paper

Read More »

103

click to vote

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

15 years 9 months ago

Download mcs.open.ac.uk

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

claim paper

Read More »

Voted

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

15 years 8 months ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

124

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 7 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

Voted

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers